Definition:Logical Complement

Definition
The (logical) complement of a statement $p$ is the negation of $p$, that is, $\neg p$.

From Double Negation, it follows that the complement of $\neg p$ is $p$.