Negated Quantifier

Definition

With quantifier $Q$, the negated quantifier $\overline{Q}$ is the quantifier that $Q$ is not.

• $Q=\forall ⟹\overline{Q}=\exists$
• $Q=\exists ⟹\overline{Q}=\forall$