「虎長百獣長」の「述語論理」。

（01）
１　　　　　（１）∃ｘ∀ｙ｛虎ｘ＆百獣ｙ＆長ｘｙ→∀ｚ（長ｚｙ→ｘ＝ｚ）｝　Ａ
　２　　　　（２）　　∃ｚ（狐ｚ＆～虎ｚ）　　　　　　　　　　　　　　　　　Ａ
　　３　　　（３）　　∀ｙ｛虎ａ＆百獣ｙ＆長ａｙ→∀ｚ（長ｚｙ→ａ＝ｚ）｝　Ａ
　　３　　　（４）　　　　｛虎ａ＆百獣ｂ＆長ａｂ→∀ｚ（長ｚｂ→ａ＝ｚ）　　３ＵＥ
　　　５　　（５）　　　　　虎ａ＆百獣ｂ＆長ａｂ　　　　　　　　　　　　　　Ａ
　　３５　　（６）　　　　　　　　　　　　　　　　∀ｚ（長ｚｂ→ａ＝ｚ）　　４５ＭＰＰ
　　３５　　（７）　　　　　　　　　　　　　　　　　　　長ｃｂ→ａ＝ｃ　　　６ＵＥ
　　　　８　（８）　　　　　狐ｃ＆～虎ｃ　　　　　　　　　　　　　　　　　　Ａ
　　　　８　（９）　　　　　狐ｃ　　　　　　　　　　　　　　　　　　　　　　８＆Ｅ
　　　　８　（ア）　　　　　　　　～虎ｃ　　　　　　　　　　　　　　　　　　８＆Ｅ
　　　５　　（イ）　　　　　虎ａ　　　　　　　　　　　　　　　　　　　　　　５＆Ｅ
　　　５８　（ウ）　　　　　虎ａ＆～虎ｃ　　　　　　　　　　　　　　　　　　アイ＆Ｉ
　　　　　エ（エ）　　　　　　ａ＝ｃ　　　　　　　　　　　　　　　　　　　　Ａ
　　　５８エ（オ）　　　　　虎ｃ＆～虎ｃ　　　　　　　　　　　　　　　　　　ウエ＝Ｅ
　　　５８　（カ）　　　　　　ａ≠ｃ　　　　　　　　　　　　　　　　　　　　エオＲＡＡ
　　３５８　（キ）　　　　　　　　　　　　　　　　　　～長ｃｂ　　　　　　　７カＭＴＴ
　　３５８　（ク）　　　　　狐ｃ＆～長ｃｂ　　　　　　　　　　　　　　　　　９キ＆Ｉ
　　３５８　（ケ）　　∃ｚ（狐ｚ＆～長ｚｂ）　　　　　　　　　　　　　　　　クＥＩ
　２３５　　（コ）　　∃ｚ（狐ｚ＆～長ｚｂ）　　　　　　　　　　　　　　　　２８ケＥＥ
　２３　　　（サ）　　　　　虎ａ＆百獣ｂ＆長ａｂ→∃ｚ（狐ｚ＆～長ｚｂ）　　５コＣＰ
　２３　　　（シ）　　∀ｙ｛虎ａ＆百獣ｙ＆長ａｙ→∃ｚ（狐ｚ＆～長ｚｙ）｝　サＵＩ
　２３　　　（ス）∃ｘ∀ｙ｛虎ｘ＆百獣ｙ＆長ｘｙ→∃ｚ（狐ｚ＆～長ｚｙ）｝　シＥＩ
１２　　　　（セ）∃ｘ∀ｙ｛虎ｘ＆百獣ｙ＆長ｘｙ→∃ｚ（狐ｚ＆～長ｚｙ）｝　１３スＥＥ
従って、
（01）
（02）
（ⅰ）∃ｘ∀ｙ｛虎ｘ＆百獣ｙ＆長ｘｙ→∀ｚ（長ｚｙ→ｘ＝ｚ）｝。然るに、
（ⅱ）　　∃ｚ（狐ｚ＆～虎ｚ）。従って、
（ⅲ）∃ｘ∀ｙ｛虎ｘ＆百獣ｙ＆長ｘｙ→∃ｚ（狐ｚ＆～長ｚｙ）｝。
といふ「推論」、すなはち、
（ⅰ）あるｘとすべてのｙについて｛ｘが虎であって、ｙが百獣であって、ｘがｙの長であるならば、すべてのｚについて（ｚがｙの長であるならば、ｘはｚと「同一」である｝。然るに、
（ⅱ）あるｚは（狐はであって、虎ではない）。従って、
（ⅲ）あるｘとすべてのｙについて｛ｘが虎であって、ｙが百獣であって、ｘがｙの長であるならば、あるはｚ（狐であって、ｙの長ではない）｝。
といふ「推論」は「妥当」である。
従って、
（02）により、
（03）
（ⅰ）唯、虎のみ、百獣に長たり（唯虎長百獣長也）。然るに、
（ⅱ）狐は虎に非ざるなり（狐非虎也）。故に、
（ⅲ）虎は百獣に長たりて、狐は長たらず（虎長百獣、狐不長）。
といふ「推論」は「妥当」である。
令和６年１月１９日、毛利太。