冠頭標準形
否定の規則は
¬ ∃ x φ {\displaystyle \lnot \exists x\phi } は ∀ x ¬ φ {\displaystyle \forall x\lnot \phi } と等価
および
¬ ∀ x φ {\displaystyle \lnot \forall x\phi } は ∃ x ¬ φ {\displaystyle \exists x\lnot \phi } と等価
である。