「コンニャクは太らない」の「述語論理」と「漢文」。

（01）
（ⅰ）
１　　　（１）∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆太ｙ）｝　Ａ
１　　　（２）　　  蒟蒻ａ→～∃ｙ（人ｙ＆食ｙａ＆太ｙ）　　１ＵＥ
　３　　（３）　　　蒟蒻ａ　　　　　　　　　　　　　　　　　Ａ
１３　　（４）　　　　　　　～∃ｙ（人ｙ＆食ｙａ＆太ｙ）　　２３ＭＰＰ
１３　　（５）　　　　　　　∀ｙ～（人ｙ＆食ｙａ＆太ｙ）　　４量化子の関係
１３　　（６）　　　　　　　　　～（人ｂ＆食ｂａ＆太ｂ）　　５ＵＥ
１３　　（７）　　　　　　　　　～人ｂ∨～食ｂａ∨～太ｂ　　６ド・モルガンの法則
１３　　（８）　　　　　　　　（～人ｂ∨～食ｂａ）∨～太ｂ　７結合法則
　　９　（９）　　　　　　　　（～人ｂ∨～食ｂａ）　　　　　Ａ
　　９　（ア）　　　　　　　　　～（人ｂ＆食ｂａ）　　　　　９ド・モルガンの法則
　　９　（イ）　　　　　　　　～（人ｂ＆食ｂａ）∨～太ｂ　　９∨Ｉ
　　　ウ（ウ）　　　　　　　　　　　　　　　　　　～太ｂ　　Ａ
　　　ウ（エ）　　　　　　　　～（人ｂ＆食ｂａ）∨～太ｂ　　ウ∨Ｉ
１３　　（オ）　　　　　　　　～（人ｂ＆食ｂａ）∨～太ｂ　　８９イウエ∨Ｅ
１３　　（カ）　　　　　　　　　 人ｂ＆食ｂａ→～太ｂ　　　オ含意の定義
１３　　（キ）　　　　　　　∀ｙ（人ｂ＆食ｂａ→～太ｂ）　　カＵＩ
１　　　（ク）　　　蒟蒻ａ→∀ｙ（人ｙ＆食ｙａ→～太ｙ）　　３キＣＰ
１　　　（ケ）∀ｘ｛蒟蒻ｘ→∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝　クＵＩ
（ⅱ）
１　　　（１）∀ｘ｛蒟蒻ｘ→∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝　Ａ
１　　　（２）　　　蒟蒻ａ→∀ｙ（人ｙ＆食ｙａ→～太ｙ）　　１ＵＥ
　３　　（３）　　　蒟蒻ａ　　　　　　　　　　　　　　　　　Ａ
１３　　（４）　　　　　　　∀ｙ（人ｙ＆食ｙａ→～太ｙ　　　２３ＭＰＰ
１３　　（５）　　　　　　　　　　人ｂ＆食ｂａ→～太ｂ　　　１ＵＥ
１３　　（６）　　　　　　　　～（人ｂ＆食ｂａ）∨～太ｂ　　５含意の定義
　　７　（７）　　　　　　　　～（人ｂ＆食ｂａ）　　　　　　Ａ
　　７　（８）　　　　　　　　～人ｂ∨～食ｂａ　　　　　　　７ド・モルガンの法則
　　７　（９）　　　　　　　　～人ｂ∨～食ｂａ∨～太ｂ　　　８∨Ｉ
　　　ア（ア）　　　　　　　　　　　　　　　　　　～太ｂ　　Ａ
　　　ア（イ）　　　　　　　　～人ｂ∨～食ｂａ∨～太ｂ　　　ア∨Ｉ
１３　　（ウ）　　　　　　　　～人ｂ∨～食ｂａ∨～太ｂ　　　６７９アイ∨Ｅ
１３　　（エ）　　　　　　　　　～（人ｂ＆食ｂａ＆太ｂ）　　ウド・モルガンの法則
１３　　（オ）　　　　　　　∀ｙ～（人ｂ＆食ｂａ＆太ｂ）　　エＵＩ
１３　　（カ）　　　　　　　～∃ｙ（人ｂ＆食ｂａ＆太ｂ）　　オ量化子の関係
１　　　（キ）　　　蒟蒻ａ→～∃ｙ（人ｙ＆食ｙａ＆太ｙ）　　３カＣＰ
１　　　（ク）∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆太ｙ）｝　キＵＩ
従って、
（01）により、
（02）
② ∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆　太ｙ）｝
③ ∀ｘ｛蒟蒻ｘ→　∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝
に於いて、
②＝③ である。
従って、
（02）により、
（03）
② すべてのｘについて｛ｘが蒟蒻であるならば、ある（ｙが人であり、ｙがｘを食べ、ｙが太る）といふことはない｝。
③ すべてのｘについて｛ｘが蒟蒻であるならば、いかなるｙであっても（ｙが人であって、ｙがｘを食べたとしても、ｙは太らない）｝。
に於いて、
②＝③ である。
従って、
（03）により、
（04）
② コンニャクは、それを食べて、太る者はゐない。
③ コンニャクは、どんな人が、それを食べても、その人は太らない。
に於いて、
②＝③ である。
然るに、
（05）
① コンニャクは、太らない。
といふことは、
② コンニャクは、それを食べて、太る者はゐない。
③ コンニャクは、どんな人が、それを食べても、その人は太らない。
といふことに、他ならない。
従って、
（05）により、
（06）
① コンニャクは、太らない。
② コンニャクは、それを食べて、太る者はゐない。
③ コンニャクは、どんな人が、それを食べても、その人は太らない。
に於いて、
①＝②＝③ である。
従って、
（01）～（06）により、
（07）
① コンニャクは、太らない。
② ∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆　太ｙ）｝。
③ ∀ｘ｛蒟蒻ｘ→　∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝。
に於いて、
①＝②＝③ である。
然るに、
（08）
④ 蒟蒻無人食之而太者＝
④ 蒟蒻無〔人食（之）而太者〕⇒
④ 蒟蒻〔人（之）食而太者〕無＝
④ 蒟蒻は〔人にして（之れ）を食して太る者〕無し＝
④ コンニャクは、これを食べて、太る者は、ゐない。
（09）
⑤ 蒟蒻人雖食之則不太＝
⑤ 蒟蒻人雖〔食（之）〕則不（太）⇒
⑤ 蒟蒻人〔（之）食〕雖則（太）不＝
⑤ 蒟蒻は人〔（之れを）食すと〕雖も則ち（太ら）ず＝
⑤ コンニャクは、どんな人が、それを食べても、その人は太らない。
従って、
（07）（08）（09）により、
（10）
「番号」を付け直すと、
① コンニャクは、太らない。
② 蒟蒻無人食之而太者。
③ 蒟蒻人雖食之則不太。
④ ∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆　太ｙ）｝。
⑤ ∀ｘ｛蒟蒻ｘ→　∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝。
⑥ コンニャクは、これを食べて、太る者は、ゐない。
⑦ コンニャクは、どんな人が、それを食べても、その人は太らない。
に於いて、
①＝②＝③＝④＝⑤＝⑥＝⑦ である。
然るに、
（11）
② 蒟蒻無人食之而太者。
③ 蒟蒻人雖食之則不太。
といふ「漢文」は、もちろん、私による『作例』であって、尚且つ、
私の場合は、「漢文」も、「論理学」も、ほぼ１００％を以て、「独学」である。
ｃｆ.
一般教養の科目として「論理学」を履修した際は、「真理値表」さへ理解せず、「単位」を取ることが、出来なかった。
然るに、
（12）
日本人が漢文を書く場合、漢文直訳体の日本語である漢文訓読は、有力な道具となり得る。実際に漢詩・漢文を自分で書いてみればわかることだが、日本人が音読直読だけで純正漢文を書くことは、なかなかに難しい（そもそも漢文の音読直読ができる現代中国人でも、純正漢文が書ける者は少ない）（加藤徹 他、「訓読」論、2008年、２６５頁改）。
従って、
（12）により、
（13）
加藤先生は、
④ 蒟蒻は、人にして之れを食して太る者無し。
⑤ 蒟蒻は、人之れを食すと雖も、則ち太らず。
といふ「日本語」が、「訓読」として「正しい」のであれば、
② 蒟蒻無人食之而太者。
③ 蒟蒻人雖食之則不太。
といふ「漢文」も、「正しい」。
といふ風に、述べてゐる。
然るに、
（14）
④ 蒟蒻は、人にして之れを食して太る者無し。
⑤ 蒟蒻は、人之れを食すと雖も、則ち太らず。
といふ「日本語」は、「訓読」として「正しい」に、違ひない。
従って、
（08）～（14）により、
（15）
② 蒟蒻無人食之而太者。
③ 蒟蒻人雖食之則不太。
といふ「漢文」は、「純正漢文」として、「正しい」に、違ひないし、私としては、
④ ∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆　太ｙ）｝。
⑤ ∀ｘ｛蒟蒻ｘ→　∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝。
といふ「述語論理式」が、「文法的に正しい」の同様に、
② 蒟蒻無人食之而太者。
③ 蒟蒻人雖食之則不太。
といふ「漢文」も、「純正漢文」として、「文法的に正しい」といふ風に、信じてゐる。
令和０３年１０月２９日、毛利太。