3 - Resolução de tabelas verdades de contradições

• Proposição (~p ∧ (p ∧ ~q)

Analise a tabela-verdade a seguir.


Conclusão: a proposição ~p∧ (p ∧ ~q) é uma contradição, devido ao resultado final possuir somente valores lógicos F.



Copyright © 2014 AIEC.