「お知らせ」。

（01）
① 象が鼻が長い。
② 象は鼻が長く、鼻以外は長くなく、「逆」も真である。
③ ∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝
④ すべてのｘについて｛ｘが象であるならば、そのときに限って、あるｙはｘの鼻であって、長く、すべてのｚについて（ｚがｘの鼻でないならば、ｚは長くない）。｝
に於いて、
①＝②＝③＝④ である。
然るに、
（02）
（ⅲ）
１　　　　（１）　　∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝　Ａ
１　　　　（２）　　　　　象ａ⇔∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　１ＵＥ
１　　　　（３）　　　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）＆
　　　　　　　　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）→象ａ　　２Ｄｆ.⇔
１　　　　（４）　　　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　３＆Ｅ
１　　　　（５）　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）→象ａ　　３＆Ｅ
　６　　　（６）　　　　　　　　　　　　　　　　　　　　　　　　　　　　～象ａ　　Ａ
１６　　　（７）　　　～｛∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）｝　　　　６５ＭＴＴ
１６　　　（８）　　　～∃ｙ（鼻ｙａ＆長ｙ）∨～∀ｚ（～鼻ｚａ→～長ｚ）　　　　　７ド・モルガンの法則
１６　　　（９）　　　　∃ｙ（鼻ｙａ＆長ｙ）→～∀ｚ（～鼻ｚａ→～長ｚ）　　　　　８含意の定義
　　ア　　（ア）　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　　　　　　　　　　　　　　　　　Ａ
１６ア　　（イ）　　　　　　　　　　　　　　　～∀ｚ（～鼻ｚａ→～長ｚ）　　　　　９アＭＰＰ
１６ア　　（ウ）　　　　　　　　　　　　　　　∃ｚ～（～鼻ｚａ→～長ｚ）　　　　　イ量化子の関係
　　　エ　（エ）　　　　　　　　　　　　　　　　　～（～鼻ｂａ→～長ｂ）　　　　　Ａ
　　　エ　（オ）　　　　　　　　　　　　　　　　　　～（鼻ｂａ∨～長ｂ）　　　　　エ含意の定義
　　　エ　（カ）　　　　　　　　　　　　　　　　　　　～鼻ｂａ＆　長ｂ　　　　　　オ、ド・モルガンの法則
　　　エ　（キ）　　　　　　　　　　　　　　　　∃ｚ（～鼻ｚａ＆　長ｚ）　　　　　カＥＩ
１６ア　　（ケ）　　　　　　　　　　　　　　　　∃ｚ（～鼻ｚａ＆　長ｚ）　　　　　ウエキＥＥ
１６　　　（コ）　　　　　∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆　長ｚ）　　　　　アケＣＰ
１　　　　（サ）～象ａ→［∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆　長ｚ）］　　　　６コＣＰ
　　　　シ（ス）～象ａ＆　∃ｙ（鼻ｙａ＆長ｙ）　　　　　　　　　　　　　　　　　　Ａ
　　　　シ（セ）～象ａ　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　シ＆Ｉ
　　　　シ（ソ）　　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　　　　　　　　　　　　　　　　ス＆Ｅ
１　　　シ（タ）　　　　［∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆　長ｚ）］ 　　　 サセＭＰＰ
１　　　シ（チ）　　　　　　　　　　　　　　　　∃ｚ（～鼻ｚａ＆　長ｚ）　　　　　ソタＭＰＰ
１　　　　（ツ）　～象ａ＆∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆　長ｚ）　　　　　シチＣＰ
１　　　　（テ）∀ｘ｛～象ｘ＆∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝　　　ツＵＩ
１　　　　（ト）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝　　　４ＵＩ
（ⅳ）

（03）
　　 ―「お知らせ」―
（ａ）「痛風の発作」が酷くなって来たため、「この記事を中断します。」
（ｂ）「痛風の発作」が「治まった」時点で、「この記事の続き」を再開します。
（ｃ）「私事（告訴）」のための「資料」を作成する必要があるので、（ｂ）以降は、「暫くの間」、「ブログの更新」は無いかも、知れません。
令和０２年１１月１８日、毛利太。