Symbols:Symbolic Logic/Logical Negation

Logical Not

 * $\neg$

Not.

A unary operator on a proposition.

$\neg Q$ means not $Q$, the logical opposite (negation) of $Q$.

The effect of the unary operator $\neg$ is to reverse the truth value of the statement following it.