---

Negation

A unary logical connective, denoted

\[\begin{equation*}
  \lnot P
\end{equation*}
\]

and read

that is ‘true’ if and only if

Note. \(\lnot \lnot P \equiv P\).

[1, Sec. 0.2], [9, Sec. 5.1]

• Synonyms
• Truth table