Posted on Leave a comment

Logical Negation

\neg p

If p is a statement variable, the negation of p is “not p.” Not p has opposite truth value from p: if p is true, not p is false; if p is false, not p is true.

\displaystyle p

\displaystyle \neg p

T F
F T