2 - Resolução de tabelas verdades de tautologias

Proposição ((p∨q→r)∧(r→s))→(~s→~p)

Ao final, representada por: (B∧C)→(D). Veja abaixo:

Conclusão: a proposição ((p∨q→r)∧(r→s))→(~s→~p) é uma tautologia, devido ao resultado final possuir somente valores lógicos V.



Copyright © 2014 AIEC.