Symbols:Symbolic Logic/Deprecated Symbols/Tilde

Logical Not

$\sim$

Not.

A unary operation on a proposition.

$\sim Q$ means $Q$ is not true.

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

The $\LaTeX$ code for \(\sim Q\) is \sim Q .