「天下英雄唯君与我」の「述語論理」。

（01）
ｋ＝君
ｗ＝我
ｈ＝彼
であるとして、
１　　（１）英雄ｋ＆英雄ｗ＆∀ｘ｛英雄ｘ→（ｘ＝ｋ）∨（ｘ＝ｗ）｝　Ａ
１　　（２）英雄ｋ＆英雄ｗ　　　　　　　　　　　　　　　　　　　　　１＆Ｅ
１　　（３）　　　　　　　　∀ｘ｛英雄ｘ→（ｘ＝ｋ）∨（ｘ＝ｗ）｝　１＆Ｅ
１　　（４）　　　　　　　　　　　英雄ｈ→（ｈ＝ｋ）∨（ｈ＝ｗ）　　１ＵＥ
　５　（５）　　　　　　　　　　　　　　　（ｈ≠ｋ）＆（ｈ≠ｗ）　　Ａ
　５　（６）　　　　　　　　　　　　　～｛（ｈ＝ｋ）∨（ｈ＝ｗ）｝　６ド・モルガンの法則
１５　（７）　　　　　　　　　　～英雄ｈ　　　　　　　　　　　　　　４６ＭＴＴ
１　　（８）　　　　　　　　｛（ｈ≠ｋ）＆（ｈ≠ｗ）｝→～英雄ｈ　　５７ＣＰ
　　９（９）　　　　　　　　　（ｈ≠ｋ）＆（ｈ≠ｗ）　　　　　　　　Ａ
１　９（ア）　　　　　　　　　　　　　　　　　　　　　　～英雄ｈ　　８９ＭＰＰ
従って、
（01）により、
（02）
（ⅰ）英雄ｋ＆英雄ｗ＆∀ｘ｛英雄ｘ→（ｘ＝ｋ）∨（ｘ＝ｗ）｝。然るに、
（ⅱ）（ｈ≠ｋ）＆（ｈ≠ｗ）。従って、
（ⅲ）～英雄ｈ。
といふ「推論」、すなはち、
（ⅰ）君は英雄であり、私も英雄であり、すべてのｘについて｛ｘが英雄であるならば、（ｘは君である）か（ｘは私である）」。然るに、
（ⅱ）彼は君ではなく、彼は私でもない。従って、
（ⅲ）彼は英雄でない。
といふ「推論」は「妥当」である。
従って、
（01）（02）（03）により、
（04）
① ∀ｘ｛英雄ｘ→（ｘ＝ｋ）∨（ｘ＝ｗ）｝。
② 英雄唯君与我（英雄は、ただ君と我のみ）。
に於いて、
①＝② である。
然るに、
（05）
（ⅰ）
１　　　　（１）　∀ｘ｛英雄ｘ→（ｘ＝ｋ）∨（ｘ＝ｗ）｝　　Ａ
　２　　　（２）　∃ｘ（英雄ｘ＆（ｘ≠ｋ）＆（ｘ≠ｗ）｝　　Ａ
１　　　　（３）　　　　英雄ａ→（ａ＝ｋ）∨（ａ＝ｗ）　　　１ＵＥ
　　４　　（４）　　　　英雄ａ＆（ａ≠ｋ）＆（ａ≠ｗ）　　　Ａ
　　４　　（５）　　　　英雄ａ　　　　　　　　　　　　　　　４＆Ｅ
１　４　　（６）　　　　　　　　（ａ＝ｋ）∨（ａ＝ｗ）　　　３５ＭＰＰ
　　　７　（７）　　　　　　　　（ａ＝ｋ）　　　　　　　　　Ａ
　　４　　（８）　　　　　　　　（ａ≠ｋ）　　　　　　　　　４＆Ｅ
　　４７　（９）　　　　　　　　（ａ＝ｋ）＆（ａ≠ｋ）　　　７８＆Ｉ
　　　７　（ア）　　～｛英雄ａ＆（ａ≠ｋ）＆（ａ≠ｗ）｝　　４９ＲＡＡ
　　　　イ（イ）　　　　　　　　　　　　　　（ａ＝ｗ）　　　Ａ
　　４　　（ウ）　　　　　　　　　　　　　　（ａ≠ｗ）　　　４＆Ｅ
　　４　イ（エ）　　　　　　　　（ａ＝ｗ）＆（ａ≠ｗ）　　　イウ＆Ｉ
　　　　イ（オ）　　～｛英雄ａ＆（ａ≠ｋ）＆（ａ≠ｗ）｝　　４エＲＡＡ
１　４　　（カ）　　～｛英雄ａ＆（ａ≠ｋ）＆（ａ≠ｗ）｝　　６７アイオ∨Ｅ
１　４　　（キ）　　　｛英雄ａ＆（ａ≠ｋ）＆（ａ≠ｗ）｝＆
　　　　　　　　　　～｛英雄ａ＆（ａ≠ｋ）＆（ａ≠ｗ）｝　　４キ＆Ｉ
１２　　　（ク）　　　｛英雄ａ＆（ａ≠ｋ）＆（ａ≠ｗ）｝＆
　　　　　　　　　　～｛英雄ａ＆（ａ≠ｋ）＆（ａ≠ｗ）｝　　４キ＆Ｉ
１　　　　（ケ）～∃ｘ｛英雄ｘ＆（ｘ≠ｋ）＆（ｘ≠ｗ）｝　　２クＲＡＡ
（ⅲ）
１　（１）～∃ｘ（英雄ｘ＆（ｘ≠ｋ）＆（ｘ≠ｗ）｝　　Ａ
１　（２）∀ｘ～（英雄ｘ＆（ｘ≠ｋ）＆（ｘ≠ｗ）｝　　１量化子の関係
１　（３）　　～｛英雄ａ＆（ａ≠ｋ）＆（ａ≠ｗ）｝　　２ＵＥ
１　（４）　～｛英雄ａ＆［（ａ≠ｋ）＆（ａ≠ｗ）］｝　３結合法則
１　（５）　～英雄ａ∨～［（ａ≠ｋ）＆（ａ≠ｗ）］　　４ド・モルガンの法則
１　（６）　　英雄ａ→～［（ａ≠ｋ）＆（ａ≠ｗ）］　　５含意の定義
　７（７）　　英雄ａ　　　　　　　　　　　　　　　　　Ａ
１７（８）　　　　　　～［（ａ≠ｋ）＆（ａ≠ｗ）］　　６７ＭＰＰ
１７（９）　　　　　　　　（ａ＝ｋ）∨（ａ＝ｗ）　　　８ド・モルガンの法則
１　（ア）　　　　英雄ａ→（ａ＝ｋ）∨（ａ＝ｗ）　　　７９ＣＰ
１　（イ）　∀ｘ｛英雄ｘ→（ｘ＝ｋ）∨（ｘ＝ｗ）｝　　アＵＩ
従って、
（05）により、
（06）
① 　∀ｘ｛英雄ｘ→（ｘ＝ｋ）∨（ｘ＝ｗ）｝
③ ～∃ｘ｛英雄ｘ＆（ｘ≠ｋ）＆（ｘ≠ｗ）｝
に於いて、
①＝③ である。
従って、
（01）（04）（06）により、
（07）
① 　∀ｘ｛英雄ｘ→（ｘ＝ｋ）∨（ｘ＝ｗ）｝。
② 英雄唯君与我（英雄は、ただ君と我のみ）。
③ ～∃ｘ｛英雄ｘ＆（ｘ≠ｋ）＆（ｘ≠ｗ）｝。
④ 君ではなく、私でもない、英雄であるｘは存在しない。
に於いて、
①＝②＝③＝④ である。
令和０４年０７月１９日、毛利太。