「今両虎共闘不俱生」の「述語論理」（Ⅳ）。

（01）
今両虎共闘、其勢不俱生＝
今両虎共闘、其勢不（俱生）⇒
今両虎共闘、其勢（俱生）不＝
今両虎共に闘はば、其の勢ひ（俱には生）ず＝
もし、二頭の虎が闘へば、成り行きとして、両方が、ともに生きることはない（どちらかが死ぬ）。
ｃｆ.
今ここで我々両雄が争ったならば、ことの成りゆきから二人は両立できないだろう。
（史記「刎頸之交」、日栄社 要説 十八史略・史記、1970年、１５５頁）
然るに、
（02）
（ⅰ）
１　　　（１）∀ｘ∀ｙ｛虎ｘ＆虎ｙ＆闘ｘｙ→～（生ｘ＆生ｙ）｝　Ａ
１　　　（２）　　∀ｙ｛虎ａ＆虎ｙ＆闘ａｙ→～（生ａ＆生ｙ）｝　１ＵＥ
１　　　（３）　　　　　虎ａ＆虎ｂ＆闘ａｂ→～（生ａ＆生ｂ）　　２ＵＥ
　４　　（４）　　　　　虎ａ＆虎ｂ　　　　　　　　　　　　　　　Ａ
　　５　（５）　　　　　　　　　　　闘ａｂ　　　　　　　　　　　Ａ
　４５　（６）　　　　　虎ａ＆虎ｂ＆闘ａｂ　　　　　　　　　　　４５＆Ｉ
１４５　（７）　　　　　　　　　　　　　　　～（生ａ＆生ｂ）　　３６ＭＰＰ
１４５　（８）　　　　　　　　　　　　　　　～生ａ∨～生ｂ　　　７ド・モルガンの法則
１４５　（９）　　　　　　　　　　　　　　　　生ａ→～生ｂ　　　８含意の定義
１４　　（ア）　　　　　　　　　　　闘ａｂ→（生ａ→～生ｂ）　　５９ＣＰ
　　　イ（イ）　　　　　　　　　　　闘ａｂ＆　生ａ　　　　　　　Ａ
　　　イ（ウ）　　　　　　　　　　　闘ａｂ　　　　　　　　　　　イ＆Ｅ
１４　イ（エ）　　　　　　　　　　　　　　　　生ａ→～生ｂ　　　アウＭＰＰ
　　　イ（オ）　　　　　　　　　　　　　　　　生ａ　　　　　　　イ＆Ｅ
１４　イ（カ）　　　　　　　　　　　　　　　　　　　～生ｂ　　　エオＭＰＰ
１４　　（キ）　　　　　　　　　　　闘ａｂ＆生ａ→　～生ｂ　　　イカＣＰ
１　　　（ク）　　　　　虎ａ＆虎ｂ→（闘ａｂ＆生ａ→～生ｂ）　　４キＣＰ
１　　　（ケ）　　∀ｙ｛虎ａ＆虎ｙ→（闘ａｙ＆生ａ→～生ｙ）｝　クＵＩ
１　　　（コ）∀ｘ∀ｙ｛虎ｘ＆虎ｙ→（闘ｘｙ＆生ｘ→～生ｙ）｝　ケＵＩ
（ⅱ）
１　　　（１）∀ｘ∀ｙ｛虎ｘ＆虎ｙ→（闘ｘｙ＆生ｘ→～生ｙ）｝　Ａ
１　　　（２）　　∀ｙ｛虎ａ＆虎ｙ→（闘ａｙ＆生ａ→～生ｙ）｝　１ＵＥ
１　　　（３）　　　　　虎ａ＆虎ｂ→（闘ａｂ＆生ａ→～生ｂ）　　２ＵＥ
　４　　（４）　　　　　虎ａ＆虎ｂ＆闘ａｂ　　　　　　　　　　　Ａ
　４　　（５）　　　　　虎ａ＆虎ｂ　　　　　　　　　　　　　　　４＆Ｅ
１４　　（６）　　　　　　　　　　　（闘ａｂ＆生ａ→～生ｂ）　　３５ＭＰＰ
　４　　（７）　　　　　　　　　　　　闘ａｂ　　　　　　　　　　４＆Ｅ
　　８　（８）　　　　　　　　　　　　　　　　生ａ　　　　　　　Ａ
　４８　（９）　　　　　　　　　　　　闘ａｂ＆生ａ　　　　　　　７８＆Ｉ
１４８　（ア）　　　　　　　　　　　　　　　　　　　～生ｂ　　　６９ＭＰＰ
１４　　（イ）　　　　　　　　　　　　　　　　生ａ→～生ｂ　　　８アＣＰ
１４　　（ウ）　　　　　　　　　　　　　　　～生ａ∨～生ｂ　　　イ含意の定義
１４　　（エ）　　　　　　　　　　　　　　　～（生ａ＆生ｂ）　　ウ、ド・モルガンの法則
１　　　（オ）　　　　　虎ａ＆虎ｂ＆闘ａｂ→～（生ａ＆生ｂ）　　４エＣＰ
１　　　（カ）　　∀ｙ｛虎ａ＆虎ｙ＆闘ａｙ→～（生ａ＆生ｙ）｝　２ＵＩ
１　　　（キ）∀ｘ∀ｙ｛虎ｘ＆虎ｙ＆闘ｘｙ→～（生ｘ＆生ｙ）｝　カＵＩ
従って、
（02）により、
（03）
① ∀ｘ∀ｙ｛虎ｘ＆虎ｙ＆闘ｘｙ→～（生ｘ＆生ｙ）｝
② ∀ｘ∀ｙ｛虎ｘ＆虎ｙ→（闘ｘｙ＆生ｘ→～生ｙ）｝
③ ∀ｘ∀ｙ｛虎ｘ＆虎ｙ→（闘ｙｘ＆生ｙ→～生ｘ）｝
に於いて、すなはち、
① すべてのｘとｙについて｛ｘが虎でｙも虎で、ｘとｙが闘ふならば、（ｘが生きて、その上、ｙも生きる）といふことは無い｝。
② すべてのｘとｙについて｛ｘが虎でｙも虎ならば、（ｘとｙが闘ってｘが生きるのであれば、ｙは死ぬ）｝。
③ すべてのｘとｙについて｛ｘが虎でｙも虎ならば、（ｙとｘが闘ってｙが生きるのであれば、ｘは死ぬ）｝。
に於いて、
①＝②＝③ であるものの、
この「等式」であれば、ＡＩにも、「理解（？）」出来るかも知れない。
然るに、
（04）
この場合に、
虎＝相如
虎＝廉将軍
であることも、ＡＩにも、「理解（？）」出来かも知れない。
然るに、
（05）
相如曰、
「夫以秦王之威、而相如廷叱之、辱其群臣。
相如雖駑、独畏廉将軍哉。
顧吾念之、彊秦之所以不敢加兵於趙者、徒以吾両人在也。
今両虎共闘、其勢不俱生。
吾所以為此者、以先国家之急、而後私讎也。」
の「全体」を、従って、
相如曰はく、
「夫れ秦王の威を以てしても、相如之を廷叱して、其の群臣を辱む。
相如駑なりと雖も、独り廉将軍を畏れんや。
顧だ吾之を念ふに、彊秦の敢へて兵を趙に加へざる所以の者は、徒だ吾が両人の在るを以てなり。
今両虎共に闘はば、其の勢ひ俱には生きざらん。
の「全体」を、ＡＩが、「述語論理」に「翻訳」することは、恐らく『無理』である。
（06）
例へば、
其勢不俱生。
で使はれてゐる、
其の勢ひ＝その成り行き。
などといふ「言葉」を、「述語論理」に翻訳することは、固より、「不可能」に決まってゐます。
（07）
皆さんが家庭で使っているコンピュータ、最近よく耳にする「人工知能」という言葉。歴史を紐解けば、推論の正しさを研究する論理学がなければ、コンピュータも人工知能研究もなかったかもしれません（佐野 勝彦　北海道大学大学院文学研究院哲学倫理学研究室　准教授）。
とのことなのですが、私自身は、ＡＩのことを、何も分かってはゐません。
令和０４年０４月２５日、毛利太。