• 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.