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