Posted on Leave a comment

Logical Contradiction

p \land \neg p

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

\displaystyle p

\displaystyle \neg p

\displaystyle p \land \neg p

T F F
F T F