# Symbols:Symbolic Logic/Logical Negation

## Logical Not

$\neg$

Not.

$\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.

The $\LaTeX$ code for $\neg Q$ is \neg Q  or \lnot Q.

## Deprecated Symbols

### Minus

$-$

Not.

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

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

The $\LaTeX$ code for $-Q$ is -Q .

### Tilde

$\sim$

Not.

$\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 .