Tautology

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

Try Buzzmath activities for free

and see how the platform can help you.