Definition:Logical Complement

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