「師説（韓愈）」の「述語論理式」。

（01）
１（１）弟子不必不如師（韓愈・師説）。　            Ａ
１（〃）弟子は必ずしも師に如か不んばあら不。        Ａ
１（〃）～∀ｘ｛弟子ｘ→∃ｙ（師ｙｘ＆～如ｘｙ）｝　Ａ
１（〃）すべてのｘについて、ｘが弟子であるならば、あるｙはｘの師であって、ｘはｙに及ばない。といふわけではない。　Ａ
然るに、
（02）
（ａ）
１　　（１）　～∀ｘ　Ｆｘ　　Ａ
　２　（２）　～∃ｘ～Ｆｘ　　Ａ
　　３（３）　　　　～Ｆａ　　Ａ
　　３（４）　　∃ｘ～Ｆｘ　　３ＥＩ
　２３（５）　～∃ｘ～Ｆｘ＆
　　　　　　　　∃ｘ～Ｆｘ　　２４＆Ｉ
　２　（６）　　　～～Ｆａ　　３５ＲＡＡ
　２　（７）　　　　　Ｆａ　　６ＤＮ
　２　（８）　　∀ｘ　Ｆｘ　　７ＵＩ
１２　（９）　～∀ｘ　Ｆｘ＆
　　　　　　　　∀ｘ　Ｆｘ　　１８＆Ｉ
１　　（ア）～～∃ｘ～Ｆｘ　　２９ＲＡＡ
１　　（イ）　　∃ｘ～Ｆｘ　　アＤＮ
　 （ｂ）
１　　（１）　∃ｘ～Ｆｘ　Ａ
　２　（２）　∀ｘ　Ｆｘ　Ａ
　　３（３）　　　～Ｆａ　Ａ（１の代表的選言項）
　２　（４）　　　　Ｆａ　２ＵＥ
　２３（５）～Ｆａ＆Ｆａ　３４＆Ｉ
　　３（６）～∀ｘ　Ｆｘ　３５ＲＡＡ
１　　（７）～∀ｘ　Ｆｘ　１３６ＥＥ
１２　（８）　∀ｘ　Ｆｘ＆
　　　　　　～∀ｘ　Ｆｘ　２７＆Ｉ
１　　（９）～∀ｘ　Ｆｘ　１８ＲＡＡ
従って、
（02）により、
（03）
（ａ）～∀ｘ　Ｆｘ
（ｂ）　∃ｘ～Ｆｘ
に於いて、
（ａ）＝（ｂ） である。
従って、
（03）により、
（04）
（ａ）～∀ｘ｛弟子ｘ→∃ｙ（師ｙｘ＆～如ｘｙ）｝
（ｂ）∃ｘ～｛弟子ｘ→∃ｙ（師ｙｘ＆～如ｘｙ）｝
に於いて、
（ａ）＝（ｂ） である。
従って、
（01）（04）により、
（05）
１（１）弟子不必不如師（韓愈・師説）。　            Ａ
１（〃）弟子は必ずしも師に如か不んばあら不。　　　  Ａ
１（〃）～∀ｘ｛弟子ｘ→∃ｙ（師ｙｘ＆～如ｘｙ）｝　Ａ
１（２）∃ｘ～｛弟子ｘ→∃ｙ（師ｙｘ＆～如ｘｙ）｝　１量化子の関係
（06）
（ｃ）
　　　　１　（１）　　Ｐ→　Ｑ　Ａ
　　　　　２（２）　　Ｐ＆～Ｑ　Ａ
　　　　　２（３）　　Ｐ　　　　２＆Ｅ
　　　　　２（４）　　　　～Ｑ　２＆Ｅ
　　　　１２（５）　　　　　Ｑ　１３ＭＰＰ
　　　　１２（６）　　～Ｑ＆Ｑ　４５＆Ｉ
　　　　１　（７）　　　～～Ｑ　４６ＲＡＡ
　　　　１　（８）　　　　　Ｑ　７ＤＮ
　　　　１　（９）　　～Ｐ∨Ｑ　８∨Ｉ
（ｄ）
１　　　　　（１）　～Ｐ∨　Ｑ　　　Ａ
　２　　　　（２）　　Ｐ＆～Ｑ　　　Ａ
　　３　　　（３）　～Ｐ　　　　　　Ａ
　２　　　　（４）　　Ｐ　　　　　　２＆Ｅ
　２３　　　（５）　～Ｐ＆　Ｐ　　　３４＆Ｉ
　　３　　　（６）～（Ｐ＆～Ｑ）　　２５ＲＡＡ
　　　７　　（７）　　　　　Ｑ　　　Ａ
　２　　　　（８）　　　　～Ｑ　　　Ａ
　２　７　　（９）　　Ｑ＆～Ｑ　　　７８＆Ｉ
　　　７　　（ア）～（Ｐ＆～Ｑ）　　２９ＲＡＡ
１　　　　　（イ）～（Ｐ＆～Ｑ）　　１３６７ア∨Ｅ
　　　　ウ　（ウ）　　Ｐ　　　　　　Ａ
　　　　　エ（エ）　　　　～Ｑ　　　Ａ
　　　　ウエ（オ）　　Ｐ＆～Ｑ　　　エオ＆Ｉ
１　　　ウエ（カ）～（Ｐ＆～Ｑ）＆
　　　　　　　　　　（Ｐ＆～Ｑ）　　イオ＆Ｉ
１　　　ウ　（キ）　　　～～Ｑ　　　７カＲＡＡ
１　　　ウ　（ク）　　　　　Ｑ　　　キＤＮ
１　　　　　（ケ）　　Ｐ→　Ｑ　　　ウク
従って、
（06）により、
（07）
（ｃ）　Ｐ→Ｑ
（ｄ）～Ｐ∨Ｑ
に於いて、
（ｃ）＝（ｄ） である。
従って、
（07）により、
（08）
（ｃ）　弟子ｘ→∃ｙ（師ｙｘ＆～如ｘｙ）
（ｄ）～弟子ｘ∨∃ｙ（師ｙｘ＆～如ｘｙ）
に於いて、
（ｃ）＝（ｄ） である。
従って、
（05）（08）により、
（09）
１（１）弟子不必不如師（韓愈・師説）。　              Ａ
１（〃）弟子は必ずしも師に如か不んばあら不。          Ａ
１（〃）～∀ｘ｛弟子ｘ→　∃ｙ（師ｙｘ＆～如ｘｙ）｝　Ａ
１（２）∃ｘ～｛弟子ｘ→　∃ｙ（師ｙｘ＆～如ｘｙ）｝　１量化子の関係
１（３）∃ｘ～｛～弟子ｘ∨∃ｙ（師ｙｘ＆～如ｘｙ）｝　２含意の定義
従って、
（09）により、
（10）
１　　（１）弟子不必不如師（韓愈・師説）。　              Ａ
１　　（〃）弟子は必ずしも師に如か不んばあら不。          Ａ
１　　（〃）～∀ｘ｛弟子ｘ→　∃ｙ（師ｙｘ＆～如ｘｙ）｝　Ａ
１　　（２）∃ｘ～｛弟子ｘ→　∃ｙ（師ｙｘ＆～如ｘｙ）｝　１量化子の関係
１　　（３）∃ｘ～｛～弟子ｘ∨∃ｙ（師ｙｘ＆～如ｘｙ）｝　２含意の定義
　４　（４）　　～｛～弟子ａ∨∃ｙ（師ｙａ＆～如ａｙ）｝　Ａ
　　５（５）　　～｛～弟子ａ∨　　（師ｂａ＆～如ａｂ）｝　Ａ
然るに、
（11）
（ｅ）
１　　（１）～（～Ｐ∨Ｑ）　　Ａ
　２　（２）　　～Ｐ　　　　　Ａ
　２　（３）　　～Ｐ∨Ｑ　　　２∨Ｉ
１２　（４）～（～Ｐ∨Ｑ）＆
　　　　　　　（～Ｐ∨Ｑ）　　１３＆Ｉ
１　　（５）　～～Ｐ　　　　　２４ＲＡＡ
１　　（６）　　　Ｐ　　　　　５ＤＮ
　　７（７）　　　　　Ｑ　　　Ａ
　　７（８）　　～Ｐ∨Ｑ　　　７∨Ｉ
１　７（９）～（～Ｐ∨Ｑ）＆
　　　　　　　（～Ｐ∨Ｑ）　　１８＆Ｉ
１　　（ア）　　　　～Ｑ　　　７９ＲＡＡ
１　　（イ）　　Ｐ＆～Ｑ　　　６ア＆Ｉ
（ｆ）
１　　　（１）　　　Ｐ＆～Ｑ　　　Ａ
　２　　（２）　　～Ｐ∨　Ｑ　　　Ａ
　　３　（３）　　～Ｐ　　　　　　Ａ
１　　　（４）　　　Ｐ　　　　　　１＆Ｅ
１　３　（５）　　～Ｐ＆　Ｐ　　　３４＆Ｉ
　　３　（６）　～（Ｐ＆～Ｑ）　　１５ＲＡＡ
　　　７（７）　　　　　　Ｑ　　　Ａ
１　　　（８）　　　　　～Ｑ　　　１＆Ｅ
１　　７（９）　　　Ｑ＆～Ｑ　　　７８＆Ｉ　
　　　７（ア）　～（Ｐ＆～Ｑ）　　１９ＲＡＡ
　２　　（イ）　～（Ｐ＆～Ｑ）　　２３６７ア∨Ｅ
１２　　（ウ）　　（Ｐ＆～Ｑ）＆
　　　　　　　　～（Ｐ＆～Ｑ）　　１イ＆Ｉ
１　　　（エ）～（～Ｐ∨　Ｑ）　　２ウＲＡＡ
従って、
（11）により、
（12）
（ｅ）～（～Ｐ∨　Ｑ）
（ｆ）　　Ｐ　＆～Ｑ
に於いて、
（ｅ）＝（ｆ） である。
従って、
（12）により、
（13）
（ｅ）～｛～弟子ａ∨　（師ｂａ＆～如ａｂ）｝
（ｆ）　　　弟子ａ＆～（師ｂａ＆～如ａｂ）
に於いて、
（ｅ）＝（ｆ） である。
従って、
（10）（13）により、
（14）
１　　（１）弟子不必不如師（韓愈・師説）。　              Ａ
１　　（〃）弟子は必ずしも師に如か不んばあら不。          Ａ
１　　（〃）～∀ｘ｛弟子ｘ→　∃ｙ（師ｙｘ＆～如ｘｙ）｝　Ａ
１　　（２）∃ｘ～｛弟子ｘ→　∃ｙ（師ｙｘ＆～如ｘｙ）｝　１量化子の関係
１　　（３）∃ｘ～｛～弟子ｘ∨∃ｙ（師ｙｘ＆～如ｘｙ）｝　２含意の定義
　４　（４）　　～｛～弟子ａ∨∃ｙ（師ｙａ＆～如ａｙ）｝　Ａ
　　５（５）　　～｛～弟子ａ∨　　（師ｂａ＆～如ａｂ）｝　Ａ
　　５（６）　　　　　弟子ａ＆　～（師ｂａ＆～如ａｂ）　　５ド・モルガンの法則
　　５（７）　　　　　　　　　　～（師ｂａ＆～如ａｂ）　　６＆Ｅ
然るに、
（15）
（ｇ）
１　　（１）～（師ｂａ＆～如ａｂ）　　Ａ
　２　（２）　　師ｂａ　　　　　　　　Ａ
　　３（３）　　　　　　～如ａｂ　　  Ａ
　２３（４）　　師ｂａ＆～如ａｂ　　　２３＆Ｉ
１２３（５）～（師ｂａ＆～如ａｂ）＆
　　　　　　　（師ｂａ＆～如ａｂ）　　１４＆Ｉ
１２　（６）　　　　　～～如ａｂ　　　３５ＲＡＡ
１２　（７）　　　　　　　如ａｂ　　　６ＤＮ
１　　（８）　　師ｂａ→　如ａｂ　　　２７ＣＰ
（ｈ）
１　　（１）　　師ｂａ→　如ａｂ　　　Ａ
　２　（２）　　師ｂａ＆～如ａｂ　　　Ａ
　２　（３）　　師ｂａ　　　　　　　　２＆Ｅ
１２　（４）　　　　　　　如ａｂ　　　１３ＭＰＰ
　２　（５）　　　　　　～如ａｂ　　　２＆Ｅ
１２　（６）　　如ａｂ＆～如ａｂ　　　４５＆Ｉ
１　　（７）～（師ｂａ＆～如ａｂ）　　２６ＲＡＡ
従って、
（15）により、
（16）
（ｇ）～（師ｂａ＆～如ａｂ）
（ｈ）　　師ｂａ→　如ａｂ
に於いて、
（ｇ）＝（ｈ） である。
従って、
（14）（16）により、
（17）
１　（１）弟子不必不如師（韓愈・師説）。　              Ａ
１　（〃）弟子は必ずしも師に如か不んばあら不。          Ａ
１　（〃）～∀ｘ｛弟子ｘ→　∃ｙ（師ｙｘ＆～如ｘｙ）｝　Ａ
１　（２）∃ｘ～｛弟子ｘ→　∃ｙ（師ｙｘ＆～如ｘｙ）｝　１量化子の関係
１　（３）∃ｘ～｛～弟子ｘ∨∃ｙ（師ｙｘ＆～如ｘｙ）｝　２含意の定義
　４（４）　　～｛～弟子ａ∨∃ｙ（師ｙａ＆～如ａｙ）｝　Ａ
　４（５）　　　　弟子ａ＆～∃ｙ（師ｙａ＆～如ａｙ）　　４ド・モルガンの法則
　４（６）　　　　弟子ａ　　　　　　　　　　　　　　　　５＆Ｅ
　４（７）　　　　　　　　～∃ｙ（師ｙａ＆～如ａｙ）　　５＆Ｅ
　４（８）　　　　　　　　∀ｙ～（師ｙａ＆～如ａｙ）　　６量化子の関係
　４（９）　　　　　　　　　　～（師ｂａ＆～如ａｂ）　　７ＵＥ
　４（ア）　　　　　　　　　　　～師ｂａ∨　如ａｂ　　　８ド・モルガンの法則
　４（イ）　　　　　　　　　　　　師ｂａ→　如ａｂ　　　９含意の定義
然るに、
（17）により、
（18）
１　（１）弟子不必不如師（韓愈・師説）。　              Ａ
１　（〃）弟子は必ずしも師に如か不んばあら不。          Ａ
１　（〃）～∀ｘ｛弟子ｘ→　∃ｙ（師ｙｘ＆～如ｘｙ）｝　Ａ
１　（２）∃ｘ～｛弟子ｘ→　∃ｙ（師ｙｘ＆～如ｘｙ）｝　１量化子の関係
１　（３）∃ｘ～｛～弟子ｘ∨∃ｙ（師ｙｘ＆～如ｘｙ）｝　２含意の定義
　４（４）　　～｛～弟子ａ∨∃ｙ（師ｙａ＆～如ａｙ）｝　Ａ
　４（５）　　　　弟子ａ＆～∃ｙ（師ｙａ＆～如ａｙ）　　４ド・モルガンの法則
　４（６）　　　　弟子ａ　　　　　　　　　　　　　　　　５＆Ｅ
　４（７）　　　　　　　　～∃ｙ（師ｙａ＆～如ａｙ）　　５＆Ｅ
　４（８）　　　　　　　　∀ｙ～（師ｙａ＆～如ａｙ）　　６量化子の関係
　４（９）　　　　　　　　　　～（師ｂａ＆～如ａｂ）　　７ＵＥ
　４（ア）　　　　　　　　　　　～師ｂａ∨　如ａｂ　　　８ド・モルガンの法則
　４（イ）　　　　　　　　　　　　師ｂａ→　如ａｂ　　　９含意の定義
　４（ウ）　　　　　　　　　∃ｙ（師ｙａ→　如ａｙ）　　イＥＩ
　４（エ）　　　　弟子ａ＆　∃ｙ（師ｙａ→　如ａｙ）　　５ウ＆Ｉ
　４（オ）　∃ｘ｛弟子ｘ＆　∃ｙ（師ｙｘ→　如ｘｙ）｝　エＥＩ
１　（カ）　∃ｘ｛弟子ｘ＆　∃ｙ（師ｙｘ→　如ｘｙ）｝　３４オＥＥ
　 １　（〃）あるｘは弟子であり、あるｙがｘの師であるならば、ｘはｙに及んでゐる。
１　（〃）師に劣らない弟子が存在する。
然るに、
（19）
弟子は必ずしも師に及ばないというわけではなく（、弟子の方がすぐれている場合もある）。
（三省堂、明解古典学習シリーズ２０、1973年、５６頁改）
従って、
（01）～（19）により、
（20）
① 弟子不必不如師＝
① 弟子不［必不〔如（師）〕］⇒
① 弟子［必〔（師）如〕不］不＝
① 弟子は［必ずしも〔（師に）如か〕ずんば］あらず。
といふ「漢文訓読」は、
② ～∀ｘ｛弟子ｘ→∃ｙ（師ｙｘ＆～如ｘｙ）｝⇒
② ∀ｘ｛ｘ弟子→∃ｙ（ｙｘ師＆ｘｙ如～）｝～＝
② すべてのｘについて、ｘが弟子であるならば、あるｙはｘの師であって、ｘはｙに及ばない。といふわけではない。
といふ「述語論理訓読」に、対応する。
従って、
（21）
② ～∀ｘ｛弟子ｘ→∃ｙ（師ｙｘ＆～如ｘｙ）｝⇒
② ∀ｘ｛ｘ弟子→∃ｙ（ｙｘ師＆ｘｙ如～）｝～＝
② すべてのｘについて、ｘが弟子であるならば、あるｙはｘの師であって、ｘはｙに及ばない。といふわけではない。
といふ「論理式訓読」を、「是」とするのであれば、
① 弟子不必不如師＝
① 弟子不［必不〔如（師）〕］⇒
① 弟子［必〔（師）如〕不］不＝
① 弟子は［必ずしも〔（師に）如か〕ずんば］あらず。
といふ「論理式訓読」も、「是」とすべきである。
然るに、
（22）
江戸時代には、荻生徂来（おぎゅう・そらい、1666-1728）が、漢文訓読法を排斥して、漢詩文は唐音（中国語音）で音読すべきだと主張しました。荻生徂来は、長崎通詞であった岡島冠山（おかじま・かんざん、1674-1728）から唐話（とうわ＝中国語）を学んでいました。漢詩文を唐音で読むという徂来の主張は強固なもので、彼の古文辞学（擬古的な漢文）とともに一世を風靡する大流行となりました。ただし、当時のいわゆる唐音というのは、中国南方の方言音で、現在の北京語を基礎とした普通話（pŭ tōng huà）とはかなり違うものでした。当時、わが国は清国と正式の国交はなく、貿易は長崎において清国商人に信牌（貿易許可証）を与え、私貿易という形で許可していました。そのため、長崎で用いられる中国語も、清国商人が用いる南方方言だったのです（Ｗｅｂサイト：日本漢文の世界）。
（23）
しかし、倉石の鋭さは、なによりもまず先にも触れた「漢文訓読塩鮭論」に余すところなく現われていると言える。それはすなわち次のような一節である。
論語でも孟子でも、訓読をしないと気分が出ないといふ人もあるが、これは孔子や孟子に日本人になってもらはないと気が済まないのと同様で、漢籍が国書であり、漢文が国語であった時代の遺風である。支那の書物が、好い国語に翻訳されることは、もっとも望ましいことであるが、翻訳された結果は、多かれ少なかれその書物の持ち味を棄てることは免れない、立体的なものが平面化することが想像される。持ち味を棄て、平面化したものに慣れると、その方が好くなるのは、恐るべき麻痺であって、いはば信州に育ったものが、生きのよい魚よりも、塩鮭をうまいと思ふ様なものである（「訓読」論 東アジア漢文世界と日本語、中村春作・市來津由彦・田尻祐一郎・前田勉 共編、2008年、６０頁）。
従って、
（21）（22）（23）により、
（24）
荻生徂徠先生、並びに、倉石武四郎先生は、
② ～∀ｘ｛弟子ｘ→∃ｙ（師ｙｘ＆～如ｘｙ）｝⇒
② ∀ｘ｛ｘ弟子→∃ｙ（ｙｘ師＆ｘｙ如～）｝～＝
② すべてのｘについて、ｘが弟子であるならば、あるｙはｘの師であって、ｘはｙに及ばない。といふわけではない。
といふ「述語論理訓読」は、兎も角、
① 弟子不必不如師＝
① 弟子不［必不〔如（師）〕］⇒
① 弟子［必〔（師）如〕不］不＝
① 弟子は［必ずしも〔（師に）如か〕ずんば］あらず。
といふ「漢文訓読」を、「是認」しない。
平成３１年０３月２７日、毛利太。