Show Summary Details
Overview
tautology
Quick Reference
A compound statement that is true for all possible truth values of its components. For example, p ⇒ (q ⇒ p) is a tautology, as can be seen by calculating its truth table.
