• Proposição p → ~p

Analise a tabela-verdade a seguir.

Conclusão: a proposição p→ ~p é uma contingência, devido ao resultado final possuir tanto V como F dentre os valores lógicos.