（193）「今両虎共闘、其勢不倶生。」の「述語論理」（Ⅲ）。

―「先ほどの記事（192）」の「続き」を書きます。―
従って、
（01）～（22）により、
（23）
① 今両虎共闘、其勢不倶生。
① 今両虎共に闘はば、其の勢ひ俱には生きず。
① いま、二頭の虎（e.g.藺相如と廉頗）が戦ひ合へば、両方とも死なないで済む。といふわけにいかない。
といふ「漢文訓読」は、
（ⅰ）∀ｘ∀ｙ｛虎ｘ＆虎ｙ＆闘ｘｙ→～（生ｘ＆　生ｙ）｝
（ⅱ）∀ｘ∀ｙ｛闘ｘｙ＆生ｘ＆生ｙ→（～虎ｘ∨～虎ｙ）｝
（ⅲ）∀ｘ∀ｙ｛虎ｘ＆虎ｙ＆闘ｘｙ→　（生ｘ→～生ｙ）＆（生ｙ→～生ｘ）｝
といふ「三通リの述語論理」に、対応する。
然るに、
（24）
① 今両虎共闘、其勢不倶生。
① 今両虎共に闘はば、其の勢ひ俱には生きず。
ではなく、
② 今両虎共闘、其勢倶不生。
② 今両虎共に闘はば、其の勢ひ俱に生きず。
といふ「漢文訓読」は、
（ⅳ）∀ｘ∀ｙ｛虎ｘ＆虎ｙ＆闘ｘｙ→（～生ｘ＆～生ｙ）｝
といふ「述語論理」に、対応する。
然るに、
（25）
① 不倶生＝～（生ａ＆　生ｂ）
② 倶不生＝（～生ａ＆～生ｂ）
に於いて、
① を、「部分否定」と言ひ、
② を、「全部否定」と言ふ。
然るに、
（26）
「ド・モルガンの法則」により、
① 不倶生＝～（生ａ＆　生ｂ）
とは、すなはち、
① 不倶生＝（～生ａ∨～生ｂ）
である。
然るに、
（21）により、
（27）
① 不倶生＝（～生ａ∨～生ｂ）＝（ａは生きないか、またはｂは生きない。）
② 倶不生＝（～生ａ＆～生ｂ）＝（ａは生きず、ｂも生きない。）
に於いて、
① と ② は、「矛盾」しない。
従って、
（25）（27）により、
（28）
①「部分否定」と、
②「全部否定」は、「矛盾」しない。
然るに、
（29）
① 　不倶生＝　～（生ａ＆生ｂ）
の「否定」を、
③ ～不倶生＝～～（生ａ＆生ｂ）
と書くならば、「二重否定（ＤＮ）」により、
③     倶生＝　　（生ａ＆生ｂ）
である。
従って、
（27）（29）により、
（30）
① 不倶生＝（～生ａ∨～生ｂ）＝（ａは生きないか、またはｂは生きない。）
③   倶生＝（　生ａ＆　生ｂ）＝（ａは生き、ｂも生きる。）
に於いて、
① と ③ は、「矛盾」する。
然るに、
（31）
（ⅳ）
１　　　（１）∀ｘ∀ｙ｛虎ｘ＆虎ｙ＆闘ｘｙ→～（生ｘ＆生ｙ）｝　Ａ
１　　　（２）　　∀ｙ｛虎ａ＆虎ｙ＆闘ａｙ→～（生ａ＆生ｙ）｝　１ＵＥ
１　　　（３）　　　　　虎ａ＆虎ｂ＆闘ａｂ→～（生ａ＆生ｂ）　　２ＵＥ
　４　　（４）　　　　　　　　　　　　　　　　　生ａ＆生ｂ　　　Ａ
　４　　（５）　　　　　　　　　　　　　　～～（生ａ＆生ｂ）　　４ＤＮ
１４　　（６）　　　～（虎ａ＆虎ｂ＆闘ａｂ）　　　　　　　　　　４５ＭＴＴ
１４　　（７）　　　　～虎ａ∨～虎ｂ∨～闘ａｂ　　　　　　　　　６ド・モルガンの法則
１４　　（８）　　　（～虎ａ∨～虎ｂ）∨～闘ａｂ　　　　　　　　７結合法則
　　９　（９）　　　（～虎ａ∨～虎ｂ）　　　　　　　　　　　　　Ａ
　　９　（ア）　～～（～虎ａ∨～虎ｂ）　　　　　　　　　　　　　９ＤＮ
　　９　（イ）　～（～～虎ａ＆～～虎ｂ）　　　　　　　　　　　　ア、ド・モルガンの法則
　　９　（ウ）　　　～（虎ａ＆虎ｂ）　　　　　　　　　　　　　　イＤＮ
　　９　（エ）　　　～（虎ａ＆虎ｂ）∨～闘ａｂ　　　　　　　　　ウ∨Ｉ
　　　オ（オ）　　　　　　　　　　　　～闘ａｂ　　　　　　　　　オ
　　　オ（カ）　　　～（虎ａ＆虎ｂ）∨～闘ａｂ　　　　　　　　　オ∨Ｉ　　
１４　　（キ）　　　～（虎ａ＆虎ｂ）∨～闘ａｂ　　　　　　　　　８９エオカ∨Ｅ　
１４　　（ク）　　　　　虎ａ＆虎ｂ　→～闘ａｂ　　　　　　　　　ク含意の定義
１　　　（ケ）　　　　　生ａ＆生ｂ→（虎ａ＆虎ｂ→～闘ａｂ）　　４クＣＰ
１　　　（コ）　　∀ｙ｛生ａ＆生ｙ→（虎ａ＆虎ｙ→～闘ａｙ）｝　ケＵＩ
１　　　（サ）∀ｘ∀ｙ｛生ｘ＆生ｙ→（虎ｘ＆虎ｙ→～闘ｘｙ）｝　コＵＩ
従って、
（31）により、
（32）
（１）∀ｘ∀ｙ｛虎ｘ＆虎ｙ＆闘ｘｙ→～（生ｘ＆生ｙ）｝　といふ「仮定」により、
（サ）∀ｘ∀ｙ｛生ｘ＆生ｙ→（虎ｘ＆虎ｙ→～闘ｘｙ）｝　といふ『結論』を得る。
従って、
（32）により、
（33）
（１）すべてのｘとすべてのｙについて、ｘが虎であり、ｙも虎であり、ｘとｙが闘へば、ｘが生き、ｙも生きる。といふことはない。　といふ「仮定」により、
（サ）すべてのｘとすべてのｙについて、ｘが生きて、　ｙも生きて、　ｘが虎であり、ｙも虎であらならば、ｘとｙは、闘はない。　　といふ『結論』を得る。
（〃）すべてのｘとすべてのｙについて、ｘが死なず、　ｙも死なず、　ｘが虎であり、ｙも虎であるならば、ｘとｙは、闘はない。　　といふ『結論』を得る。
然るに、
（34）
（ａ）
今両虎共闘、其勢不俱生。
吾所以為此者、先国家之急而後私讎也。
廉頗聞之、肉袒負荊、至門謝罪、遂為刎頸之交。
（ｂ）
今両虎共闘、其勢不（俱生）。
吾所⁻以〔為（此）〕者、先（国家之急）而後（私讎）也。
廉頗聞（之）、肉袒負（荊）、至（門）謝（罪）、遂為（刎頸之交）。
（ｃ）
今両虎共闘、其の勢ひ（俱には生き）不。
吾の〔（此を）為す〕所⁻以の者は、（国家の急を）先にして（私讎を）後にすればなり。
廉頗（之を）聞き、肉袒して（荊を）負ひ、（門に）至（罪り）謝し、遂に（刎頸の交はりを）為す。
（ｄ）
今、我々（二頭の虎に譬へる）が争ったならば、成り行きとして、二人の内の、少なくとも一人が、死ななければならない。
私がこれ（廉将軍からの逃げ隠れ）をするの理由は、国家を、危難から救ふことを先にして、個人的な恨みを後回しにするからである。
廉将軍はこの話を聞いて、裸の上半身にムチを背負ひ、門に来て謝り、ついに、刎頸の友となった〔十八史略、刎頸之交〕。
従って、
（31）～（34）により、
（35）
（１）∀ｘ∀ｙ｛虎ｘ＆虎ｙ＆闘ｘｙ→～（生ｘ＆生ｙ）｝　といふ「仮定」、すなはち、
（〃）すべてのｘとすべてのｙについて、ｘが虎であり、ｙも虎であり、ｘとｙが闘へば、ｘが生き、ｙも生きる。といふことはない。　といふ「仮定」により、
（サ）∀ｘ∀ｙ｛生ｘ＆生ｙ→（虎ｘ＆虎ｙ→～闘ｘｙ）｝　といふ『結論』を、すなはち、
（〃）すべてのｘとすべてのｙについて、ｘが死なず、　ｙも死なず、　ｘが虎であり、ｙも虎であるならば、ｘとｙは、闘はない。　　といふ『結論』を得る。
従って、
（27）（30）（31）（35）により、
（37）
① 不倶生＝（～生ａ∨～生ｂ）＝（ａは生きないか、またはｂは生きない。）
② 倶不生＝（～生ａ＆～生ｂ）＝（ａは生きず、ｂも生きない。）
③   倶生＝（　生ａ＆　生ｂ）＝（ａは生き、ｂも生きる。）
に於いて、たしかに、
① の「否定」は、② ではなく、
① の「否定」は、③ である。