Posted on Leave a comment

Logical Tautology

p \lor \neg p

A tautology is a statement form that is always true regardless of the truth values of the individual statements substituted for its statement variables.

\displaystyle p

\displaystyle \neg p

\displaystyle p \lor \neg p

T F T
F T T