[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[obm-l] Re: [obm-l] Re: [obm-l] Fun��es booleanas



> Interessante a sua prova por indu��o. Pra mim, o seguinte argumento j�
seria
> convincente:

exatamente como o Wendel disse, a prova em si n�o � o fato de que ao "criar"
um conectivo ele pode ser expresso como uma combina��o desses 3, mas sim
provar que toda fun��o pode ser expressa com eles (como o NOU descrito por
voc� substitui esses 3 d� pra usar somente um conectivo, mas as f�rmulas
iriam ficar grandes demais...).

> Uma aplica��o que me interessa � o uso destas express�es booleanas para se
> resolver problemas de l�gica. Por exemplo, o das escravas de olhos azuis
do
> Homem que Calculava. Suponha que existam N escravas, cujos olhos est�o
> escondidos. Sabe-se que existem escravas de olhos azuis e de olhos pretos.
> As de olhos azuis mentem sempre e as de olhos pretos sempre falam a
verdade.
> Que pergunta voc� faria a uma delas (escolhida ao acaso j� que n�o se pode
> ver os olhos de nehuma), a fim de descobrir qual a cor dos olhos de cada
uma
> delas?

Pergunta: A menina do seu lado tem a mesma cor dos seus olhos?
SIM (se for verdade, foi resposta dada por uma menina de olhos pretos, se
for mentira � dada por uma de olhos azuis, logo o olho da menina � preto)
N�O (se for verdade � dado por uma menina de olho preto, logo a menina tem
olho azul, se for mentira foi dado por uma menina de olho azul, logo a
menina ao lado tem olho azul).

conclu�mos que se a resposta for SIM a menina ao lado tem olho preto e se
for N�O tem olho azul.

[ ]'s

=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
O administrador desta lista � <nicolau@mat.puc-rio.br>
=========================================================================