Tautologia
Uma tautologia é uma proposição composta que apresenta valor Verdadeiro em todas as linhas de sua tabela verdade.
| A | B | ou A ou B ou A se somente se B: (A ⊻ B) ∨ (A ↔ B) | A→(A∨B) |
| V | V | F ∨ V = V | V |
| V | F | V ∨ V = V | V |
| F | V | V ∨ F = V | V |
| F | F | F ∨ V = V | V |
Contradição
Uma contradição é uma proposição que apresenta valor Falso em todas as linhas de sua tabela verdade.
| A | B | A e ~A ∨ B e ~B |
| V | V | F |
| V | F | F |
| F | V | F |
| F | F | F |
Contingência
Uma contingência é uma proposição composta que não é tautologia e não é contradição. A maioria das proposições são contingências
Curiosidades sobre tautologias
Continue para: Lógica de argumentação