Tautologies and Contradictions
A tautology is a compound proposition that is always true, no matter what truth values are assigned to its individual components.
In a truth table, a tautology will have T (True) in every row of the final column.
| p | ¬p | p ∨ ¬p |
|---|---|---|
| T | F | T |
| F | T | T |
This is true for all possible values of . So it's a tautology.
No matter the values of and , this compound statement always evaluates to true.
A contradiction is a compound proposition that is always false, regardless of the truth values of the individual components.
In a truth table, a contradiction will have F (False) in every row.
| p | ¬p | p ∧ ¬p |
|---|---|---|
| T | F | F |
| F | T | F |
Always false → this is a contradiction.
This is only true if both and are true at the same time, which is impossible. Always false.
A contingency is a compound proposition that is sometimes true and sometimes false, depending on the truth values of its variables.
| p | q | p → q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
This is not always true or always false → it's a contingency.
To determine if a statement is a tautology, contradiction, or contingency:
Open this section to load past papers