Re: [obm-l] Lógica

["Fábio Dias Moreira" <fabio@xxxxxxxxxxxxxxxxxxx>]

Nicolau C. Saldanha said:
> On Mon, Aug 22, 2005 at 03:57:26PM -0300, Marcelo Roseira wrote:
>> [...]
>>
>> Sejam as proposições:
>>
>> P: Maria está na Itália.
>> Q: Jorge é espanhol.
>> R: Luíza não está na Itália.
>>
>> A proposição composta representada por
>> [~(~P∧Q)∧~R] pode ser descrita por:
>
> Não entendo estes caracteres estranhos. Suponho que ~ seja "NÃO",
> que & seja "E" mas #8743; eu não sei o que é. Talvez no seu cliente de
> e-mail isto apareça de outra forma?
>
> [...]


Certamente o "∧" é um "e" -- isso é a representação do síbolo em HTML.

> [...]
>>
>> A) Luíza está na Itália e ou Maria está na Itália ou
>> Jorge é espanhol;
>> B) Luíza está na Itália e ou Maria está na Itália ou
>> Jorge não é espanhol;
>> C) Maria e Luíza estão na Itália ou Jorge não é
>> espanhol;
>> D) Maria e Luíza não estão na Itália e Jorge é
>> espanhol;
>> E) Maria está na Itália e Luíza não está na Itália e
>> Jorge é espanhol.
>
> Para mim, "e ou" é um barbarismo, uma afronta tanto à lingua
> portuguesa quanto à lógica.
>
> [...]

Eu acho (apesar de que eu concordo que é estranho) de que a interpretação
que o enunciado queria era que a alternativa (a) fosse lida como

Luíza está na Itália e (ou Maria está na Itália ou Jorge é espanhol)

onde os parênteses têm o significado matemático (e, no caso, o que está
dentro dos parênteses seria um "ou exclusivo").

[]s,

-- 
Fábio Dias Moreira


=========================================================================
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
=========================================================================