1 - Tautologia, Contradição e Contingência

O resultado da interpretação de uma proposição composta pode ser classificado em:

• tautologia,
• contradição e
• contingência.

Quando se resolve uma proposição composta por meio de tabela verdade, analisa-se a coluna do resultado para identificar se a proposição é uma tautologia, uma contradição ou uma contingência. Vejamos a seguir cada uma delas.

• Tautologia

Como exemplo temos a tabela verdade de (p∧q)→(p↔q)

Este é um caso de tautologia, pois a coluna do resultado possui apenas verdades. Observe a última coluna da tabela-verdade.