「矛盾（韓非子）」の「述語論理」。

（01）
― 矛盾（韓非子）―
① 楚人有［鬻〔盾與（矛）〕者］。
② 譽（之）曰、吾盾之堅、莫（能陷）也。
③ 又譽（其矛）曰、吾矛之利、於（物）無〔不（陷）〕也。
④ 或曰、以（子之矛）、陷（子之盾）何如。
⑤ 其人弗〔能（應）〕也。
（02）
① 楚人［〔盾（矛）與〕鬻者］有。
② （之）譽曰、吾盾之堅、（能陷）莫也。
③ 又（其矛）譽曰、吾矛之利、（物）於〔（陷）不〕無也。
④ 或曰、（子之矛）以、（子之盾）陷何如。
⑤ 其人〔（應）能〕弗也。
（03）
① 楚人に［〔盾と（矛）とを〕鬻ぐ者］有り。
② （之を）譽めて曰く、吾が盾の堅きこと、（能く陷す）莫きなり。
③ 又（其の矛を）譽めて曰く、吾が矛の利なること、（物に）於いて〔（陷さ）不る〕無きなり。
④ 或曰く、（子の矛を）以て、（子の盾を）陷さば何如。
⑤ 其の人〔（應ふ）能は〕弗るなり。
ｃｆ.

（Ｗｉｋｉｂｏｏｋｓ）
然るに、
（04）
（ⅰ）
１　　　　（１）∃ｘ｛吾盾ｘ＆∀ｙ（矛ｙ＆吾矛ｙ→　　陥ｙｘ）｝　Ａ
　２　　　（２）　　　吾盾ａ＆∀ｙ（矛ｙ＆吾矛ｙ→　　陥ｙａ）　　１ＵＥ
　２　　　（３）　　　吾盾ａ　　　　　　　　　　　　　　　　　　　２＆Ｅ
　２　　　（４）　　　　　　　∀ｙ（矛ｙ＆吾矛ｙ→　　陥ｙａ）　　２＆Ｅ
　２　　　（５）　　　　　　　　　　矛ｂ＆吾矛ｂ→　　陥ｂａ　　　４ＵＥ
　　６　　（６）　　　　　　　　　　　　　吾矛ｂ　　　　　　　　　Ａ
　　　７　（７）　　　　　　　　　　矛ｂ　　　　　　　　　　　　　Ａ
　　６７　（８）　　　　　　　　　　矛ｂ＆吾矛ｂ　　　　　　　　　６７＆Ｉ
　２６７　（９）　　　　　　　　　　　　　　　　　　　陥ｂａ　　　５８ＭＰＰ
　２６　　（ア）　　　　　　　　　　　　　　　矛ｂ→　陥ｂａ　　　７９ＣＰ
　２　　　（イ）　　　　　　　　　　吾矛ｂ→（矛ｂ→　陥ｂａ）　　６アＣＰ
　　　　ウ（ウ）　　　　　　　　　　矛ｂ＆～陥ｂａ　　　　　　　　Ａ
　　　　ウ（エ）　　　　　　　～（～矛ｂ∨　陥ｂａ）　　　　　　　ウ、ド・モルガンの法則
　　　　ウ（オ）　　　　　　　　～（矛ｂ→　陥ｂａ）　　　　　　　エ含意の定義
　２　　ウ（カ）　　　　　　　　　～吾矛ｂ　　　　　　　　　　　　イオＭＴＴ
　２　　　（キ）　　　　　　　　　　矛ｂ＆～陥ｂａ→～吾矛ｂ　　　ウカＣＰ
　２　　　（ク）　　　　　　　∀ｙ（矛ｙ＆～陥ｙａ→～吾矛ｙ）　　キＵＩ
　２　　　（ケ）　　　吾盾ａ＆∀ｙ（矛ｙ＆～陥ｙａ→～吾矛ｙ）　　３ク＆Ｉ
　２　　　（コ）∃ｘ｛吾盾ｘ＆∀ｙ（矛ｙ＆～陥ｙｘ→～吾矛ｙ）｝　ケＥＩ
１　　　　（サ）∃ｘ｛吾盾ｘ＆∀ｙ（矛ｙ＆～陥ｙｘ→～吾矛ｙ）｝　１２コＥＥ
（ⅱ）
１　　　（１）∃ｘ｛吾盾ｘ＆∀ｙ（矛ｙ＆～陥ｙｘ→～吾矛ｙ）｝　Ａ
　２　　（２）　　　吾盾ａ＆∀ｙ（矛ｙ＆～陥ｙａ→～吾矛ｙ）　　Ａ
　２　　（３）　　　吾盾ａ　　　　　　　　　　　　　　　　　　　２＆Ｅ
　２　　（４）　　　　　　　∀ｙ（矛ｙ＆～陥ｙａ→～吾矛ｙ）　　２＆Ｅ
　２　　（５）　　　　　　　　　　矛ｂ＆～陥ｂａ→～吾矛ｂ　　　４ＵＥ
　　６　（６）　　　　　　　　　　　　　　　　　　　吾矛ｂ　　　Ａ
　　６　（７）　　　　　　　　　　　　　　　　　～～吾矛ｂ　　　６ＤＮ
　２６　（８）　　　　　　　　～（矛ｂ＆～陥ｂａ）　　　　　　　５７ＭＴＴ
　２６　（９）　　　　　　　　　～矛ｂ∨　陥ｂａ　　　　　　　　８ド・モルガンの法則
　２６　（ア）　　　　　　　　　　矛ｂ→　陥ｂａ　　　　　　　　９含意の定義
　２　　（イ）　　　　　吾矛ｂ→（矛ｂ→　陥ｂａ）　　　　　　　６アＣＰ
　　　ウ（ウ）　　　　　矛ｂ＆吾矛ｂ　　　　　　　　　　　　　　Ａ
　　　ウ（エ）　　　　　　　　吾矛ｂ　　　　　　　　　　　　　　ウ＆Ｅ
　２　ウ（オ）　　　　　　　　　　矛ｂ→　陥ｂａ　　　　　　　　イエＭＰＰ
　　　ウ（カ）　　　　　矛ｂ　　　　　　　　　　　　　　　　　　ウ＆Ｅ
　２　ウ（キ）　　　　　　　　　　　　　　陥ｂａ　　　　　　　　オカＭＰＰ
　２　　（ク）　　　　　矛ｂ＆吾矛ｂ→　　陥ｂａ　　　　　　　　ウキＣＰ
　２　　（ケ）　　　　　　　∀ｙ（矛ｙ＆吾矛ｙ→　　陥ｙａ）　　クＵＩ
　２　　（コ）　　　吾盾ａ＆∀ｙ（矛ｙ＆吾矛ｙ→　　陥ｙａ）　　３ケ＆Ｉ
　２　　（サ）∃ｘ｛吾盾ｘ＆∀ｙ（矛ｙ＆吾矛ｙ→　　陥ｙｘ）｝　コＥＩ
１　　　（シ）∃ｘ｛吾盾ｘ＆∀ｙ（矛ｙ＆吾矛ｙ→　　陥ｙｘ）｝　１２サＥＥ
従って、
（04）により、
（05）
① ∃ｘ｛吾盾ｘ＆∀ｙ（矛ｙ＆吾矛ｙ→　　陥ｙｘ）｝。
② ∃ｘ｛吾盾ｘ＆∀ｙ（矛ｙ＆～陥ｙｘ→～吾矛ｙ）｝。
に於いて、すなはち、
① あるｘは｛私の矛であって、すべてのｙについて（ｙが矛であって、ｙが私の矛であるならば、ｙはｘを陥す）｝。
② あるｘは｛私の矛であって、すべてのｙについて（ｙが矛であって、ｙがｘを陥さないのであれば、ｙは私の矛ではない）｝。
に於いて、
①＝② である。
然るに、
（06）
① あるｘは｛私の矛であって、すべてのｙについて（ｙが矛であって、ｙが私の矛であるならば、ｙはｘを陥す）｝。
② あるｘは｛私の矛であって、すべてのｙについて（ｙが矛であって、ｙがｘを陥さないのであれば、ｙは私の矛ではない）｝。
といふことは、
③ 私の矛は、私の盾を陥すが、私の矛以外は、私の盾を陥さない。
といふ、ことである。
従って、
（01）～（06）により、
（07）
④ 子の矛を以て、子の盾を陷さば何如。
といふ「問ひ」に対しては、例へば、
⑤ ∃ｘ｛吾盾ｘ＆∀ｙ（矛ｙ＆～陥ｙｘ→～吾矛ｙ）｝。
といふ風に「回答」すれば、「つじつま」が合った。
ということになるが、「私の学力」では、
⑤ ∃ｘ｛吾盾ｘ＆∀ｙ（矛ｙ＆～陥ｙｘ→～吾矛ｙ）｝。
を、「漢文」に「翻訳」出来ない。
然るに、
（08）
③ 唯吾矛能陥吾盾＝
③ 唯吾矛能陥（吾盾）⇒
③ 唯吾矛能（吾盾）陥矣＝
③ 唯、吾が矛のみ能く吾が盾を陥す＝
③ 私の矛は、私の盾を陥すが、私の矛以外は、私の盾を陥さない。
然るに、
（09）
（ⅰ）
１　（１）　∀ｘ｛吾矛ｘ⇔∃ｙ（吾盾ｙ＆陥ｘｙ）｝　　Ａ
１　（２）　　　　吾矛ａ⇔∃ｙ（吾盾ｙ＆陥ａｙ）　　　１ＵＥ
１　（３）　　　　吾矛ａ→∃ｙ（吾盾ｙ＆陥ａｙ）＆
　　　　　　　　　∃ｙ（吾盾ｙ＆陥ａｙ）→吾矛ａ　　　２Ｄｆ．⇔
１　（４）　　　　吾矛ａ→∃ｙ（吾盾ｙ＆陥ａｙ）　　　３＆Ｅ
１　（５）　　　　∃ｙ（吾盾ｙ＆陥ａｙ）→吾矛ａ　　　３＆Ｅ
　６（６）　　　　　　　　　　　　　　　～吾矛ａ　　　Ａ
１６（７）　　　～∃ｙ（吾盾ｙ＆陥ａｙ）　　　　　　　５６ＭＴＴ
１　（８）　　　～吾矛ａ→～∃ｙ（吾盾ｙ＆陥ａｙ）　　６７ＣＰ
１　（９）　　　　吾矛ａ→　∃ｙ（吾盾ｙ＆陥ａｙ）＆
　　　　　　　　～吾矛ａ→～∃ｙ（吾盾ｙ＆陥ａｙ）　　４８＆Ｉ
１　（ア）∀ｘ｛　吾矛ｘ→　∃ｙ（吾盾ｙ＆陥ｘｙ）＆
　　　　　　　　～吾矛ｘ→～∃ｙ（吾盾ｙ＆陥ｘｙ）｝　９ＵＩ
（ⅱ）
１　（１）∀ｘ｛　吾矛ｘ→　∃ｙ（吾盾ｙ＆陥ｘｙ）＆
　　　　　　　　～吾矛ｘ→～∃ｙ（吾盾ｙ＆陥ｘｙ）｝　Ａ
１　（２）　　　　吾矛ａ→　∃ｙ（吾盾ｙ＆陥ａｙ）＆
　　　　　　　　～吾矛ａ→～∃ｙ（吾盾ｙ＆陥ａｙ）　　１ＵＥ
１　（３）　　　　吾矛ａ→　∃ｙ（吾盾ｙ＆陥ａｙ）　　２＆Ｅ
１　（４）　　　～吾矛ａ→～∃ｙ（吾盾ｙ＆陥ａｙ）　　２＆Ｅ
　５（５）　　　　　　　　　∃ｙ（吾盾ｙ＆陥ａｙ）　　Ａ
　５（６）　　　　　　　～～∃ｙ（吾盾ｙ＆陥ａｙ）　　５ＤＮ
１５（７）　　～～吾矛ａ　　　　　　　　　　　　　　　４６ＭＴＴ
１５（８）　　　　吾矛ａ　　　　　　　　　　　　　　　７ＤＮ
１　（９）　　　　∃ｙ（吾盾ｙ＆陥ａｙ）→吾矛ａ　　　５８ＣＰ
１　（ア）　　　　吾矛ａ→∃ｙ（吾盾ｙ＆陥ａｙ）＆
　　　　　　　　　∃ｙ（吾盾ｙ＆陥ａｙ）→吾矛ａ　　　３９＆Ｉ
１　（イ）　　　　吾矛ａ⇔∃ｙ（吾盾ｙ＆陥ａｙ）　　　アＤｆ.⇔
１　（ウ）　∀ｘ｛吾矛ｘ⇔∃ｙ（吾盾ｙ＆陥ｘｙ）｝　　イＵＩ
従って、
（09）により、
（10）
① ∀ｘ｛吾矛ｘ⇔∃ｙ（吾盾ｙ＆陥ｘｙ）｝
② ∀ｘ｛吾矛ｘ→∃ｙ（吾盾ｙ＆陥ｘｙ）＆～吾矛ｘ→～∃ｙ（吾盾ｙ＆陥ｘｙ）｝
に於いて、すなはち、
① すべてのｘについて｛ｘが吾矛であるならば、そのときに限って、あるｙは（吾盾であって、ｘはｙを陥す）｝。
② すべてのｘについて｛ｘが吾矛であるならば、あるｙは（吾盾であって、ｘはｙを陥し）、ｘが吾矛でないならば、あるｙが（吾盾であって、ｘがｙを陥す）といふことはない｝。
に於いて、
①＝② である。
従って、
（07）（10）により、
（11）
③ 唯吾矛能陥吾盾（唯、吾が矛のみ能く吾が盾を陥す）。
といふ「漢文」は、
① ∀ｘ｛吾矛ｘ⇔∃ｙ（吾盾ｙ＆陥ｘｙ）｝。
といふ風に、「翻訳」出来る。
令和５年４月２３日、毛利太。