\begin{definition}[Definition:Logical Complement]
The '''(logical) complement''' of a propositional formula $\mathbf A$ is the negation of $\mathbf A$, that is, $\neg \mathbf A$.
Conversely, the '''complement''' of $\neg \mathbf A$ is defined to be $\mathbf A$.
\end{definition}