（144）「雑説、韓愈」に於ける「連言の否定」（Ⅳ）。

（01）
（ａ）
１　　（１）～（Ｑ＆Ｐ）　　Ａ
　２　（２）　　Ｑ　　　　　Ａ
　　３（３）　　　　Ｐ　　　Ａ
　２３（４）　　Ｑ＆Ｐ　　　２３＆Ｉ
１２３（５）～（Ｑ＆Ｐ）＆
　　　　　　　（Ｑ＆Ｐ）　　１４＆Ｉ
１２　（６）　　　～Ｐ　　　３５ＲＡＡ
１　　（７）　Ｑ→～Ｐ　　　２６ＣＰ
（ｂ）
１　（１）　　Ｑ→～Ｐ　　　Ａ
　２（２）　　Ｑ＆　Ｐ　　　Ａ
　２（３）　　Ｑ　　　　　　２＆Ｅ　　　　
　２（４）　　　　　Ｐ　　　２＆Ｅ
１２（５）　　　　～Ｐ　　　１３ＭＰＰ
１２（６）　　Ｐ＆～Ｐ　　　４５＆Ｉ
１　（７）～（Ｑ＆　Ｐ）　　２６ＲＡＡ
（02）
（ｃ）
１　　（１）　Ｑ→～Ｐ　　　Ａ
　２　（２）　　　　Ｐ　　　Ａ
　　３（３）　Ｑ　　　　　　Ａ
１　３（４）　　　～Ｐ　　　１３ＭＰＰ
１２３（５）　Ｐ＆～Ｐ　　　２４＆Ｉ
１２　（６）～Ｑ　　　　　　３５ＲＡＡ
１　　（７）　Ｐ→～Ｑ　　　２６ＣＰ
（ｄ）
１　　（１）　Ｐ→～Ｑ　　　Ａ
　２　（２）　　　　Ｑ　　　Ａ
　　３（３）　Ｐ　　　　　　Ａ
１　３（４）　　　～Ｑ　　　１３ＭＰＰ
１２３（５）　Ｑ＆～Ｑ　　　２４＆Ｉ
１２　（６）～Ｐ　　　　　　３５ＲＡＡ
１　　（７）　Ｑ→～Ｐ　　　２６ＣＰ
従って、
（01）（02）により、
（03）
① ～（Ｑ＆　Ｐ）＝Ｑであって、Ｐである。といふことはない。
② 　　Ｑ→～Ｐ　＝Ｑであるならば、Ｐでない。
③ ～（Ｐ→～Ｑ　＝Ｐであるならば、Ｑでない。
に於いて、
①＝②＝③ であるが、このとき、
①＝② を、「含意の定義」と言ひ、
　　②＝③ を、　「対偶」と言ふ。
然るに、
（04）
１　（１）　　　　　Ｐである。　　　　　　　　　　仮定
　２（２）ＱであってＰである。といふことはない。　仮定
　２（３）Ｑならば、Ｐでない。　　　　　　　　　　２含意の定義
　２（４）Ｐならば、Ｑでない。　　　　　　　　　　３対偶
１２（５）　　　　　Ｑでない。　　　　　　　　　　１４前件肯定。
∴　（６）Ｐである。ＱであってＰである。といふことはない。├ Ｑでない。　
従って、
（04）により、
（05）
（ａ）
１　（１）　　Ｐ　　　　　Ａ
　２（２）～（Ｑ＆　Ｐ）　Ａ
　２（３）　　Ｑ→～Ｐ　　２含意の定義
　２（４）　　Ｐ→～Ｑ　　３対偶
１２（５）　　　　～Ｑ　　１４ＭＰＰ
∴　（６）Ｐ，～（Ｑ＆Ｐ）├ ～Ｑ
従って、
（04）（05）により、
（06）
① Ｐである。ＱであってＰである。といふことはない。├ Ｑでない。　
といふ「連式（sequent）」、すなはち、
① Ｐ，～（Ｐ＆Ｑ）├ ～Ｑ
といふ「連式（sequent）」は、「妥当（valid）」である。
然るに、
（07）
（ｂ）
１（１）Ｐ＆～（Ｑ＆Ｐ）　Ａ
１（２）Ｐ　　　　　　　　１＆Ｅ
１（３）　　～（Ｑ＆Ｐ）　１＆Ｅ
１（４）　　　Ｑ→～Ｐ　　３含意の定義
１（５）　　　Ｐ→～Ｑ　　４対偶
１（６）　　　　　～Ｑ　　２５ＭＰＰ
１（７）　　　Ｐ＆～Ｑ　　２６＆Ｉ
∴（８）Ｐ＆～（Ｑ＆Ｐ）├ Ｐ＆～Ｑ
（ｂ）
１（１）Ｐ＆～（Ｑ）＆Ｐ　Ａ
１（２）Ｐ　　　　　　　　１＆Ｅ
１（３）　　　～Ｑ　　　　１＆Ｅ
１（４）Ｐ＆　～Ｑ　　　　２３＆Ｉ
∴（５）Ｐ＆～（Ｑ）＆Ｐ├ Ｐ＆～Ｑ
従って、
（07）により、
（08）
① Ｐ＆～（Ｑ＆Ｐ）├ Ｐ＆～Ｑ
② Ｐ＆～（Ｑ）＆Ｐ├ Ｐ＆～Ｑ
といふ「連式（sequents）」は、「妥当（valid）」である。
従って、
（06）（08）により、
（09）
① Ｐ，～（Ｐ＆Ｑ）├ ～Ｑ
① Ｐ＆～（Ｑ＆Ｐ）├ Ｐ＆～Ｑ
② Ｐ＆～（Ｑ）＆Ｐ├ Ｐ＆～Ｑ
といふ「連式（sequents）」は、「妥当（valid）」である。
従って、
（09）により、
（10）
① Ｐ，～（Ｑ＆Ｐ）├ Ｐ＆～Ｑ
② Ｐ，～（Ｑ）＆Ｐ├ Ｐ＆～Ｑ
といふ「連式（sequents）」は、「妥当（valid）」である。
従って、
（10）により、
（11）
① Ｐ，～（Ｑ＆Ｐ）├ Ｐ，～Ｑ
② Ｐ，～（Ｑ）＆Ｐ├ Ｐ，～Ｑ
といふ「連式（sequents）」は、「妥当（valid）」である。
然るに、
（12）
～ ＝ 不
＆ ＝ 而
├ ＝ 故、
である。
従って、
（11）（12）により、
（13）
① Ｐ、不（Ｑ而Ｐ）。故、Ｐ、不Ｑ。
② Ｐ、不（Ｑ）而Ｐ。故、Ｐ、不Ｑ。
といふ「連式（sequents）」は、「妥当（valid）」である。
従って、
（13）により、
（14）
Ｐ＝食馬（馬を養ふ）。
Ｑ＝知其能千里（其の能の千里なるを知る）。
であるとして、
① 食馬、不〔知其能千里而食馬〕。故、食馬、不〔知其能千里〕。
② 食馬、不〔知其能千里〕而食馬。故、食馬、不〔知其能千里〕。
といふ「連式（sequents）」は、「妥当（valid）」である。
然るに、
（15）
馬を養ふ者（食馬者） は、当然、
馬を養ふ　（食馬）。
従って、
（14）（15）により、
（16）
① 食馬者、不〔知其能千里而食馬〕。故、食馬者、不〔知其能千里〕。
② 食馬者、不〔知其能千里〕而食馬。故、食馬者、不〔知其能千里〕。
といふ「連式（sequents）」は、「妥当（valid）」である。
然るに、
（17）
（ⅰ）
① 食（馬）者、不〔知（其能千里）而食〕也。
に於いて、
① 食（　）⇒（　）食
① 不〔　〕⇒〔　〕不
① 知（　）⇒（　）知
といふ「移動」を行ふと、
① 食（馬）者、不〔知（其能千里）而食〕也⇒
① （馬）食者、〔（其能千里）知而食〕不也＝
① （馬を）食ふ者は、〔（其の能の千里なるを）知りて食は〕ざるなり＝
① 馬を養ふ者は、〔（其の馬の能力が千里であることを）知って養ふ。〕といふわけではないのだ。
（ⅱ）
② 食（馬）者、不〔知（其能千里）〕而食也。
に於いて、
② 食（　）⇒（　）食
② 不〔　〕⇒〔　〕不
② 知（　）⇒（　）知
といふ「移動」を行ふと、
② 食（馬）者、不〔知（其能千里）〕而食也⇒
② （馬）食者、〔（其能千里）知〕不而食也＝
② （馬を）食ふ者は、〔（其の能の千里なるを）知ら〕ずして食ふなり＝
② 馬を養ふ者は、〔（其の馬の能力が千里であること）を知ら〕ずに養ふ。のだ。
（ⅲ）
③ 食（馬）者、不〔知（其能千里也）〕也。
③ 食（馬）⇒（　）食
③ 不〔　〕⇒〔　〕不
③ 知（　）⇒（　）知
といふ「移動」を行ふと、
③ 食（馬）者、不〔知（其能千里也）〕也⇒
③ （馬）食者、〔（其能千里也）知〕不也＝
③ （馬）を食ふ者は、〔（其の能の千里なるを）知ら〕ざるなり＝
③ （馬）を養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ないのだ。
従って、
（16）（17）により、
（18）
① 食馬、不〔知其能千里而食馬〕。故、食馬、不〔知其能千里〕。
② 食馬、不〔知其能千里〕而食馬。故、食馬、不〔知其能千里〕。
といふ「連式（sequents）」は、「妥当（valid）」である。が故に、
① 馬を養ふ者は、〔其の馬の能力が千里であることを知って養ふ。〕といふわけではないのだ。故に、馬を養ふ者は、〔其の馬の能力が千里であることを知ら〕ないのだ。
② 馬を養ふ者は、〔其の馬の能力が千里であることを知ら〕ずに養ふ。のだ。故に、馬を養ふ者は、〔其の馬の能力が千里であることを知ら〕ないのだ。
といふ「連式（sequents）」は、「妥当（valid）」である。
然るに、
（19）
① 食馬者、不〔知其能千里而食馬〕。故、食馬者、不〔知其能千里〕。
② 食馬者、不〔知其能千里〕而食馬。故、食馬者、不〔知其能千里〕。
といふ「連式（sequents）」の「結論（conclision）」が、両方とも、
① 　　　　　　　　　　　　　　　　故、食馬者、不〔知其能千里〕。
②　　　　　　　　　　　　　　　　 故、食馬者、不〔知其能千里〕。
である。といふことからすると、
① 食馬者、不〔知其能千里而食馬〕。
② 食馬者、不〔知其能千里〕而食馬。
といふ「前提（premisses）」に於いて、
①＝② であるとしも、ヲカシクはない。
然るに、
（20）
① 馬を養ふ者は、其の馬の能力が千里であることを知って養ふ。といふわけではない。
といふのであれば、
② 馬を養ふ者は、其の馬の能力が千里であることを知らずに、養ふ。
といふことになるし、
② 馬を養ふ者は、其の馬の能力が千里であることを知らずに、養ふ。
といふのであれば、
① 馬を養ふ者は、其の馬の能力が千里であることを知って養ふ。といふわけではない。
といふ、ことになる。
従って、
（18）（19）（20）により、
（21）
① 食馬、不〔知其能千里而食馬〕。故、食馬、不〔知其能千里〕。
② 食馬、不〔知其能千里〕而食馬。故、食馬、不〔知其能千里〕。
といふ「連式（漢文）」は、「結論」が「等しい」が故に、
① 食馬、不〔知其能千里而食馬〕。
② 食馬、不〔知其能千里〕而食馬。
といふ「漢文（命題）」は、「同じ」であると、すべきである。
従って、
（17）（21）により、
（22）
① 食（馬）者、不〔知（其能千里）而食〕也。⇔（馬を）食ふ者は、〔（其の能の千里なるを）知りて食は〕ざるなり。
② 食（馬）者、不〔知（其能千里）〕而食也。⇔（馬を）食ふ者は、〔（其の能の千里なるを）知ら〕ずして食ふなり。
といふ「二つの、漢文訓読」は、「書き下し文」は違ってゐても、「意味」としては、「同じ」である。
然るに、
（23）
◆ 不_下 知_二 其能千里_一 而食_上 也　この句は、別に、
「不_レ 知_二 其能千里_一 而食 也」と返り点をつけて「その能の千里なるを知らずして食ふなり。」（＝その能力が千里もあるのを知らずに養っている。）と訓読することができる（赤塚忠・遠藤哲夫、漢文の基礎、1973、１５６頁）。
従って、
（22）（23）により、
（24）
① 食（馬）者、不〔知（其能千里）而食〕也。
② 食（馬）者、不〔知（其能千里）〕而食也。
といふ「漢文」に対する、
① 不_下 知_二 其能千里_一 而食_上 也。
② 不_レ 知_二 其能千里 而食 也。
といふ「二つの、返り点」は、「意味としては同じである。」といふ、ことからすれば、「どちらでも良い」。
然るに、
（25）
（ａ）
１　　（１）～（Ｑ＆　Ｐ）　Ａ
　２　（２）　　Ｑ　　　　　Ａ
　　３（３）　　　　　Ｐ　　Ａ
　２３（４）　　Ｑ＆　Ｐ　　２３＆Ｉ
１２３（５）～（Ｑ＆　Ｐ）＆
　　　　　　　（Ｑ＆　Ｐ）　１４＆Ｉ
１２　（６）　　　　～Ｐ　　３５ＲＡＡ
１　　（７）　　Ｑ→～Ｐ　　２６ＣＰ
　　８（８）　　Ｑ＆　Ｐ　　Ａ
　　８（９）　　Ｑ　　　　　８＆Ｅ
１　８（ア）　　　　～Ｐ　　７８ＭＰＰ
　　８（イ）　　Ｐ　　　　　８＆Ｅ
１　８（ウ）　　Ｐ＆～Ｐ　　アイ＆Ｉ　
１　　（エ)nnn～Ｑnnnnnnnnn８ウ
１　　（オ）　～Ｑ∨～Ｐ　　エ∨Ｉ
（ｂ）
１　　　（１）　～Ｑ∨～Ｐ　　Ａ
　２　　（２）　　Ｑ＆　Ｐ　　Ａ
　　３　（３）　～Ｑ　　　　　Ａ
　２　　（４）　　Ｑ　　　　　２＆Ｅ
　２３　（５）　～Ｑ＆　Ｑ　　３４＆Ｉ
　　３　（６）～（Ｑ＆　Ｐ）　２５ＲＡＡ
　　　７（７）　　　　～Ｐ　　Ａ
　２　　（８）　　　　　Ｐ　　２＆Ｅ
　２　７（９）　～Ｐ＆　Ｐ　　７８＆Ｉ
　　　７（ア）～（Ｑ＆　Ｐ）　２９ＲＡＡ
１　　　（イ）～（Ｑ＆　Ｐ）　１３６７ア∨Ｅ
従って、
（25）により、
（26）
① ～（Ｑ＆　Ｐ）＝（ＱであってＰである）といふことはない。
② 　～Ｑ∨～Ｐ　＝ＱでなくてＰであるか、ＰでなくてＱであるか、ＱでなくてＰでない。
に於いて、
①＝② である。
然るに、
（27）
② ～（Ｑ）＆Ｐ ＝ＱでなくてＰである。
従って、
（26）（27）により、
（28）
① ～（Ｑ＆　Ｐ）＝ＱでなくてＰであるか、ＰでなくてＱであるか、ＱでなくてＰでない。
② ～（Ｑ）＆Ｐ）＝ＱでなくてＰである。
に於いて、
①＝② ではない。
従って、
（11）～（14）（28）により、
（29）
① 不（知其能千里而食馬）。
② 不（知其能千里）而食馬。
に於いて、
①＝② ではない。
従って、
（21）（29）により、
（30）
① 食馬、不（知其能千里而食馬）。
② 食馬、不〔知其能千里〕而食馬。
に於いて、
①＝② であるが、
① 不（知其能千里而食馬）。
② 不（知其能千里）而食馬。
に於いて、
①＝② ではない。