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

（01）
１　　　　　　　（１）　∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝　Ａ
　２　　　　　　（２）　∀ｘ｛兎ｘ→∃ｚ（耳ｚｘ＆～鼻ｚｘ＆長ｚ）｝　　　　　　　　　Ａ
　　３　　　　　（３）　∃ｘ（象ｘ＆兎ｘ）　　　　　　　　　　　　　　　　　　　　　　Ａ
１　　　　　　　（４）　　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　１ＵＥ
　２　　　　　　（５）　　　　兎ａ→∃ｚ（耳ｚａ＆～鼻ｚａ＆長ｚ）　　　　　　　　　　２ＵＥ
　　　６　　　　（６）　　　　象ａ＆兎ａ　　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　６　　　　（７）　　　　象ａ　　　　　　　　　　　　　　　　　　　　　　　　　　６＆Ｅ
　　　６　　　　（８）　　　　　　　兎ａ　　　　　　　　　　　　　　　　　　　　　　　６＆Ｅ
１　　６　　　　（９）　　　　　　　　　　　　　　　　　　∀ｚ（～鼻ｚａ→～長ｚ）　　４７ＭＰＰ
１　　６　　　　（ア）　　　　　　　　　　　　　　　　　　　　　～鼻ｂａ→～長ｂ　　　９ＵＩ
　２　６　　　　（イ）　　　　　　　∃ｚ（耳ｚａ＆～鼻ｚａ＆長ｚ）　　　　　　　　　　５８ＭＰＰ
　　　　ウ　　　（ウ）　　　　　　　　　　耳ｂａ＆～鼻ｂａ＆長ｂ　　　　　　　　　　　Ａ
　　　　ウ　　　（エ）　　　　　　　　　　　　　　～鼻ｂａ　　　　　　　　　　　　　　ウ＆Ｅ
　　　　ウ　　　（オ）　　　　　　　　　　　　　　　　　　　長ｂ　　　　　　　　　　　ウ＆Ｅ
１　　６ウ　　　（カ）　　　　　　　　　　　　　　　　　　　　　　　　　　～長ｂ　　　アエＭＰＰ
１　　６ウ　　　（キ）　　　　　　　　　　　　　　　　　　　長ｂ＆～長ｂ　　　　　　　オカ＆Ｉ
１２　６　　　　（ク）　　　　　　　　　　　　　　　　　　　長ｂ＆～長ｂ　　　　　　　イウキＥＥ
１２３　　　　　（ケ）　　　　　　　　　　　　　　　　　　　長ｂ＆～長ｂ　　　　　　　３６クＥＥ
１２　　　　　　（コ）～∃ｘ（象ｘ＆兎ｘ）　　　　　　　　　　　　　　　　　　　　　　３ケＲＡＡ
１２　　　　　　（サ）∀ｘ～（象ｘ＆兎ｘ）　　　　　　　　　　　　　　　　　　　　　　コ量化子の関係
１２　　　　　　（シ）　　～（象ａ＆兎ａ）　　　　　　　　　　　　　　　　　　　　　　サＵＥ
　　　　　ス　　（ス）　　　　象ａ　　　　　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　　　セ　（セ）　　　　　　　兎ａ　　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　　スセ　（ソ）　　　　象ａ＆兎ａ　　　　　　　　　　　　　　　　　　　　　　　スセ＆Ｉ
１２　　　スセ　（タ）　　～（象ａ＆兎ａ）＆（象ａ＆兎ａ）　　　　　　　　　　　　　　シソ＆Ｉ
１２　　　ス　　（チ）　　　　　　～兎ａ　　　　　　　　　　　　　　　　　　　　　　　セタＲＡＡ
１２　　　　　　（ツ）　　　象ａ→～兎ａ　　　　　　　　　　　　　　　　　　　　　　　スチＣＰ
　　　　　　　テ（テ）　　　　　　　兎ａ　　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　　　　テ（ト）　　　　　～～兎ａ　　　　　　　　　　　　　　　　　　　　　　　テＤＮ
１２　　　　　テ（ナ）　　～象ａ　　　　　　　　　　　　　　　　　　　　　　　　　　　ツトＭＴＴ
１２　　　　　　（ニ）　　　兎ａ→～象ａ　　　　　　　　　　　　　　　　　　　　　　　テナＣＰ
１２　　　　　　（ヌ）∀ｘ（兎ｘ→～象ｘ）　　　　　　　　　　　　　　　　　　　　　　ニＵＩ
従って、
（01）により、
（02）
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｚ（耳ｚｘ＆～鼻ｚｘ＆長ｚ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
といふ『推論』、すなはち、
（ⅰ）すべてのｘについて｛ｘが象であるならば、あるｙは（ｘの鼻であって、長く）、すべてのｚについて（ｚがｘの鼻ではないならば、ｚは長くない）｝。然るに、
（ⅱ）すべてのｘについて｛ｘが兎であるならば、あるｚは（ｘの耳であって、ｘの鼻ではないが、ｚは長い）｝。従って、
（ⅲ）すべてのｘについて（ｘが兎であるならば、ｘは象ではない）。
といふ『推論』、すなはち、
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎の耳は鼻ではないが、長い。従って、
（ⅲ）兎は象ではない。
といふ『推論』は「妥当」である。
従って、
（02）により、
（03）
① 象は鼻が長い。
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
③ すべてのｘについて｛ｘが象であるならば、あるｙは（ｘの鼻であって、長く）、すべてのｚについて（ｚがｘの鼻ではないならば、ｚは長くない）｝。
に於いて、
①＝②＝③ である。
然るに、
（03）により、
（04）
① 象は鼻が長い。
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
③ すべてのｘについて｛ｘが象であるならば、あるｙは（ｘの鼻であって、長く）、すべてのｚについて（ｚがｘの鼻ではないならば、ｚは長くない）｝。
に於いて、「象」と「鼻」を「交換」すると、
④ 鼻は象が長い。
⑤ ∀ｘ｛鼻ｘ→∃ｙ（象ｙｘ＆長ｙ）＆∀ｚ（～象ｚｘ→～長ｚ）｝。
⑥ すべてのｘについて｛ｘが鼻であるならば、あるｙは（ｘの象であって、長く）、すべてのｚについて（ｚがｘの象ではないならば、ｚは長くない）｝。
然るに、
（04）により、
（05）
③｛（ｘの鼻）＆（ｘ＝象）｝⇔｛（ｘの鼻）＝（象の鼻）｝
⑥｛（ｘの象）＆（ｘ＝鼻）｝⇔｛（ｘの象）＝（鼻の象）｝
然るに、
（05）により、
（06）
③（象の鼻）といふ「日本語」に対して、
⑥（鼻の象）といふ「日本語」は、「意味不明」である。
従って、
（04）（05）（06）により、
（07）
① 象は鼻が長い。
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
④ 鼻は象が長い。
⑤ ∀ｘ｛鼻ｘ→∃ｙ（象ｙｘ＆長ｙ）＆∀ｚ（～象ｚｘ→～長ｚ）｝。
に於いて、
①＝② であるが、
④＝⑤ ではない。
然るに、
（08）
１　　　　（１）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ｝　Ａ
１　　　　（２）　　∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（～象ｙ＆鼻ａｙ）→～長ａ｝　１ＵＥ
　３　　　（３）　　　　　（鼻ａｂ＆象ｂ）→長ａ＆（～象ｂ＆鼻ａｂ）→～長ａ　　Ａ
　３　　　（４）　　　　　　　　　　　　　　　　　（～象ｂ＆鼻ａｂ）→～長ａ　　３＆Ｅ
　　５　　（５）　　∀ｙ｛（兎ｙ→～象ｙ）＆∃ｘ（鼻ｘｙ）｝　　　　　　　　　　Ａ
　　５　　（６）　　　　　（兎ｂ→～象ｂ）＆∃ｘ（鼻ｘｂ）　　　　　　　　　　　ＵＥ
　　５　　（７）　　　　　　兎ｂ→～象ｂ　　　　　　　　　　　　　　　　　　　　６＆Ｅ
　　　８　（８）　　　　　　兎ｂ　　　　　　　　　　　　　　　　　　　　　　　　Ａ
　　５８　（９）　　　　　　　　　～象ｂ　　　　　　　　　　　　　　　　　　　　７８ＭＰＰ
　　５　　（ア）　　　　　　　　　　　　　　∃ｘ（鼻ｘｂ）　　　　　　　　　　　６＆Ｅ
　　　　イ（イ）　　　　　　　　　　　　　　　　　鼻ａｂ　　　　　　　　　　　　Ａ
　　５８イ（ウ）　　　　　　　　　　　　　　　　　　～象ｂ＆鼻ａｂ　　　　　　　９イ＆Ｉ
　３５８イ（エ）　　　　　　　　　　　　　　　　　　　　　　　　　　　～長ａ　　４ウＭＰＰ
　３５８イ（オ）　　　　　　　　　　　　　　　　　　鼻ａｂ＆～長ａ　　　　　　　イエ＆Ｉ
　３５８イ（カ）　　　　　　　　　　　　　　　∃ｘ（鼻ｘｂ＆～長ｘ）　　　　　　オＥＩ
　３５８　（キ）　　　　　　　　　　　　　　　∃ｘ（鼻ｘｂ＆～長ｘ）　　　　　　アイカＥＥ
　３５　　（ク）　　　　　　　　　　　　兎ｂ→∃ｘ（鼻ｘｂ＆～長ｘ）　　　　　　８キＣＰ
　３５　　（ケ）　　　　　　　　　∀ｙ｛兎ｙ→∃ｘ（鼻ｘｙ＆～長ｘ）｝　　　　　クＵＩ
１　５　　（コ）　　　　　　　　　∀ｙ｛兎ｙ→∃ｘ（鼻ｘｙ＆～長ｘ）｝　　　　　２３ケＥＥ
　 従って、
（08）により、
（09）
（ⅰ）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ｝。然るに、
（ⅱ）　　∀ｙ｛（兎ｙ→～象ｙ）＆∃ｘ（鼻ｘｙ）｝。従って、
（ⅲ）　　∀ｙ｛　兎ｙ→∃ｘ（鼻ｘｙ＆～長ｘ）｝。
といふ『推論』、すなはち、
（ⅰ）すべてのｘとあるｙについて｛（ｘがｙの鼻であって、ｙが象である）ならば、ｘは長く、（ｙが象でなくて、ｘがｙの鼻である）ならば、ｘは長くない｝。然るに、
（ⅱ）　　　　すべてのｙについて｛（ｙが兎であるならば、ｙは象ではなく）、あるｘは（ｙの鼻である）｝。従って、
（ⅲ）　　　　すべてのｙについて｛　ｙが兎であるならば、あるｘは（ｙの鼻であって、長くない）｝。
といふ『推論』、すなはち、
（ⅰ）鼻は象が長く、象以外の鼻は長くない。然るに、
（ⅱ）兎は象ではないが、兎には鼻がある。　従って、
（ⅲ）兎の鼻は長くない。
といふ『推論』は「妥当」である。
然るに、
（10）
｛（象の鼻、兎の鼻、馬の鼻）、（象の耳、兎の耳、馬の耳）、（象の顔、兎の顔、馬の顔）｝
であるならば、
（ⅰ）鼻は象が長い（象以外の鼻は長くない）。
（ⅱ）耳は兎が長い（兎以外の耳は長くない）。
（ⅲ）顔は馬が長い（馬以外の顔は長くない）。
従って、
（01）～（10）により、
（11）
① 象は鼻が長い。
② 鼻は象が長い。
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
④ ∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ｝。
に於いて、
①＝③ であって、
②＝④ である。
令和５年８月９日、毛利太。