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