• Proposição (p ∧ ~p)
Analise a tabela-verdade a seguir.
Conclusão:a proposição p ∧ ~p é uma contradição, devido ao resultado final possuir somente valores lógicos F.