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.