「象は鼻が長い。」等の「述語論理」。

（01）
① 象は鼻は長い。
② 象は鼻が長い。
③ 象が鼻が長い。
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
⑤ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
⑥ ∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
⑦ すべてのｘについて｛ｘが象であるならば、あるｙは（ｘの鼻であって、長い）｝。
⑧ すべてのｘについて｛ｘが象であるならば、あるｙは（ｘの鼻であって、長く）、すべてのｚについて（ｚがｘの鼻でないならば、ｚは長くない）｝。
⑨ すべてのｘについて｛ｘが象であるならば、そのときに限って、あるｙは（ｘの鼻であって、長く）、すべてのｚについて（ｚがｘの鼻でないならば、ｚは長くない）｝。
に於いて、
①＝④＝⑦ であって、
②＝⑤＝⑧ であって、
③＝⑥＝⑨ である。
従って、
（01）により、
（02）
① 象は鼻は長い。
② 象は鼻が長い。
③ 象が鼻が長い。
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
⑤ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
⑥ ∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
⑦「象の鼻は長いが、鼻以外は、不明である。」＆「象以外の動物も、そうであるかは、不明である。」
⑧「象の鼻は長いが、鼻以外は、長くない。」　＆「象以外の動物も、そうであるかは、不明である。」
⑨「象の鼻は長いが、鼻以外は、長くない。」　＆「象以外の動物は、そうではない。」
に於いて、
①＝④＝⑦ であって、
②＝⑤＝⑧ であって、
③＝⑥＝⑨ である。
従って、
（02）により、
（03）
① 象は鼻は長い。然るに、兎の鼻は長くない。故に、兎は象ではない。
② 象は鼻が長い。然るに、兎の耳は長いが、兎の耳は鼻ではない。従って、（鼻以外である、耳が長いので、）兎は象ではない。
③ 象が鼻が長い。然るに、兎は象ではない。従って、兎は、鼻以外（の例へば、耳）が長いか、鼻が長くないか、または、その両方である。
といふ「推論」は、３つとも、「妥当」である。
然るに、
（04）
（ⅰ）
１　　　　　（１）　∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆　長ｙ）｝　Ａ
　２　　　　（２）　∀ｘ｛兎ｘ→∃ｙ（鼻ｙｘ＆～長ｙ）｝　Ａ
　　３　　　（３）　∃ｘ（兎ｘ＆象ｘ）　　　　　　　　　　Ａ
１　　　　　（４）　　　　象ａ→∃ｙ（鼻ｙａ＆　長ｙ）　　１ＵＥ
　２　　　　（５）　　　　兎ａ→∃ｙ（鼻ｙａ＆～長ｙ）　　１ＵＥ
　　　６　　（６）　　　　兎ａ＆象ａ　　　　　　　　　　　Ａ
　　　６　　（７）　　　　兎ａ　　　　　　　　　　　　　　７＆Ｅ
　　　６　　（８）　　　　　　　象ａ　　　　　　　　　　　７＆Ｅ
１　　６　　（９）　　　　　　　∃ｙ（鼻ｙａ＆　長ｙ）　　４７ＭＰＰ
　２　６　　（ア）　　　　　　　∃ｙ（鼻ｙａ＆～長ｙ）　　５８ＭＰＰ
　　　　イ　（イ）　　　　　　　　　　鼻ｂａ＆　長ｂ　　　Ａ
　　　　　ウ（ウ）　　　　　　　　　　鼻ｂａ＆～長ｂ　　　Ａ
　　　　イ　（エ）　　　　　　　　　　　　　　　長ｂ　　　イ＆Ｅ
　　　　　ウ（オ）　　　　　　　　　　　　　　～長ｂ　　　ウ＆Ｅ
　　　　イウ（カ）　　　　　　　　　　　長ｂ＆～長ｂ　　　エオ＆Ｉ
　２　６イ　（キ）　　　　　　　　　　　長ｂ＆～長ｂ　　　アウカＥＥ
１２　６　　（ク）　　　　　　　　　　　長ｂ＆～長ｂ　　　クイキＥＥ
１２３　　　（ケ）　　　　　　　　　　　長ｂ＆～長ｂ　　　３６クＥＥ
１２　　　　（コ）～∃ｘ（兎ｘ＆象ｘ）　　　　　　　　　　３ケＲＡＡ
１２　　　　（サ）∀ｘ～（兎ｘ＆象ｘ）　　　　　　　　　　コ含意の定義
１２　　　　（シ）　　～（兎ａ＆象ａ）　　　　　　　　　　サＵＥ
１２　　　　（ス）　　～兎ａ∨～象ａ　　　　　　　　　　　シ、ド・モルガンの法則
１２　　　　（セ）　　　兎ａ→～象ａ　　　　　　　　　　　ス含意の定義
１２　　　　（ソ）∀ｘ（兎ｘ→～象ｘ）　　　　　　　　　　セＵＩ
（ⅱ）
１　　　　　（１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝　Ａ
　２　　　　（２）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝　Ａ
　　３　　　（３）∃ｘ（兎ｘ＆象ｘ）　　　　　　　　　　　　　　　　　　　　　　Ａ
１　　　　　（４）　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　１ＵＥ
　２　　　　（５）　　　兎ａ→∃ｙ（長ｙ＆耳ｙａ）＆∀ｚ（耳ｚａ→～鼻ｚａ）　　２ＵＥ
　　　６　　（６）　　　兎ａ＆象ａ　　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　６　　（７）　　　兎ａ　　　　　　　　　　　　　　　　　　　　　　　　　　６＆Ｅ
　　　６　　（８）　　　　　　象ａ　　　　　　　　　　　　　　　　　　　　　　　６＆Ｅ
１　　６　　（９）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　４８ＭＰＰ
　２　６　　（ア）　　　　　　∃ｙ（長ｙ＆耳ｙａ）＆∀ｚ（耳ｚａ→～鼻ｚａ）　　５７ＭＰＰ
１　　６　　（イ）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　　　　　　　　　　　　　９＆Ｅ
　　　　ウ　（ウ）　　　　　　　　　鼻ｂａ＆長ｂ　　　　　　　　　　　　　　　　Ａ
　２　６　　（エ）　　　　　　∃ｙ（長ｙ＆耳ｙａ）　　　　　　　　　　　　　　　ア＆Ｅ
　　　　　オ（オ）　　　　　　　　　長ｂ＆耳ｂａ　　　　　　　　　　　　　　　　Ａ
　　　　　オ（カ）　　　　　　　　　　　　耳ｂａ　　　　　　　　　　　　　　　　オ＆Ｅ
　２　６　　（キ）　　　　　　　　　　　　　　　　　∀ｚ（耳ｚａ→～鼻ｚａ）　　ア＆Ｅ
　２　６　　（ク）　　　　　　　　　　　　　　　　　　　　耳ｂａ→～鼻ｂａ　　　キＵＥ
　２　６　オ（ケ）　　　　　　　　　　　　　　　　　　　　　　　　～鼻ｂａ　　　カクＭＰＰ
１　　６　　（コ）　　　　　　　　　　　　　　　　　∀ｚ（～鼻ｚａ→～長ｚ）　　ア＆Ｅ
１　　６　　（サ）　　　　　　　　　　　　　　　　　　　　～鼻ｂａ→～長ｂ　　　コＵＥ
１２　６　オ（シ）　　　　　　　　　　　　　　　　　　　　　　　　　～長ｂ　　　ケサＭＰＰ
　　　　　オ（ス）　　　　　　　　　長ｂ　　　　　　　　　　　　　　　　　　　　オ＆Ｅ
１２　６　オ（セ）　　　　　　　　　長ｂ＆～長ｂ　　　　　　　　　　　　　　　　シス＆Ｉ
１２　６　　（ソ）　　　　　　　　　長ｂ＆～長ｂ　　　　　　　　　　　　　　　　エオセＥＥ
１２３　　　（タ）　　　　　　　　　長ｂ＆～長ｂ　　　　　　　　　　　　　　　　３６ソＥＥ
１２　　　　（チ）～∃ｘ（兎ｘ＆象ｘ）　　　　　　　　　　　　　　　　　　　　　３タＲＡＡ
１２　　　　（ツ）∀ｘ～（兎ｘ＆象ｘ）　　　　　　　　　　　　　　　　　　　　　チ量化子の関係
１２　　　　（テ）　　～（兎ａ＆象ａ）　　　　　　　　　　　　　　　　　　　　　ツＵＥ
１２　　　　（ト）　　～兎ａ∨～象ａ　　　　　　　　　　　　　　　　　　　　　　テ、ド・モルガンの法則
１２　　　　（ナ）　　　兎ａ→～象ａ　　　　　　　　　　　　　　　　　　　　　　ト含意の定義
１２　　　　（ニ）∀ｘ（兎ｘ→～象ｘ）　　　　　　　　　　　　　　　　　　　　　ナＵＩ
（ⅲ）
１　　　　　　　（１）　　∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝　Ａ
　２　　　　　　（２）　　∀ｘ（兎ｘ→～象ｘ）　　　　　　　　　　　　　　　　　　　　　Ａ
１　　　　　　　（３）　　　　　象ａ⇔∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　１ＵＥ
１　　　　　　　（４）　　　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）＆
　　　　　　　　　　　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）→象ａ　　３Ｄｆ．⇔
１　　　　　　　（５）　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）→象ａ　　４＆Ｉ
　　６　　　　　（６）　　　　　　　　　　　　　　　　　　　　　　　　　　　　～象ａ　　Ａ
　　　７　　　　（７）　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　　　　Ａ
１　　７　　　　（８）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　象ａ　　５７ＭＰＰ
１　６７　　　　（９）　　　　　　　　　　　　　　　　　　　　　　　　　～象ａ＆象ａ　　６８＆Ｉ
１　６　　　　　（ア）　　　～｛∃ｙ（鼻ｙａ＆長ｙ）＆　∀ｚ（～鼻ｚａ→～長ｚ）｝　　　７９ＲＡＡ
１　６　　　　　（イ）　　　　～∃ｙ（鼻ｙａ＆長ｙ）∨～∀ｚ（～鼻ｚａ→～長ｚ）　　　　ア、ド・モルガンの法則
１　６　　　　　（ウ）　　　　～∀ｚ（～鼻ｚａ→～長ｚ）∨～∃ｙ（鼻ｙａ＆長ｙ）　　　　イ交換法則
　　　　エ　　　（エ）　　　　～∀ｚ（～鼻ｚａ→～長ｚ）　　　　　　　　　　　　　　　　Ａ
　　　　エ　　　（オ）　　　　∃ｚ～（～鼻ｚａ→～長ｚ）　　　　　　　　　　　　　　　　エ量化子の関係
　　　　　カ　　（カ）　　　　　　～（～鼻ｂａ→～長ｂ）　　　　　　　　　　　　　　　　Ａ
　　　　　カ　　（キ）　　　　　　～（　鼻ｂａ∨～長ｂ）　　　　　　　　　　　　　　　　カ含意の定義
　　　　　カ　　（ク）　　　　　　　　～鼻ｂａ＆　長ｂ　　　　　　　　　　　　　　　　　キ、ド・モルガンの法則
　　　　　カ　　（ケ）　　　　　∃ｚ（～鼻ｚａ＆　長ｚ）　　　　　　　　　　　　　　　　クＥＩ
　　　　エ　　　（コ）　　　　　∃ｚ（～鼻ｚａ＆　長ｚ）　　　　　　　　　　　　　　　　エカケＥＥ
　　　　エ　　　（サ）　　　　　∃ｚ（～鼻ｚａ＆　長ｚ）∨　∀ｙ（鼻ｙａ→～長ｙ）　　　コ∨Ｉ
　　　　　　シ　（シ）　　　　　　　　　　　　　　 　　　　～∃ｙ（鼻ｙａ＆長ｙ）　　　Ａ
　　　　　　シ　（ス）　　　　　　　　　　　　　　　　　　　∀ｙ～（鼻ｙａ＆長ｙ）　　　シ量化子の関係
　　　　　　シ　（セ）　　　　　　　　　　　　　　　　　　　　　～（鼻ｂａ＆長ｂ）　　　スＵＥ
　　　　　　シ　（ソ）　　　　　　　　　　　　　　　　　　　　　～鼻ｂａ∨～長ｂ　　　　セ、ド・モルガンの法則
　　　　　　シ　（タ）　　　　　　　　　　　　　　　　　　　　　　鼻ｂａ→～長ｂ　　　　ソ含意の定義
　　　　　　シ　（チ）　　　　　　　　　　　　　　　　　　　∀ｙ（鼻ｙａ→～長ｙ）　　　タＵＩ
　　　　　　シ　（ツ）　　　　　　∃ｚ（～鼻ｚａ＆　長ｚ）∨∀ｙ（鼻ｙａ→～長ｙ）　　　チ∨Ｉ
１　６　　　　　（テ）　　　　　　∃ｚ（～鼻ｚａ＆　長ｚ）∨∀ｙ（鼻ｙａ→～長ｙ）　　　ウエサシツ∨Ｅ
１　　　　　　　（ト）　　～象ａ→∃ｚ（～鼻ｚａ＆　長ｚ）∨∀ｙ（鼻ｙａ→～長ｙ）　　　６テＣＰ
　２　　　　　　（ナ）　　　兎ａ→～象ａ　　　　　　　　　　　　　　　　　　　　　　　　２ＵＥ
　　　　　　　ニ（ニ）　　　兎ａ　　　　　　　　　　　　　　　　　　　　　　　　　　　　Ａ
　２　　　　　ニ（ヌ）　　　　　　～象ａ　　　　　　　　　　　　　　　　　　　　　　　　ナニＭＰＰ
１２　　　　　ニ（ネ）　　　　　　∃ｚ（～鼻ｚａ＆　長ｚ）∨∀ｙ（鼻ｙａ→～長ｙ）　　　トヌＭＰＰ
１２　　　　　　（ノ）　　　兎ａ→∃ｚ（～鼻ｚａ＆　長ｚ）∨∀ｙ（鼻ｙａ→～長ｙ）　　　ニネＣＰ
１２　　　　　　（ハ）∀ｘ｛兎ｘ→∃ｚ（～鼻ｚｘ＆　長ｚ）∨∀ｙ（鼻ｙｘ→～長ｙ）｝　　ノＵＩ
従って、
（03）（04）により、
（05）
① 象は鼻は長い。然るに、兎の鼻は長くない。故に、兎は象ではない。
② 象は鼻が長い。然るに、兎の耳は長いが、兎の耳は鼻ではない。従って、（鼻以外である、耳が長いので、）兎は象ではない。
③ 象が鼻が長い。然るに、兎は象ではない。従って、兎は、鼻以外（例へば耳）が長いか、鼻が長くないか、または、その両方である。
といふ「推論」、すなはち、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝，∀ｘ｛兎ｘ→∃ｙ（鼻ｙｘ＆～長ｙ）｝├
∀ｘ（兎ｘ→～象ｘ）
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝，∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝├
∀ｘ（兎ｘ→～象ｘ）
③ ∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝，∀ｘ（兎ｘ→～象ｘ）├∀ｘ｛兎ｘ→∃ｚ（～鼻ｚｘ＆長ｚ）∨∀ｙ（鼻ｙｘ→～長ｙ）｝
といふ「推論」は、「妥当」である。
令和０３年０９月０８日、毛利太。