「天帝使我長百獣。」の「述語論理」。

―「返り点と括弧」に関しては、『「返り点」と「括弧」の関係（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）』他をお読み下さい。
（01）
③ 天帝使我長百獣＝
③ 天帝使〔我長（百獣）〕⇒
③ 天帝〔我（百獣）長〕使＝
③ 天帝〔我をして（百獣に）長たら〕使む＝
③ 天帝 let me be the chief of all the beasts.
（02）
１　　　　（１）∃ｘ∃ｙ｛天帝ｘ＆我ｙ＆∀ｚ（獸ｚ⇔長ｘｙｚ）｝　　Ａ
　２　　　（２）　　∃ｙ｛天帝ａ＆我ｙ＆∀ｚ（獸ｚ⇔長ａｙｚ）｝　　Ａ
　　３　　（３）　　　　　天帝ａ＆我ｂ＆∀ｚ（獸ｚ⇔長ａｂｚ）　　　Ａ
　　３　　（４）　　　　　　　　　　　　∀ｚ（獸ｚ⇔長ａｂｚ）　　　３＆Ｅ
　　３　　（５）　　　　　　　　　　　　　　　獸ｃ⇔長ａｂｃ　　　　４ＵＥ
　　３　　（６）　　　　獸ｃ→長ａｂｃ＆長ａｂｃ→獸ｃ　　　　　　　５Ｄｆ.⇔
　　３　　（７）　　　　　　　　　　　　長ａｂｃ→獸ｃ　　　　　　　６＆Ｅ
　　３　　（８）　　　～獸ｃ→～長ａｂｃ　　　　　　　　　　　　　　７対偶
　　　９　（９）∃ｗ（鳥ｗ＆～獸ｗ）　　　　　　　　　　　　　　　　Ａ
　　　　ア（ア）　　　鳥ｃ＆～獸ｃ　　　　　　　　　　　　　　　　　Ａ
　　　　ア（イ）　　　鳥ｃ　　　　　　　　　　　　　　　　　　　　　ア＆Ｅ
　　　　ア（ウ）　　　　　　～獸ｃ　　　　　　　　　　　　　　　　　イ＆Ｅ
　　３　ア（エ）　　　　　　～長ａｂｃ　　　　　　　　　　　　　　　８ウＭＰＰ
　　３　ア（オ）　　　鳥ｃ＆～長ａｂｃ　　　　　　　　　　　　　　　イエ＆Ｉ
　　３　ア（カ）∃ｗ（鳥ｗ＆～長ａｂｗ）　　　　　　　　　　　　　　オＥＩ
　　３９　（キ）∃ｗ（鳥ｗ＆～長ａｂｗ）　　　　　　　　　　　　　　９アカＥＥ
　２　　　（ク）　　　　　天帝ａ＆我ｂ　　　　　　　　　　　　　　　３＆Ｅ
　２３９　（ケ）　　　　　天帝ａ＆我ｂ＆∃ｗ（鳥ｗ＆～長ａｂｗ）　　キク＆Ｉ
　２３９　（コ）　　∃ｙ｛天帝ａ＆我ｙ＆∃ｗ（鳥ｗ＆～長ａｙｗ）　　ケＥＩ
　２　９　（サ）　　∃ｙ｛天帝ａ＆我ｙ＆∃ｗ（鳥ｗ＆～長ａｙｗ）｝　２３コＥＥ
　２　９　（シ）∃ｘ∃ｙ｛天帝ｘ＆我ｙ＆∃ｗ（鳥ｗ＆～長ｘｙｗ）｝　サＥＩ
１　　９　（ス）∃ｘ∃ｙ｛天帝ｘ＆我ｙ＆∃ｗ（鳥ｗ＆～長ｘｙｗ）｝　１２シＥＥ
従って、
（02）により、
（03）
（１）あるｘは天帝であり、あるｙは我であって、すべてのｚについて、ｚが獸であるならば、その時に限って、ｘはｙを、ｚの長にする。　と「仮定」し、
（９）あるｗは鳥であって獸ではない。　と「仮定」すると、
（ス）あるｘは天帝であり、あるｙは我であって、あるｗは鳥であって獸ではないが、ｘは、ｙを、ｗの長にはしない。　といふ『結論』を得る。
（∴）我は、百獸の長であっても、鳥の長ではない。
従って、
（01）（02）（03）により、
（04）
③ 天帝使我長百獣＝
といふ「漢文訓読」は、
③ ∃ｘ∃ｙ｛天帝ｘ＆我ｙ＆∀ｚ（獸ｚ⇔長ｘｙｚ）｝＝
③ あるｘは天帝であり、あるｙは我であって、すべてのｚについて、ｚが獸であるならば、その時に限って、ｘはｙを、ｚの長にする。
といふ「述語論理」に、相当する。
従って、
（04）により、
（05）
『これ迄に示した記事』と、併せて言ふと、
（ａ）
① 虎求百獸而食之得狐。
② 狐曰子無敢食我也。
③ 天帝使我長百獸。
④ 今子食我是逆天帝命也。
⑤ 子以我爲不信吾爲子先行。
⑥ 子隨我後觀。
⑦ 百獸之見我而敢不走乎。
⑧ 虎以爲然。
⑨ 故遂與之行。
⑩ 獸見之皆走。
⑪ 虎不知獸畏己而走也。
⑫ 以爲畏弧也。
（ｂ）
① 虎百獸を求め而之を食らひ狐を得たり。
② 狐曰はく、子敢へて我を食らふこと無かれ。
③ 天帝、我をして百獸に長たら使む。
④ 今子我を食らはば、是れ天帝の命に逆らふなり。
⑤ 子我を以て信なら不と爲さば、吾子の爲に先行せむ。
⑥ 子我が後に隨ひて觀よ。
⑦ 百獸之我を見て敢へて走ら不らんや。と。
⑧ 虎以て然りと爲す。
⑨ 故に遂に之與行く。
⑩ 獸之を見て皆走る。
⑪ 虎獸の己を畏れて走るを知ら不るなり。
⑫ 以て狐を畏るると爲す也。と。
といふ「漢文（戦国策、虎の威を借かる）」に於ける、
① 虎求百獸而食之得狐。
③ 天帝使我長百獸。
⑦ 百獸之見我而敢不走乎。
といふ「漢文」は、それぞれ、
① ∃ｙ｛虎ｙ＆∀ｘ［獸ｘ→求ｙｘ＆食ｙｘ＆∃ｚ（狐ｚ＆獸ｚ＆得ｙｚ）］｝
③ ∃ｘ∃ｙ｛天帝ｘ＆我ｙ＆∀ｚ（獸ｚ⇔長ｘｙｚ）｝
⑦ ∃ｘ｛我ｘ＆∀ｙ（獸ｙ→見ｙｘ＆走ｙ）｝
といふ「述語論理」に、相当する。
然るに、
（06）
② 狐曰子無敢食我也。⇔
② 狐曰はく、子敢へて我を食らふこと無かれ。
の場合は、「命令形」である。
然るに、
（07）
「論理学」は「命題」だけを「研究の対象」とし、尚且つ、「命令形」は、「命題」ではない。
従って、
（06）（07）により、
（08）
② 狐曰子無敢食我也。⇔
② 狐曰はく、子敢へて我を食らふこと無かれ。
といふ「漢文訓読」を、「述語論理」に「翻訳」することは、出来ない。
（09）
① ∃ｙ｛虎ｙ＆∀ｘ［獸ｘ→求ｙｘ＆食ｙｘ＆∃ｚ（狐ｚ＆獸ｚ＆得ｙｚ）］｝
③ ∃ｘ∃ｙ｛天帝ｘ＆我ｙ＆∀ｚ（獸ｚ⇔長ｘｙｚ）｝
⑦ ∃ｘ｛我ｘ＆∀ｙ（獸ｙ→見ｙｘ＆走ｙ）｝
に於ける「変数（ｘ、ｙ、ｚ）」は、「個物（集合の要素）」に、対応する。
然るに、
（10）
④ 今子食我是逆天帝命也。
④ 今子我を食らはば、是れ天帝の命に逆らふなり。
に於ける、
④ 天帝命
は、「個物（集合の要素）」ではない。
従って、
（09）（10）により、
（11）
④ 今子食我是逆天帝也。⇔
④ 今子我を食らはば、是れ天帝に逆らふなり。
といふ「漢文訓読」を、「述語論理」に「翻訳」することは、出来ない。
然るに、
（12）
④ 今子食我是逆天帝命也。
④ 今子我を食らはば、是れ天帝の命に逆らふなり。
ではなく、
④ 今子食我是逆天帝也。
④ 今子我を食らはば、是れ天帝に逆らふなり。
とするならば、
④ 天帝
は、「個物（集合の要素）」である。
従って、
（09）（12）により、
（13）
④ 今子食我是逆天帝也。
④ 今子我を食らはば、是れ天帝に逆らふなり。
であるならば、
④ ∃ｘ∃ｙ∃ｚ｛子ｘ＆我ｙ＆天帝ｚ＆（食ｘｙ→逆ｘｚ）｝⇔
④ あるｘは子であって、あるｙは我であって、あるｚは天帝であって、ｘがｙを食らふならば、ｘはｚに逆らふ。
といふ「述語論理」に、「翻訳」することが、出来る。
従って、
（05）～（13）により、
（14）
いづれにせよ、
① 虎求百獸而食之得狐。
② 狐曰子無敢食我也。
③ 天帝使我長百獸。
④ 今子食我是逆天帝命也。
⑤ 子以我爲不信吾爲子先行。
⑥ 子隨我後觀。
⑦ 百獸之見我而敢不走乎。
⑧ 虎以爲然。
⑨ 故遂與之行。
⑩ 獸見之皆走。
⑪ 虎不知獸畏己而走也。
⑫ 以爲畏弧也。
といふ「漢文の全体」を、「述語論理」に「翻訳」することは、出来ない。
平成３１年０４月１７日、毛利太。