（01）
［練習］
１００人の生徒に寿司と焼き肉のどちらが好きかをたずねたところ、
すしだけが好きな人が１８人。すしも焼肉も好きでない人が５人いた。
次のような人は何人か。
（１）すしまたは焼肉が好きな人。
（２）焼肉が好きな人。
従って、
（01）により、
（02）
①（１００人の生徒） ＝１００人。
②（すしも焼肉も好きでない生徒） ＝ ５人。
③（すしまたは焼肉が好きな生徒） ＝ ９５人。
④（すしだけが好きな生徒） ＝ １８人。
⑤（焼肉だけが好きな生徒） ＝ ｘ人。
⑥（すしと焼き肉の両方を好きな生徒）＝ ｙ人。
に於いて、
①－②＝③
③－④＝⑤＋⑥
である。
従って、
（02）により、
（03）
③－④＝７７人。
③－④＝⑤＋⑥
である。
然るに、
（04）
従って、
（01）～（04）により、
（05）
（２）焼肉が好きな人。
といふのは、
⑤（焼肉だけが好きな生徒）と、
⑥（すしと焼き肉の両方を好きな生徒）の、両方である。
然るに、
（06）
Ｑ：あなたは、すしと焼き肉のどちらが好きですか？
Ａ：焼肉が好きです。
といふのであれば、「答へて」ゐるのは、
⑤（焼肉だけが好きな生徒） であって、
⑥（すしと焼き肉の両方を好きな生徒）ではない。
従って、
（05）（06）により、
（07）
「番号」を付け直すとして、
① 焼肉が好きな人。
② 焼肉が好きです。
に於ける、
① 焼肉が
② 焼肉が
に於いて、
①＝② ではない。
然るに、
（08）
① 焼肉が好きな人。
② 焼肉が好きです。
の場合は、
① 私が言ふ言葉。
② 私が言ひます。
と同じく、
① 体言＋連体形＋体言。
② 体言＋連用形＋助動詞。
である。
従って、
（08）により、
（09）
「三上文法」ではなく、
「古典文法」で解釈する限り、
① 焼肉が好きな人。
② 焼肉が好きです。
の場合は、それぞれ、
① 体言。
② 助動詞。
といふ「異なる品詞」で終はってゐるが故に、
① 焼肉が
② 焼肉が
に於いて、
①＝② ではない。
といふ、ことになる。
然るに、
（10）
③ 君が行く道。
④ 君の行く道。
であれば、
③ 君が（格助詞）行く（連体形）道（体言）。
④ 君の（格助詞）行く（連体形）道（体言）。
であるため、ほとんど、
③＝④ である。
従って、
（09）（10）により、
（11）
① 焼肉が好きな人。
② 焼肉が好きです。
④ 君の行く道。
に於いて、「（古典）文法的」には、
①＝④ であるが、
②＝④ ではない。
といふ「意味」に於いて、
① 焼肉が
② 焼肉が
に於いて、
①＝② ではない。
といふ、ことになる。
然るに、
― 話は変はるものの、―
（12）
③（すしまたは焼肉が好きな生徒） ＝９５人。
④（すしだけが好きな生徒） ＝１８人。
⑤（焼肉だけが好きな生徒） ＝ ｘ人。
⑥（すしと焼き肉の両方を好きな生徒）＝ ｙ人。
ではなくて、例へば、
③（すしまたは焼肉が好きな生徒） ＝９５人。
④（すしだけが好きな生徒） ＝ ０人。
⑤（焼肉だけが好きな生徒） ＝４５人。
⑥（すしと焼き肉の両方を好きな生徒）＝５０人。
であるとする。
然るに、
（13）
④（すしだけが好きな生徒） ＝ ０人。
⑤（焼肉だけが好きな生徒） ＝４５人。
⑥（すしと焼き肉の両方を好きな生徒）＝５０人。
であるとするならば、
⑤（焼肉だけが好きな生徒）は、
⑤（すしは好きはでない）ため、
⑥（すしが好きな生徒）といふのは、結局は、
⑥（すしと焼き肉の両方を好きな生徒）＝５０人。
に、他ならない。
従って、
（13）により、
（14）
④（すしだけが好きな生徒） ＝ ０人。
⑤（焼肉だけが好きな生徒） ＝４５人。
⑥（すしと焼き肉の両方を好きな生徒）＝５０人。
であるとするならば、
⑥（すしが好きな生徒）ならば（焼肉も好きな生徒）である。
然るに、
（15）
④（すしだけが好きな生徒）＝０人。
といふことは、
④（すしが好きな生徒で、焼肉が好きでない生徒）はゐない。
といふ、ことである。
従って、
（14）（15）により、
（16）
④（すしが好きな生徒で、焼肉が好きでない生徒）はゐない。
⑥（すしが好きな生徒）ならば（焼肉も好きな生徒）である。
に於いて、
④ ならば、そのときに限って、⑥ である。
従って、
（16）により、
（17）
Ｆ＝すしが好きな生徒である。
Ｇ＝焼肉を好きな生徒である。
とすると、「番号」を付け直すとして、
① ～∃ｘ（Ｆｘ＆～Ｇｘ）
② ∀ｘ（Ｆｘ→ Ｇｘ）
に於いて、
①＝② である。
然るに、
（18）
（ⅰ）
１ （１）～∃ｘ（Ｆｘ＆～Ｇｘ） Ａ
１ （２）∀ｘ～（Ｆｘ＆～Ｇｘ） １量化子の関係
１ （３） ～（Ｆａ＆～Ｇａ） １ＵＥ
４ （４） Ｆａ Ａ
５（５） ～Ｇａ Ａ
４５（６） Ｆａ＆～Ｇａ ４５＆Ｉ
１４５（７） ～（Ｆａ＆～Ｇａ）＆
（Ｆａ＆～Ｇａ） ３６＆Ｉ
１４ （８） ～～Ｇａ ５７ＲＡＡ
１４ （９） Ｇａ ８ＤＮ
１ （ア） Ｆａ→ Ｇａ ４９ＣＰ
１ （イ） ∀ｘ（Ｆｘ→ Ｇｘ） アＵＩ
（ⅱ）
１ （１） ∀ｘ（Ｆｘ→ Ｇｘ） Ａ
２ （２） ∃ｘ（Ｆｘ＆～Ｇｘ） Ａ
１ （３） Ｆａ→ Ｇａ １ＵＥ
４（４） Ｆａ＆～Ｇａ Ａ
４（５） Ｆａ ４＆Ｅ
１ ４（６） Ｇａ ３５ＭＰＰ
４（７） ～Ｇａ ４＆Ｅ
１ ４（８） Ｇａ＆～Ｇａ ６７＆Ｉ
４（９）～∀ｘ（Ｆｘ→ Ｇｘ） １４ＲＡＡ
２ （ア）～∀ｘ（Ｆｘ→ Ｇｘ） ２４９ＥＥ
１２ （イ） ∀ｘ（Ｆｘ→ Ｇｘ）＆
～∀ｘ（Ｆｘ→ Ｇｘ） １ア＆Ｉ
１ （ウ）～∃ｘ（Ｆｘ＆～Ｇｘ） ２イＲＡＡ
従って、
（17）（18）により、
（19）
① ～∃ｘ（Ｆｘ＆～Ｇｘ）
② ∀ｘ（Ｆｘ→ Ｇｘ）
に於いて、すなはち、
①（すしが好きで、焼肉が好きでない）といふそのやうなｘは存在しない。
② すべてのｘについて（ｘがすしが好きならば、ｘは焼肉も好きである）。
に於いて、
①＝② である。
従って、
（04）（12）～（19）により、
（20）
①（すしが好きな生徒で、焼肉が好きでない生徒）はゐない。
② すしが好きな生徒）ならば（焼肉も好きな生徒）である。
に於いて、
① ならば、そのときに限って、② である。
といふことは、
といふ「ベン図」からも、明らかに、「正しい」。