Olá Rodrigo,

Acho que há uma boa tabela no Benson Mates, Lógica Elementar.

Dídimo


Em 02/07/2009 01:49, Rodrigo Oliveira < [email protected] > escreveu:


.hmmessage P { margin:0px; padding:0px } body.hmmessage { font-size: 10pt; font-family:Verdana }

Olá para todos,

Alguém sabe onde encontro uma lista de equivalências do cálculo proposicional?
Preciso de uma fórmula equivalente a
((P → Q) → R) em termos de negação e conjunção.

Rodrigo


Instale o novo Internet Explorer 8 otimizado para o MSN. Download aqui
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a