O resultado da interpretação de uma proposição composta pode ser classificado em:
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.