Definition:Logical Complement

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