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