「百獸之見我而敢不走乎」の「述語論理」について。

―「返り点と括弧」に関しては、『「返り点」と「括弧」の関係（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）』他をお読み下さい。―「昨日の記事」の「続き」を書きます。―
従って、
（17）
③ 以吾從大夫之後。不敢不告也。
③ 吾れは大夫の後に従える以て、敢へてて告げずんばあらざるなり（論語、憲問第十四 22）。
に於ける、
③ 不敢不告也。
の場合も、
③ 必ず、告げるのだ。⇔
③ 告げないことは、決してしないのだ。
といふ、「意味」になる。
従って、
（17）
① 不敢不走。
の場合も、
① 必ず、走る。⇔
① 走らないことは、決してない。
といふ、「意味」になる。
然るに、
（18）
反語とは、表現されている内容と反対のことを意味する言い方で、多くは疑問形と同じ形であり、日本語でも、「そんなこと誰が知ろうか」と言う場合、「誰が知っているか」とたずねているのではなく、逆に「誰も知ってはいない」ということを言っているのである。けっきょく、肯定している場合は否定に、否定している場合は肯定の内容になる。
（旺文社、漢文の基礎、1973年、４５頁）。
然るに、
（19）
② 敢不走乎。
は、「反語」である。
従って、
（17）（18）（19）により、
（20）
② 敢不走乎。
は、「疑問形」ではなく「反語」であるが故に、
① 不敢不走。
② 敢不走乎。
に於いて、
①＝② である。
従って、
（17）（20）により、
（21）
② 百獸之見我而敢不走乎＝
② 百獸之見（我）而敢不（走）乎＝
② 百獸の（我を）見て敢へて（走ら）ざらんや。
に於ける、
② 敢不走乎。
といふ「反語」の場合も、
① 不敢不走。⇔
① 必ず、走る。⇔
① 走らないことは、決してない。
といふ、「意味」になる。
然るに、
（22）
１　　　　（１）　　∃ｘ｛我ｘ＆∀ｙ（獸ｙ→見ｙｘ＆　走ｙ）｝　Ａ
　２　　　（２）∃ｘ∃ｙ（我ｘ＆狐ｙ＆獸ｙ＆見ｙｘ＆～走ｙ）　　Ａ
　　３　　（３）　　　　　我ａ＆∀ｙ（獸ｙ→見ｙａ＆　走ｙ）　　１ＵＥ
　　３　　（４）　　　　　我ａ　　　　　　　　　　　　　　　　　３＆Ｅ
　　３　　（５）　　　　　　　　∀ｙ（獸ｙ→見ｙａ＆　走ｙ）　　３＆Ｅ
　　３　　（６）　　　　　　　　　　　獸ｂ→見ｂａ＆　走ｂ　　　５ＵＥ
　　　７　（７）　　∃ｙ（我ａ＆狐ｙ＆獸ｙ＆見ｙａ＆～走ｙ）　　Ａ
　　　　８（８）　　　　　我ａ＆狐ｂ＆獸ｂ＆見ｂａ＆～走ｂ　　　Ａ
　　　　８（９）　　　　　　　　狐ｂ　　　　　　　　　　　　　　８＆Ｅ
　　　　８（ア）　　　　　　　　　　　獸ｂ　　　　　　　　　　　８＆Ｅ
　　　　８（イ）　　　　　　　　　　　　　　　　　　～走ｂ　　　８＆Ｅ
　　３　８（ウ）　　　　　　　　　　　　　　見ｂａ＆　走ｂ　　　６アＭＰＰ
　　３　８（エ）　　　　　　　　　　　　　　見ｂａ　　　　　　　ウＵＥ
　　３　８（オ）　　　　　　　　　　　　　　　　　　　走ｂ　　　エＵＥ
　　３　８（カ）　　　　　　　　　　　　　　　～走ｂ＆走ｂ　　　イオ＆Ｉ
　　３　　（キ）　　　　　　　　　　～獸ｂ　　　　　　　　　　　アカＲＡＡ
　　３　８（ク）　　　　　　　狐ｂ＆～獸ｂ　　　　　　　　　　　９キ＆Ｉ
　　３　８（ケ）　　　　∃ｙ（狐ｙ＆～獸ｙ）　　　　　　　　　　クＥＩ
　　３７　（コ）　　　　∃ｙ（狐ｙ＆～獸ｙ）　　　　　　　　　　７８ケＥＥ
　２３　　（サ）　　　　∃ｙ（狐ｙ＆～獸ｙ）　　　　　　　　　　２７コＥＥ
１２　　　（シ）　　　　∃ｙ（狐ｙ＆～獸ｙ）　　　　　　　　　　１３サＥＥ
１２　　　（〃）　　　　ある狐は獸ではない。　　　　　　　　　　１３
従って、
（22）により、
（23）
（１）あるｘは我であって、すべてのｙについて、ｙが獸であるならば、ｙはｘを見て、ｙは走る。　と「仮定」し、
（２）あるｘは我であって、あるｙは狐であって獸であり、ｙはｘを見ても、ｙは走らない。　と「仮定」すると、
（３）あるｙは狐であって獸でない。　といふ「結論」を得る。
然るに、
（24）
（１）すべての獸は、私を見れば、必ず走る。然るに、
（２）ある狐は、私を見ても走らない。　　　従って、
（３）ある狐は、獸ではなく（百獸の長である）。
といふ「推論」は、「正しい」。
従って、
（21）～（24）により、
（25）
② 百獸之見我而敢不走乎＝
② 百獸之見（我）而敢不（走）乎＝
② 百獸の（我を）見て敢へて（走ら）ざらんや＝
② すべてのけだものたちは、わたし（の姿）を見れば、必ず（おそれて）逃げだすにちがいありません（旺文社訳、1973年）。
といふ「漢文訓読」は、
② ∃ｘ｛我ｘ＆∀ｙ（獸ｙ→見ｙｘ＆走ｙ）｝＝
② あるｘは我であって、すべてのｙについて、ｙが獸であるならば、ｙはｘを見て、ｙは走る。
といふ「述語論理」に、相当する。
平成３１年０４月１６日、毛利太。