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 |