• 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.
É a proposição composta que será falsidade para todo e qualquer valor lógico assumido por suas proposições componentes. Em uma tabela verdade, é possível identificar uma contradição quando a coluna do resultado possui apenas falsidades.
X