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

Re: [obm-l] Lógica



Perdão, cometi um erro de digitação (que não se propagou, corrigi na linha seguinte sem ver, eheheh). Segue a correção:

~P: Maria não está na Itália.
~P ∧ Q: Maria não está na Itália e Jorge *é* espanhol.
~(~P ∧ Q) = P ou ~Q = Maria está na Itália ou Jorge não é espanhol.
~R: Luiza está na Itália.
(~(~P ∧ Q) ∧ ~R) = ((P ou ~Q) ∧ ~R) = ((Maria está na Itália ou Jorge não é espanhol) e (Luiza está na Itália)) = Luiza está na Itália e ou Maria está na Itália ou Jorge não é espanhol.




--
Bruno França dos Reis
email: bfreis - gmail.com
gpg-key: http://planeta.terra.com.br/informatica/brunoreis/brunoreis.key
icq: 12626000

e^(pi*i)+1=0