「今両虎共闘」の「述語論理」。

（01）
（ⅰ）
今両虎共闘、其勢不俱生＝
今両虎共闘、其勢不（俱生）⇒
今両虎共闘、其勢（俱生）不＝
今、両虎共に闘はば、其の勢ひ、倶には生き不＝
今、二頭の虎（藺相如と廉頗）が戦うとすれば、成り行きとして、両方が、死なずに済むということは無い。
（史記、刎頚の交はり）
（02）
（ⅱ）
１　（１）∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→～（生ｘ＆生ｙ）｝　　　　　　　　　　Ａ
１　（２）　　∀ｙ｛（虎ａ＆虎ｙ＆闘ａｙ）→～（生ａ＆生ｙ）｝　　　　　　　　　　１ＵＥ
１　（３）　　　　　（虎ａ＆虎ｂ＆闘ａｂ）→～（生ａ＆生ｂ）　　　　　　　　　　　２ＵＥ
　４（４）　　　　　（虎ａ＆虎ｂ＆闘ａｂ）　　　　　　　　　　　　　　　　　　　　Ａ
１４（５）　　　　　　　　　　　　　　　　　～（生ａ＆生ｂ）　　　　　　　　　　　３４ＭＰＰ
１４（６）　　　　　　　　　　　　　　　　　～生ａ∨～生ｂ　　　　　　　　　　　　５ド・モルガンの法則
１４（７）　　　　　　　　　　　　　　　　　　生ａ→～生ｂ　　　　　　　　　　　　６含意の定義
１４（８）　　　　　　　　　　　　　　　　　～生ｂ∨～生ａ　　　　　　　　　　　　６交換法則
１４（９）　　　　　　　　　　　　　　　　　　生ｂ→～生ａ　　　　　　　　　　　　８含意の定義
１４（ア）　　　　　　　　　　　　　　　　　（生ａ→～生ｂ）＆（生ｂ→～生ａ）　　７９＆Ｉ
１　（イ）　　　　　（虎ａ＆虎ｂ＆闘ａｂ）→（生ａ→～生ｂ）＆（生ｂ→～生ａ）　　４アＣＰ
１　（ウ）　　∀ｙ｛（虎ａ＆虎ｙ＆闘ａｙ）→（生ａ→～生ｙ）＆（生ｙ→～生ａ）｝　イＵＩ
１　（エ）∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→（生ｘ→～生ｙ）＆（生ｙ→～生ｘ）｝　ウＵＩ
（ⅲ）
１　　（１）∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→（生ｘ→～生ｙ）＆（生ｙ→～生ｘ）｝　Ａ
１　　（２）　　∀ｙ｛（虎ａ＆虎ｙ＆闘ａｙ）→（生ａ→～生ｙ）＆（生ｙ→～生ａ）｝　１ＵＥ
１　　（３）　　　　　（虎ａ＆虎ｂ＆闘ａｂ）→（生ａ→～生ｂ）＆（生ｂ→～生ａ）　　２ＵＥ
　４　（４）　　　　　（虎ａ＆虎ｂ＆闘ａｂ）　　　　　　　　　　　　　　　　　　　　Ａ
１４　（５）　　　　　　　　　　　　　　　　　（生ａ→～生ｂ）＆（生ｂ→～生ａ）　　３４ＭＰＰ
１４　（６）　　　　　　　　　　　　　　　　　（生ａ→～生ｂ）　　　　　　　　　　　５＆Ｅ
　　７（７）　　　　　　　　　　　　　　　　　（生ａ＆　生ｂ）　　　　　　　　　　　Ａ
　　７（８）　　　　　　　　　　　　　　　　　　生ａ　　　　　　　　　　　　　　　　７＆Ｅ
１４７（９）　　　　　　　　　　　　　　　　　　　　　～生ｂ　　　　　　　　　　　　６８ＭＰＰ
　　７（ア）　　　　　　　　　　　　　　　　　　　　　　生ｂ　　　　　　　　　　　　７＆Ｅ
１４７（イ）　　　　　　　　　　　　　　　　　　～生ｂ＆生ｂ　　　　　　　　　　　　９ア＆Ｉ
１４　（ウ）　　　　　　　　　　　　　　　　　～（生ａ＆生ｂ）　　　　　　　　　　　７イＲＡＡ
１　　（エ）　　　　　（虎ａ＆虎ｂ＆闘ａｂ）→～（生ａ＆生ｂ）　　　　　　　　　　　４ウＣＰ
１　　（オ）　　∀ｙ｛（虎ａ＆虎ｙ＆闘ａｙ）→～（生ａ＆生ｙ）｝　　　　　　　　　　エＵＩ
１　　（カ）∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→～（生ｘ＆生ｙ）｝　　　　　　　　　　オＵＩ
従って、
（02）により、
（03）
② ∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→～（生ｘ＆生ｙ）｝。
③ ∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→（生ｘ→～生ｙ）＆（生ｙ→～生ｘ）｝。
に於いて、すなはち、
② すべてのｘとｙについて｛ｘとｙが虎であって、ｘとｙが闘へば、（ｘが生きて、ｙも生きる）といふことはない｝。
③ すべてのｘとｙについて｛ｘとｙが虎であって、ｘとｙが闘へば、（ｘが生きるならば、ｙは死に）、（ｙが生きるならば、ｘは死ぬ）｝。
に於いて、
②＝③ である。
従って、
（01）（02）（03）により、
（04）
① 今両虎共闘、其勢不俱生。
② ∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→～（生ｘ＆生ｙ）｝。
③ ∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→（生ｘ→～生ｙ）＆（生ｙ→～生ｘ）｝。
に於いて、
①＝②＝③ である。
然るに、
（05）
１　　　　（１）　生ｘ→～生ｙ　Ａ
　２　　　（２）　　　　　生ｙ　Ａ
　　３　　（３）　生ｘ　　　　　Ａ
１　３　　（４）　　　　～生ｙ　１３ＭＰＰ
１２３　　（５）　生ｙ＆～生ｙ　２４＆Ｉ
１２　　　（６）～生ｘ　　　　　３５ＲＡＡ
１　　　　（７）　生ｙ→～生ｘ　２６Ｃ生ｘ
　　　８　（８）　　　　　生ｘ　Ａ
　　　　９（９）　生ｙ　　　　　Ａ
１　　　９（ア）　　　　～生ｘ　７９ＭＰＰ
１　　８９（イ）　生ｘ＆～生ｘ　８ア＆Ｉ
１　　８　（ウ）～生ｙ　　　　　９イＲＡＡ
１　　　　（エ）　生ｘ→～生ｙ　８ウＣ生ｘ
従って、
（05）により、
（06）
③ 生ｘ→～生ｙ
④ 生ｙ→～生ｘ
に於いて、
③＝④ は「対偶」である。
従って、
（04）（05）（06）により、
（07）
① 今両虎共闘、其勢不俱生。
② ∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→～（生ｘ＆生ｙ）｝。
③ ∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→（生ｘ→～生ｙ）＆（生ｙ→～生ｘ）｝。
④ ∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→（生ｘ→～生ｙ）｝。
に於いて、
①＝②＝③＝④ である。
然るに、
（08）
（ⅳ）
１　　（１）～∀ｘ∀ｙ｛　（虎ｘ＆虎ｙ＆闘ｘｙ）→　（　生ｘ→～生ｙ）｝　Ａ
１　　（２）∃ｘ～∀ｙ｛　（虎ｘ＆虎ｙ＆闘ｘｙ）→　（　生ｘ→～生ｙ）｝　１量化子の関係
１　　（３）∃ｘ∃ｙ～｛　（虎ｘ＆虎ｙ＆闘ｘｙ）→　（　生ｘ→～生ｙ）｝　２量化子の関係
　４　（４）　　∃ｙ～｛　（虎ａ＆虎ｙ＆闘ａｙ）→　（　生ａ→～生ｙ）｝　Ａ
　　５（５）　　　　～｛　（虎ａ＆虎ｙ＆闘ａｙ）→　（　生ａ→～生ｙ）｝　Ａ
　　５（６）　　　　～｛～（虎ａ＆虎ｂ＆闘ａｂ）∨　（　生ａ→～生ｂ）｝　５含意の定義
　　５（７）　　　　～｛～（虎ａ＆虎ｂ＆闘ａｂ）∨　（～生ａ∨～生ｂ）｝　６含意の定義
　　５（８）　　　　　　　（虎ａ＆虎ｂ＆闘ａｂ）＆～（～生ａ∨～生ｂ）　　７ド・モルガンの法則
　　５（９）　　　　　　　（虎ａ＆虎ｂ＆闘ａｂ）＆　（　生ａ＆　生ｂ）　　８ド・モルガンの法則
　　５（ア）　　　∃ｙ｛　（虎ａ＆虎ｙ＆闘ａｙ）＆　（　生ａ＆　生ｙ）｝　９ＥＩ
　４　（イ）　　　∃ｙ｛　（虎ａ＆虎ｙ＆闘ａｙ）＆　（　生ａ＆　生ｙ）｝　４５アＥＥ
　４　（ウ）　∃ｘ∃ｙ｛　（虎ｘ＆虎ｙ＆闘ｘｙ）＆　（　生ｘ＆　生ｙ）｝　イＥＩ
１　　（エ）　∃ｘ∃ｙ｛　（虎ｘ＆虎ｙ＆闘ｘｙ）＆　（　生ｘ＆　生ｙ）｝　１４ウＥＥ
（ⅴ）
１　　（１）　∃ｘ∃ｙ｛　（虎ｘ＆虎ｙ＆闘ｘｙ）＆　（　生ｘ＆　生ｙ）｝　Ａ
　２　（２）　　　∃ｙ｛　（虎ａ＆虎ｙ＆闘ａｙ）＆　（　生ａ＆　生ｙ）｝　Ａ
　　３（３）　　　　　　　（虎ａ＆虎ｂ＆闘ａｂ）＆　（　生ａ＆　生ｂ）　　Ａ
　　３（４）　　　　　　　（虎ａ＆虎ｂ＆闘ａｂ）＆～（～生ａ∨～生ｂ）　　３ド・モルガンの法則
　　３（５）　　　　～｛～（虎ａ＆虎ｂ＆闘ａｂ）∨　（～生ａ∨～生ｂ）｝　４ド・モルガンの法則
　　３（６）　　　　～｛～（虎ａ＆虎ｂ＆闘ａｂ）∨　（　生ａ→～生ｂ）｝　５含意の定義
　　３（７）　　　　～｛　（虎ａ＆虎ｙ＆闘ａｙ）→　（　生ａ→～生ｙ）｝　６含意の定義
　　３（８）　　∃ｙ～｛　（虎ａ＆虎ｙ＆闘ａｙ）→　（　生ａ→～生ｙ）｝　７ＥＩ
　２　（９）　　∃ｙ～｛　（虎ａ＆虎ｙ＆闘ａｙ）→　（　生ａ→～生ｙ）｝　２３８ＥＥ
　２　（ア）∃ｘ∃ｙ～｛　（虎ｘ＆虎ｙ＆闘ｘｙ）→　（　生ｘ→～生ｙ）｝　９ＥＩ
１　　（イ）∃ｘ∃ｙ～｛　（虎ｘ＆虎ｙ＆闘ｘｙ）→　（　生ｘ→～生ｙ）｝　１２アＥＥ
１　　（ウ）∃ｘ～∀ｙ｛　（虎ｘ＆虎ｙ＆闘ｘｙ）→　（　生ｘ→～生ｙ）｝　イ量化子の関係
１　　（エ）～∀ｘ∀ｙ｛　（虎ｘ＆虎ｙ＆闘ｘｙ）→　（　生ｘ→～生ｙ）｝　ウ量化子の関係
従って、
（08）により、
（09）
④ ～∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→（生ｘ→～生ｙ）｝。
⑤ 　∃ｘ∃ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）＆（生ｘ＆　生ｙ）｝。
に於いて、
④＝⑤ である。
従って、
（09）により、
（10）
④ ～～∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→（生ｘ→～生ｙ）｝。
⑤ 　～∃ｘ∃ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）＆（生ｘ＆　生ｙ）｝。
に於いて、
④＝⑤ である。
従って、
（10）により、
（11）
「二重否定」により、
④ 　∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→（生ｘ→～生ｙ）｝。
⑤ ～∃ｘ∃ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）＆（生ｘ＆　生ｙ）｝。
⑥｛あるｘが虎であって、あるｙも虎であって、ｘとｙが闘って、ｘは生き、ｙも生きる｝ということはない。
に於いて、
④＝⑤＝⑥ である。
従って、
（01）（07）（11）により、
（12）
① 今両虎共闘、其勢不俱生。
② 今、両虎共に闘はば、其の勢ひ、倶には生きず。
③ 　∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→～（生ｘ＆生ｙ）｝。
④　 ∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→（生ｘ→～生ｙ）＆（生ｙ→～生ｘ）｝。
⑤ 　∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→（生ｘ→～生ｙ）｝。
⑥ ～∃ｘ∃ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）＆（生ｘ＆　生ｙ）｝。
に於いて、
①＝②＝③＝④＝⑤＝⑥ である。
然るに、
（12）により、
（13）
「文型」からすれば、
① 今両虎共闘、其勢不俱生。
② ∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→～（生ｘ＆生ｙ）｝。
③ すべてのｘとｙについて｛ｘとｙが虎であって、ｘとｙが闘へば、（ｘは生きて、ｙも生きる）といふことはない｝。
に於いて、
①≒②＝③ である。
然るに、
（14）
相如聞之、毎朝常称病、不欲与争列。
出望見、輒引車避匿。其舍人皆以為恥。
相如曰、夫以秦之威、相如廷叱之、辱其群臣。
相如雖駑、独畏廉将軍哉。
顧念強秦不敢加兵於趙者、徒以吾両人在也。
今両虎共闘、其勢不倶生。
吾所以為此者、先国家之急、而後私讐也。
といふ「漢文の全体」を、「述語論理式」に「翻訳する（置き換へる）」ことは、「（恐らくは）無理である」。
然るに、
（15）
問題は、自然言語文をマシン上で走らせる形のプログラムに自動変換できるかということであり、それを容易にするのに適切なプログラミング言語の選択である。ところで、論理式をプログラムとして見て行こうという立場に立つと、意味を論理的に把えようという立場と、手続き的に把えようという立場が融合してくるわけである。
（岩波講座 情報科学―７ 論理と意味、長尾真・淵一博、1983年、１６７・１６８頁）
然るに、
（16）
第五世代コンピュータ（だいごせだいコンピュータ）計画とは、1982年から1992年にかけて日本の通商産業省（現経済産業省）所管の新世代コンピュータ技術開発機構（ICOT）が進めた国家プロジェクトで、いわゆる人工知能コンピュータの開発を目的に総額540億円の国家予算が投入された（ウィキペディア）。
従って、
（01）（14）（15）（16）により、
（17）
「昭和５８年当時の、人工知能の研究者」は、例へば、
相如はこれを聞いて、朝廷に出仕すべきことがあるたびにいつも病気と偽って（欠席し、）席次を争うことを望まなかった。また外出して遠くに（廉頗の姿を）見かけると、そのたびごとに車を引き返して避け隠れた。相如の近臣たちは皆この態度を恥であると思った。（相如は家来たちに）こう言った。「そもそも秦王ほどの威力にもかかわらず、この藺相如は、秦王を（秦国の）朝廷で叱責し、その群臣をはずかしめてきたのだ。私は、いかにも愚鈍であるが、どうして廉将軍を恐れることがあろうか。（いや、恐れることはない。）思うに、強国である秦が、あえて趙に戦争を仕掛けてこないのは、我ら二人（の武勇と知恵）がそろっているからだろう。今もし両虎（廉頗と藺相如）が闘うことがあれば、その結果として、どちらも生き残るわけにはいかない。私がこのように（廉頗将軍を避けて逃げ隠れ）している訳は、国家の危急を第一とし、個人的な恨みを後まわしにしているからだ」（kintorekokugo）。
といふ「日本語」を、「コンピューター上で走らせる形のプログラム」によって、
「∀ｘ∀ｙ｛（虎ｘ＆虎ｙ＆闘ｘｙ）→～（生ｘ＆生ｙ）｝」のやうな「述語論理式」に、「自動的に翻訳」しようとしていた。
といふ、ことになる。
然るに、
（18）
第五世代コンピュータは、当初の期待に反して多くの課題を抱え、その目標を完全に達成することができませんでした。このため、第五世代コンピュータは失敗だったと評価されることが少なくありません（＞＞ＪＩＴＥＲＡ）。
従って、
（16）（17）（18）により、
（19）
第五世代コンピュータ（日本発）に関しても、
さて、統計的な手法が登場する以前、自然言語処理の技術を使う自動翻訳や質疑応答の分野では、研究者たちはＡＩに文法などの言葉のルールを覚えさせ、論理的、演繹的な手法で精度を上げようとしました。けれど、その手法は何度試みても失敗を繰り返しました（ＡＩ vs. 教科書が読めない子供たち、新井紀子、2018年、１２４頁）。
といふ、ことになる。
（20）
「もし二頭の虎が闘へば、少なくとも、一方の虎は死ぬ。」といふ「日本語」ならば、ともかく、例へば、「相如はこれを聞いて、朝廷に出仕すべきことがあるたびにいつも病気と偽って欠席し、席次を争うことを望まなかった。」といふ「日本語」を、「述語論理」に「翻訳」することは、「無理である」に、「決まってゐる」。
令和６年１１月２１日、毛利太。