13. Tautologia, contradição e contingência

Tautologia

Tautologia é uma proposição cujo valor lógico é sempre verdadeiro.

Exemplo

A proposição p ∨ (~p) é uma tautologia, pois o seu valor lógico é sempre V, conforme a tabela-verdade. 

Exemplo

A proposição (p Λ q) → (p → q) é uma tautologia, pois a última coluna da tabela-verdade só possui V. 

Contradição

Contradição é uma proposição cujo valor lógico é sempre falso.

Exemplo

A proposição (p Λ q) Λ (p Λ q) é uma contradição, pois o seu valor lógico é sempre F conforme a tabela-verdade. Que significa que uma proposição não pode ser falsa e verdadeira ao mesmo tempo, isto é, o principio da não contradição.

Contingência 

Quando uma proposição não é tautológica nem contraválida, a chamamos de contingência ou proposição contingente ou proposição indeterminada.