Resumo

A partir da finalização da tabela verdade da proposição, é possível observar a coluna do resultado para classificar em um dos seguintes tipos:

• Tautologia

Em uma tabela verdade, é possível identificar uma tautologia quando a coluna do resultado possui apenas verdades. Isso significa que a proposição é tautologia quando for verdadeira para todo e qualquer valor lógico assumido por suas proposições componentes.

Exemplo:

• Contradição

Em uma tabela verdade, é possível identificar uma contradição quando a coluna do resultado possui apenas falsidades. Isso significa que a proposição é uma contradição quando for falsidade para todo e qualquer valor lógico assumido por suas proposições componentes.

Exemplo:

• Contingência

Em uma tabela verdade, é possível identificar uma contingência quando a coluna do resultado possui pelo menos uma verdade e uma falsidade. Isso significa que a proposição é uma contingência quando houver a mistura de verdades e falsidades no resultado final.

Exemplo: