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
_________________________________________________________________
Novo Internet Explorer 8. Baixe agora, é grátis!
http://brasil.microsoft.com.br/IE8/mergulhe/?utm_source=MSN%3BHotmail&utm_medium=Tagline&utm_campaign=IE8
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
