（01）
楚人有鬻盾与矛者。
誉之曰、
吾盾之堅、莫能陥也。
又誉其矛曰、
吾矛之利、於物無不陥也。
或曰、
以子之矛、陥子之盾、何如。
其人弗能応也。
（02）
楚人有［鬻〔盾与（矛）〕者］。
誉（之）曰、
吾盾之堅、莫（能陥）也。
又誉（其矛）曰、
吾矛之利、於（物）無〔不（陥）〕也。
或曰、
以（子之矛）、陥（子之盾）、何如。
其人弗〔能（応）〕也。
（03）
楚人に［〔盾と（矛）とを〕鬻く者］有り。
（之を）誉めて曰く、
吾が盾の堅きこと、（能く陥す）莫きなり。
又た（其の矛を誉めて）曰く、
吾矛の利なること、（物に）於いて〔（陥さ）不る〕無きなり。
或ひと曰く、
（子の矛を）以て、（子の盾を）陥さば、何如ん。
其の人〔（応ふる）能は〕ざるなり。
（04）
［一］矛盾〈韓非子〉
（通 釈）
楚の国の人に、盾と矛を売り歩くものがあった。
（その人）がこの商品をほめて「わたしの盾の堅くてじょうぶなこといったら、これを突きとおすことのできるものはない。」と言い、
またその矛をほめて「わたしの矛の鋭利なことといったら、どんな物であろうと突きとおしてしまう。」と言った。
（これを聞いた）ある人が「あなたの矛でもってあなたの盾をついたら、どういうことになりますか。」と言った。
（盾と矛を売っていた）その人は何とも返事をすることができなかった。
（旺文社、漢文の基礎、1973年、３１頁）
（05）
１ （１） ∃ｘ（盾ｘ）＆∃ｙ（矛ｙ） Ａ
２ （２） ∀ｘ｛盾ｘ→ ∃ｙ（矛ｙ＆ 陥ｙｘ）｝ Ａ
３ （３） ∀ｙ｛矛ｙ→ ∃ｘ（盾ｘ＆～陥ｙｘ）｝ Ａ
１ （４） ∃ｘ（盾ｘ） １＆Ｅ
１ （５） ∃ｙ（矛ｙ） １＆Ｅ
６ （６） 盾ａ Ａ
７ （７） 矛ｂ Ａ
２ （８） 盾ａ→ ∃ｙ（矛ｙ＆ 陥ｙａ） ２ＵＥ
３ （９） 矛ｂ→ ∃ｘ（盾ｘ＆～陥ｂｘ） ３ＵＥ
２ ５ （ア） ∃ｙ（矛ｙ＆ 陥ｙａ） ５８ＭＰＰ
３ ７ （イ） ∃ｘ（盾ｘ＆～陥ｂｘ） ７９ＭＰＰ
ウ （ウ） 矛ｂ＆ 陥ｂａ Ａ
エ （エ） 盾ａ＆～陥ｂａ Ａ
ウ （オ） 陥ｂａ ウ＆Ｅ
エ （カ） ～陥ｂａ エ＆Ｅ
ウエ （キ） ～陥ｂａ＆陥ｂａ カオ＆Ｉ
２ ５ エ （ク） ～陥ｂａ＆陥ｂａ アウキＥＥ
２３５７ （ケ） ～陥ｂａ＆陥ｂａ イエクＥＥ
１２３５ （コ） ～陥ｂａ＆陥ｂａ ５７ケＥＥ
１２３ （サ） ～陥ｂａ＆陥ｂａ ３５コＥＥ
２３ （シ）～｛∃ｘ（盾ｘ）＆∃ｙ（矛ｙ）｝ １サＲＡＡ
２３ （ス）～∃ｘ（盾ｘ）∨～∃ｙ（矛ｙ） シ、ド・モルガンの法則
２３ （セ） ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ） ス含意の定義
ソ （ソ）～∃ｘ（盾ｘ） Ａ
ソ （タ）～∃ｙ（矛ｙ）∨～∃ｘ（盾ｘ） ソ∨Ｉ
チ（チ）～∃ｙ（矛ｙ） Ａ
チ（ツ）～∃ｙ（矛ｙ）∨～∃ｘ（盾ｘ） チ∨Ｉ
２３ （テ）～∃ｙ（矛ｙ）∨～∃ｘ（盾ｘ） スソタチツ∨ＥＥ
２３ （ト） ∃ｙ（矛ｙ）→～∃ｘ（盾ｘ） テ含意の定義
２３ （ナ） ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ）＆
∃ｙ（矛ｙ）→～∃ｘ（盾ｘ） セト＆Ｉ
従って、
（05）により、
（06）
（１）ある盾ｘが存在し、ある矛ｙが存在する。 と「仮定」して、
（２）すべてのｘについて、ｘが盾ならば、あるｙは矛であって、ｙはｘを陥す。 と「仮定」して、
（３）すべてのｙについて、ｙが矛ならば、あるｘは盾であって、ｙはｘを陥さない。と「仮定」すると、
（ナ）ある盾ｘが存在するならば、ある矛ｙは存在せず、
ある矛ｙが存在するならば、ある盾ｘは存在しない。 といふ「結論」を、得ることになる。
従って、
（04）（06）により、
（07）
夫不可陷之楯與無不陷之矛、不可同世而立。
夫不〔可（陷）〕之楯與［無〔不（陷）〕之矛］、不［可〔同（世）而立〕］。
夫れ陥すべからざるの楯と、陥らざる無きの矛とは、世を同じくして立たつべからず。
といふ「主張」、すなはち、
「わたしの盾の堅くてじょうぶなこといったら、これを突きとおすことのできるものはない。」
「わたしの矛の鋭利なことといったら、どんな物であろうと突きとおしてしまう。」といった、「そのやうな盾と矛は、同時には、存在しない」。
といふ「主張」は、「述語論理（Predicate logic）」としても、「妥当（Valid）」である。
楚人有鬻盾与矛者。
誉之曰、
吾盾之堅、莫能陥也。
又誉其矛曰、
吾矛之利、於物無不陥也。
或曰、
以子之矛、陥子之盾、何如。
其人弗能応也。
（02）
楚人有［鬻〔盾与（矛）〕者］。
誉（之）曰、
吾盾之堅、莫（能陥）也。
又誉（其矛）曰、
吾矛之利、於（物）無〔不（陥）〕也。
或曰、
以（子之矛）、陥（子之盾）、何如。
其人弗〔能（応）〕也。
（03）
楚人に［〔盾と（矛）とを〕鬻く者］有り。
（之を）誉めて曰く、
吾が盾の堅きこと、（能く陥す）莫きなり。
又た（其の矛を誉めて）曰く、
吾矛の利なること、（物に）於いて〔（陥さ）不る〕無きなり。
或ひと曰く、
（子の矛を）以て、（子の盾を）陥さば、何如ん。
其の人〔（応ふる）能は〕ざるなり。
（04）
［一］矛盾〈韓非子〉
（通 釈）
楚の国の人に、盾と矛を売り歩くものがあった。
（その人）がこの商品をほめて「わたしの盾の堅くてじょうぶなこといったら、これを突きとおすことのできるものはない。」と言い、
またその矛をほめて「わたしの矛の鋭利なことといったら、どんな物であろうと突きとおしてしまう。」と言った。
（これを聞いた）ある人が「あなたの矛でもってあなたの盾をついたら、どういうことになりますか。」と言った。
（盾と矛を売っていた）その人は何とも返事をすることができなかった。
（旺文社、漢文の基礎、1973年、３１頁）
（05）
１ （１） ∃ｘ（盾ｘ）＆∃ｙ（矛ｙ） Ａ
２ （２） ∀ｘ｛盾ｘ→ ∃ｙ（矛ｙ＆ 陥ｙｘ）｝ Ａ
３ （３） ∀ｙ｛矛ｙ→ ∃ｘ（盾ｘ＆～陥ｙｘ）｝ Ａ
１ （４） ∃ｘ（盾ｘ） １＆Ｅ
１ （５） ∃ｙ（矛ｙ） １＆Ｅ
６ （６） 盾ａ Ａ
７ （７） 矛ｂ Ａ
２ （８） 盾ａ→ ∃ｙ（矛ｙ＆ 陥ｙａ） ２ＵＥ
３ （９） 矛ｂ→ ∃ｘ（盾ｘ＆～陥ｂｘ） ３ＵＥ
２ ５ （ア） ∃ｙ（矛ｙ＆ 陥ｙａ） ５８ＭＰＰ
３ ７ （イ） ∃ｘ（盾ｘ＆～陥ｂｘ） ７９ＭＰＰ
ウ （ウ） 矛ｂ＆ 陥ｂａ Ａ
エ （エ） 盾ａ＆～陥ｂａ Ａ
ウ （オ） 陥ｂａ ウ＆Ｅ
エ （カ） ～陥ｂａ エ＆Ｅ
ウエ （キ） ～陥ｂａ＆陥ｂａ カオ＆Ｉ
２ ５ エ （ク） ～陥ｂａ＆陥ｂａ アウキＥＥ
２３５７ （ケ） ～陥ｂａ＆陥ｂａ イエクＥＥ
１２３５ （コ） ～陥ｂａ＆陥ｂａ ５７ケＥＥ
１２３ （サ） ～陥ｂａ＆陥ｂａ ３５コＥＥ
２３ （シ）～｛∃ｘ（盾ｘ）＆∃ｙ（矛ｙ）｝ １サＲＡＡ
２３ （ス）～∃ｘ（盾ｘ）∨～∃ｙ（矛ｙ） シ、ド・モルガンの法則
２３ （セ） ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ） ス含意の定義
ソ （ソ）～∃ｘ（盾ｘ） Ａ
ソ （タ）～∃ｙ（矛ｙ）∨～∃ｘ（盾ｘ） ソ∨Ｉ
チ（チ）～∃ｙ（矛ｙ） Ａ
チ（ツ）～∃ｙ（矛ｙ）∨～∃ｘ（盾ｘ） チ∨Ｉ
２３ （テ）～∃ｙ（矛ｙ）∨～∃ｘ（盾ｘ） スソタチツ∨ＥＥ
２３ （ト） ∃ｙ（矛ｙ）→～∃ｘ（盾ｘ） テ含意の定義
２３ （ナ） ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ）＆
∃ｙ（矛ｙ）→～∃ｘ（盾ｘ） セト＆Ｉ
従って、
（05）により、
（06）
（１）ある盾ｘが存在し、ある矛ｙが存在する。 と「仮定」して、
（２）すべてのｘについて、ｘが盾ならば、あるｙは矛であって、ｙはｘを陥す。 と「仮定」して、
（３）すべてのｙについて、ｙが矛ならば、あるｘは盾であって、ｙはｘを陥さない。と「仮定」すると、
（ナ）ある盾ｘが存在するならば、ある矛ｙは存在せず、
ある矛ｙが存在するならば、ある盾ｘは存在しない。 といふ「結論」を、得ることになる。
従って、
（04）（06）により、
（07）
夫不可陷之楯與無不陷之矛、不可同世而立。
夫不〔可（陷）〕之楯與［無〔不（陷）〕之矛］、不［可〔同（世）而立〕］。
夫れ陥すべからざるの楯と、陥らざる無きの矛とは、世を同じくして立たつべからず。
といふ「主張」、すなはち、
「わたしの盾の堅くてじょうぶなこといったら、これを突きとおすことのできるものはない。」
「わたしの矛の鋭利なことといったら、どんな物であろうと突きとおしてしまう。」といった、「そのやうな盾と矛は、同時には、存在しない」。
といふ「主張」は、「述語論理（Predicate logic）」としても、「妥当（Valid）」である。