「全称」 の存在化

　「全称」 と 「存在」 と 「単称」 の間には、以下の論理式が成立する。
　（全体集合 L のなかの任意の メンバー を x とし、或る具体的な メンバー を x_１とする。）

　（1） 「全称」 の単称化　　∀xP(x) ⇒ Ｐ(x_１).
　（2） 「全称」 の存在化　　∀xP(x) ⇒ ∃xＰ(x).
　（3） 「単称」 の存在化　　 Ｐ(x_１) ⇒ ∃xＰ(x).