命題関数
議論領域 D は整数全体から成る集合に等しいとする。
1 変数の命題関数 F(n) を次の等式で定義する。
F(1) = ⋎ {\displaystyle \curlyvee } は正しくないので、F(n) = ⋎ {\displaystyle \curlyvee } は恒等式でない。よって、∀nF(n) = ⋏ {\displaystyle \curlywedge } である。また、F(2) = ⋏ {\displaystyle \curlywedge } は正しくないので、F(n) = ⋏ {\displaystyle \curlywedge } は恒等式でない。よって、∃nF(n) = ⋎ {\displaystyle \curlyvee } である。