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

（01）
楚人有鬻盾与矛者。誉之曰、吾盾之堅、莫能陥也。又誉其矛曰、吾矛之利、於物無不陥也。或曰、以子之矛、陥子之盾、何如。其人弗能応也＝
楚の国の人で盾と矛とを売る者がいた。その人が自分の盾を誉めて言った。 私のこの堅い盾を突き通すことが出来るものは何も無い。 また、自分の矛を誉めて言った。 私のこの鋭い矛は、どんな物でも突き通さないものは無い。或るひとが言った。 あなたの矛で、あなたの盾を突いたらどうなるのか。 盾と矛を売る、その人は、答えることが、出来なかった（韓非子・矛盾）。
（02）
（ⅰ）
１　　　（１）∃ｘ（吾矛ｘ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ｘｙ）｝　Ａ
　２　　（２）　　　吾矛ａ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ａｙ）　　Ａ
　２　　（３）　　　吾矛ａ　　　　　　　　　　　　　　　　　　２＆Ｅ
　２　　（４）　　　　　　　∀ｙ（～吾盾ｙ＆盾ｙ→陥ａｙ）　　２＆Ｅ
　２　　（５）　　　　　　　　　　～吾盾ｂ＆盾ｂ→陥ａｂ　　　４ＵＥ
　　６　（６）　　　　　　　　　　　　　　　　　～陥ａｂ　　　Ａ
　２６　（７）　　　　　　　　～（～吾盾ｂ＆盾ｂ）　　　　　　５６ＭＴＴ
　２６　（８）　　　　　　　　　　吾盾ｂ∨～盾ｂ　　　　　　　７ド・モルガンの法則
　２６　（９）　　　　　　　　　　～盾ｂ∨吾盾ｂ　　　　　　　８交換法則
　２６　（ア）　　　　　　　　　　　盾ｂ→吾盾ｂ　　　　　　　９含意の定義
　２　　（イ）　　　　～陥ａｂ→（盾ｂ→　吾盾ｂ）　　　　　　６アＣＰ
　　　ウ（ウ）　　　　～陥ａｂ＆　盾ｂ　　　　　　　　　　　　Ａ
　　　ウ（エ）　　　　～陥ａｂ　　　　　　　　　　　　　　　　ウ＆Ｅ
　２　ウ（オ）　　　　　　　　　（盾ｂ→　吾盾ｂ）　　　　　　イエＭＰＰ
　　　ウ（カ）　　　　　　　　　　盾ｂ　　　　　　　　　　　　ウ＆Ｅ
　２　ウ（キ）　　　　　　　　　　　　　　吾盾ｂ　　　　　　　オカＭＰＰ
　２　　（ク）　　　　　　　　　　～陥ａｂ＆盾ｂ→吾盾ｂ　　　ウキＣＰ
　２　　（ケ）　　　　　　　∀ｙ（～陥ａｙ＆盾ｙ→吾盾ｙ）　　クＵＩ
　２　　（コ）　　　吾矛ａ＆∀ｙ（～陥ａｙ＆盾ｙ→吾盾ｙ）　　３ケ＆Ｉ
　２　　（サ）∃ｘ｛吾矛ｘ＆∀ｙ（～陥ｘｙ＆盾ｙ→吾盾ｙ）｝　コＥＩ
１　　　（シ）∃ｘ｛吾矛ｘ＆∀ｙ（～陥ｘｙ＆盾ｙ→吾盾ｙ）｝　１２サＥＥ
（ⅱ）
１　　　（１）∃ｘ｛吾矛ｘ＆∀ｙ（～陥ｘｙ＆盾ｙ→吾盾ｙ）｝　Ａ
　２　　（２）　　　吾矛ａ＆∀ｙ（～陥ａｙ＆盾ｙ→吾盾ｙ）　　Ａ
　２　　（３）　　　吾矛ａ　　　　　　　　　　　　　　　　　　２＆Ｅ
　２　　（４）　　　　　　　∀ｙ（～陥ａｙ＆盾ｙ→吾盾ｙ）　　２＆Ｅ
　２　　（５）　　　　　　　　　　～陥ａｂ＆盾ｂ→吾盾ｂ　　　４ＵＥ
　　６　（６）　　　　　　　　　　　　　　　　　～吾盾ｂ　　　Ａ
　２６　（７）　　　　　　　　～（～陥ａｂ＆盾ｂ）　　　　　　５６ＭＴＴ
　２６　（８）　　　　　　　　　　陥ａｂ∨～盾ｂ　　　　　　　７ド・モルガンの法則
　２６　（９）　　　　　　　　　　～盾ｂ∨陥ａｂ　　　　　　　８交換法則
　２６　（ア）　　　　　　　　　　　盾ｂ→陥ａｂ　　　　　　　９含意の定義
　２　　（イ）　　　　　～吾盾ｂ→（盾ｂ→陥ａｂ）　　　　　　６アＣＰ
　　　ウ（ウ）　　　　　～吾盾ｂ＆　盾ｂ　　　　　　　　　　　Ａ
　　　ウ（エ）　　　　　～吾盾ｂ　　　　　　　　　　　　　　　ウ＆Ｅ
　２　ウ（オ）　　　　　　　　　　（盾ｂ→陥ａｂ）　　　　　　イエＭＰＰ
　　　ウ（カ）　　　　　　　　　　　盾ｂ　　　　　　　　　　　ウ＆Ｉ
　２　ウ（キ）　　　　　　　　　　　　　　　　　　陥ａｂ　　　オカＭＰＰ
　２　　（ク）　　　　　　　　　　～吾盾ｂ＆盾ｂ→陥ａｂ　　　ウキＣＰ
　２　　（ケ）　　　　　　　∀ｙ（～吾盾ｙ＆盾ｙ→陥ａｙ）　　クＵＩ
　２　　（コ）　　　吾矛ａ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ａｙ）　　２ケ＆Ｉ
　２　　（シ）∃ｘ（吾矛ｘ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ｘｙ）｝　コＥＩ
１　　　（ス）∃ｘ（吾矛ｘ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ｘｙ）｝　１２シＥＥ
従って、
（02）により、
（03）
① ∃ｘ（吾矛ｘ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ｘｙ）｝
② ∃ｘ｛吾矛ｘ＆∀ｙ（～陥ｘｙ＆盾ｙ→吾盾ｙ）｝
に於いて、すなはち、
① あるｘは吾の矛であって、すべてのｙについて、ｙが吾の盾以外の盾であるならば、ｘはｙを陥す。
② あるｘは吾の矛であって、すべてのｙについて、ｘがｙを陥すことがなく、ｙが盾であるならば、ｙは吾の盾である。
に於いて、
①＝② である。
従って、
（03）により、
（04）
① 私の矛は、私の盾以外の、すべての盾を陥す。
② 私の矛が陥さない盾は、私の盾だけである。
に於いて、
①＝② である。
然るに、
（05）
① 私の矛は、私の盾を含む、すべての盾を陥す。
② 私の盾は、私の矛を含む、すべて矛を陥さない。
といふことは、「矛盾」であるが、
（06）
① 私の矛は、私の盾以外の、すべての盾を陥す。
② 私の矛が陥さない盾は、私の盾だけである。
といふことは、「矛盾」ではない。
従って、
（06）により、
（07）
吾矛之利、於非吾盾之盾無不陥也＝
吾矛之利、於〔非（吾盾）之盾〕無〔不（陥）〕也⇒
吾矛之利、〔（吾盾）非之盾〕於〔（陥）不〕無也＝
吾が矛の利なること、〔（吾が盾に）非さるの盾〕於いて〔（陥さ）不る〕無きなり＝
私のこの鋭い矛は、〔（私の盾）以外の盾に〕於いて〔（陥さ）ないことが〕無いのである。
であれば、「矛盾」しない。
（08）
因みに、
① 私のこの鋭い矛は、私の盾以外の盾において、貫さないことが無いのである（原文）。
② 我那尖銳的戟不會穿透我的盾牌以外的盾牌（グーグル翻訳）。
であるが、「私には、②が、全く、理解できない。」
（09）
① 吾矛之利、於非吾盾之盾無不陥也。
② 我那尖銳的戟不會穿透我的盾牌以外的盾牌。
といふ場合が、さうであるやうに、「漢文と、中国語は、完全に別物である」に違ひない。
令和０３年０３月１６日、毛利太。