\begin{definition}[Definition:Logical Not/Truth Table]
The characteristic truth table of the negation operator $\neg p$ is as follows:
:$\begin{array}{|c||c|} \hline
p & \neg p \\
\hline
\F & \T \\
\T & \F \\
\hline
\end{array}$
\end{definition}