冠頭標準形
(1) ∀ x ( φ ∨ ψ ) {\displaystyle \forall x(\phi \lor \psi )} なら ( ∀ x φ ) ∨ ψ {\displaystyle (\forall x\phi )\lor \psi }
(2) ∀ x ( φ ∨ ψ ) {\displaystyle \forall x(\phi \lor \psi )} なら φ ∨ ( ∀ x ψ ) {\displaystyle \phi \lor (\forall x\psi )}
(3) ( ∀ x φ ) → ψ {\displaystyle (\forall x\phi )\rightarrow \psi } なら ∃ x ( φ → ψ ) {\displaystyle \exists x(\phi \rightarrow \psi )}
(4) φ → ( ∃ x ψ ) {\displaystyle \phi \rightarrow (\exists x\psi )} なら ∃ x ( φ → ψ ) {\displaystyle \exists x(\phi \rightarrow \psi )}
(5) ¬ ∀ x φ {\displaystyle \lnot \forall x\phi } なら ∃ x ¬ φ {\displaystyle \exists x\lnot \phi }
なお、(1)と(3)の ψ {\displaystyle \,\psi } では x が自由変項として出現しない。また、(2)と(4)の φ {\displaystyle \,\phi } では x が自由変項として出現しない。