冠頭標準形
( ∃ x φ ) → ψ {\displaystyle (\exists x\phi )\rightarrow \psi } は ∀ x ( φ → ψ ) {\displaystyle \forall x(\phi \rightarrow \psi )} と等価
帰結部分から量化子を除去する規則は以下の通り。
φ → ( ∃ x ψ ) {\displaystyle \phi \rightarrow (\exists x\psi )} は ∃ x ( φ → ψ ) {\displaystyle \exists x(\phi \rightarrow \psi )} と等価
φ → ( ∀ x ψ ) {\displaystyle \phi \rightarrow (\forall x\psi )} は ∀ x ( φ → ψ ) {\displaystyle \forall x(\phi \rightarrow \psi )} と等価