Symbols:Symbolic Logic/Deprecated Symbols/Minus

Logical Not


Not.

A unary operation on a proposition.

$-Q$ means $Q$ is not true.

An alternative to $\neg$, which is what is usually used by logicians.

Also see
See Arithmetic and Algebra and Set Theory for alternative definitions of this symbol.