Tautology
Logical proposition that is always true, regardless of the truth values of its components.
Synonym for proposition that is always true.
Example
The proposition composed P → (Q → P) is a tautology. Here is its truth table:| P | Q | Q → P | P → (Q → P) |
| T T F F | T F T F | T T F T | T T T T |