（01）
① 象が鼻が長い。
② 象は鼻が長く、鼻以外は長くなく、「逆」も真である。
③ ∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝
④ すべてのｘについて｛ｘが象であるならば、そのときに限って、あるｙはｘの鼻であって、長く、すべてのｚについて（ｚがｘの鼻でないならば、ｚは長くない）。｝
に於いて、
①＝②＝③＝④ である。
然るに、
（02）
（ⅲ）
１ （１） ∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （２） 象ａ⇔∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
１ （３） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）＆
∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）→象ａ ２Ｄｆ.⇔
１ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ３＆Ｅ
１ （５） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）→象ａ ３＆Ｅ
６ （６） ～象ａ Ａ
１６ （７） ～｛∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）｝ ６５ＭＴＴ
１６ （８） ～∃ｙ（鼻ｙａ＆長ｙ）∨～∀ｚ（～鼻ｚａ→～長ｚ） ７ド・モルガンの法則
１６ （９） ∃ｙ（鼻ｙａ＆長ｙ）→～∀ｚ（～鼻ｚａ→～長ｚ） ８含意の定義
ア （ア） ∃ｙ（鼻ｙａ＆長ｙ） Ａ
１６ア （イ） ～∀ｚ（～鼻ｚａ→～長ｚ） ９アＭＰＰ
１６ア （ウ） ∃ｚ～（～鼻ｚａ→～長ｚ） イ量化子の関係
エ （エ） ～（～鼻ｂａ→～長ｂ） Ａ
エ （オ） ～（鼻ｂａ∨～長ｂ） エ含意の定義
エ （カ） ～鼻ｂａ＆ 長ｂ オ、ド・モルガンの法則
エ （キ） ∃ｚ（～鼻ｚａ＆ 長ｚ） カＥＩ
１６ア （ケ） ∃ｚ（～鼻ｚａ＆ 長ｚ） ウエキＥＥ
１６ （コ） ∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆ 長ｚ） アケＣＰ
１ （サ）～象ａ→［∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆ 長ｚ）］ ６コＣＰ
シ（ス）～象ａ＆ ∃ｙ（鼻ｙａ＆長ｙ） Ａ
シ（セ）～象ａ シ＆Ｉ
シ（ソ） ∃ｙ（鼻ｙａ＆長ｙ） ス＆Ｅ
１ シ（タ） ［∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆ 長ｚ）］ サセＭＰＰ
１ シ（チ） ∃ｚ（～鼻ｚａ＆ 長ｚ） ソタＭＰＰ
１ （ツ） ～象ａ＆∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆ 長ｚ） シチＣＰ
１ （テ）∀ｘ｛～象ｘ＆∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝ ツＵＩ
１ （ト）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ ４ＵＩ
（ⅳ）
（03）
―「お知らせ」―
（ａ）「痛風の発作」が酷くなって来たため、「この記事を中断します。」
（ｂ）「痛風の発作」が「治まった」時点で、「この記事の続き」を再開します。
（ｃ）「私事（告訴）」のための「資料」を作成する必要があるので、（ｂ）以降は、「暫くの間」、「ブログの更新」は無いかも、知れません。