\begin{definition}[Definition:Logical Not]
The '''logical not''' or '''negation''' operator is a unary connective whose action is to reverse the truth value of the statement on which it operates.
:$\neg p$ is defined as:
:'''$p$ is not true'''
:'''It is not the case that $p$ is true'''
:'''It is false that $p$
:'''$p$ is false'''.
Thus the statement $\neg p$ is called the '''negation''' of $p$.
$\neg p$ is voiced '''not $p$'''.
\end{definition}