∀xf(x) → f(a) → ∃xf(x).

　この法則を 「関係」（∀x∀y f(x, y)） に適用します。

　　　　1. ∀x∀y f(x, y) → f(a, b).　[ 全称の単称化 ]

　　　　2. f(a, b) → ∃x∃y f(x, y).　[ 単称の存在化 ]

　
　∀x∀y f(x, y) について、項 x, y に対して、それぞれ 「全称ならば単称、単称ならば存在」 を適用してみましょう。

　先ず、全称 x を単称化します。

　　　　∀x∀y f(x, y) → ∀y f(a, y).

　次に、単称 a を存在化します。

　　　　∀y f(a, y) → ∃x∀y f(x, y).

　同様にして、全称 y を単称化します。

　　　　∃x∀y f(x, y) → ∃x f(x, b).

　単称 b を存在化します。

　　　　∃x f(x, b) → ∃x∃y f(x, y)

　
　全称 y についても同じように演算をします。

　　　　∀x∀y f(x, y) → ∀x f(x, b) → ∀x∃y f(x, y) → ∃y f(a, y) → ∃x∃y f(x, y).
　　　　　　　　　（全称 y の単称化）（単称 y の存在化）（全称 x の単称化）（単称 x の存在化）

　
　以上のように、「全称の単称化」「単称の存在化」 さえ わかれば、「いざない」 150ページ の図 （「量化の論理法則」 の一覧表示） を簡単に わかるでしょう。