\begin{definition}[Definition:Logical Complement/Complementary Pair]
For any propositional formula $\mathbf A$, the set $\left\{{\mathbf A, \neg \mathbf A}\right\}$ is called a '''complementary pair of formulas'''.
\end{definition}