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:
| p | q | p∧p | p↔p | (p∧p)→(p↔p) | |
| 1. | V | V | V | V | V |
| 2. | V | F | F | F | V |
| 3. | F | V | F | F | V |
| 4. | F | F | F | V | V |
• 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:
| p | q | p∧p | p↔p | (p∧p)∨(p∧p) | |
| 1. | V | V | V | V | F |
| 2. | V | F | F | F | F |
| 3. | F | V | F | F | F |
| 4. | F | F | F | V | F |
• 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:
| p | q | p∨p | p∨p→p | |
| 1. | V | V | V | V |
| 2. | V | F | V | V |
| 3. | F | V | V | F |
| 4. | F | F | F | V |