• Proposição p → ~p

Analise a tabela-verdade a seguir.

	p	~p	p → ~p
1.	V	F	F
2.	F	V	V

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