Definition:Logical Complement/Complementary Pair

Definition
For any logical formula $P$, the set $\left\{{P, \neg P}\right\}$ is called a complementary pair of formulas for $P$.