Embora o Wolfram esteja apontando os resultados, parace melhor explicar-lhe a conversão.
Você pode utilizar as regras "P → Q <-> ~P v Q" (1) e Leis de DeMorgan "A v B <-> ~(~A & ~B). Fica assim: (P → Q) → R (~P v Q) → R (1) ~(~P v Q) v R (1) ~~(P & ~Q) v R De Morgan (P & ~Q) v R Contração da negação ~(~(P & ~Q) & ~R) De Morgan
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
