（01）
（ⅰ）
１ （１）サンマは、目黒ならば美味く、目黒でないならば美味くない。 Ａ
１ （〃）∀ｘ｛サンマｘ→（目黒ｘ→美味ｘ）＆（～目黒ｘ→～美味ｘ）｝ Ａ
１ （２） サンマａ→（目黒ａ→美味ａ）＆（～目黒ａ→～美味ａ） １ＵＥ
３ （３） 目黒ａ＆サンマａ Ａ
３ （４） サンマａ ３＆Ｅ
１３ （５） （目黒ａ→美味ａ）＆（～目黒ａ→～美味ａ） ２４ＭＰＰ
１３ （６） 目黒ａ→美味ａ ５＆Ｅ
３ （７） 目黒ａ ３＆Ｅ
１３ （８） 美味ａ ７ＭＰＰ
１ （９） 目黒ａ＆サンマａ→ 美味ａ ３８ＣＰ
ア（ア） ～目黒ａ＆サンマａ Ａ
ア（イ） サンマａ ア＆Ｅ
１ ア（ウ） （目黒ａ→美味ａ）＆（～目黒ａ→～美味ａ） ２イＭＰＰ
１ ア（エ） ～目黒ａ→～美味ａ ウ＆Ｅ
ア（オ） ～目黒ａ ア＆Ｅ
１ ア（カ） ～美味ａ エオＭＰＰ
１ （キ） ～目黒ａ＆サンマａ→～美味ａ アカＣＰ
１ （ク） 目黒ａ＆サンマａ→美味ａ＆～目黒ａ＆サンマａ→～美味ａ ９キ＆Ｉ
１ （ケ）∀ｘ｛目黒ｘ＆サンマｘ→美味ｘ＆～目黒ｘ＆サンマｘ→～美味ｘ｝ クＵＩ
１ （〃）目黒のサンマならば美味く、目黒でないサンマは美味くない。 クＵＩ
（ⅱ）
１ （１）目黒のサンマならば美味く、目黒でないサンマは美味くない。 Ａ
１ （〃）∀ｘ｛目黒ｘ＆サンマｘ→美味ｘ＆～目黒ｘ＆サンマｘ→～美味ｘ｝ Ａ
１ （２） 目黒ａ＆サンマａ→美味ａ＆～目黒ａ＆サンマａ→～美味ａ １ＵＥ
３ （３）サンマａ Ａ
１ （４） 目黒ａ＆サンマａ→美味ａ ２＆Ｅ
５ （５） 目黒ａ Ａ
３５ （６） 目黒ａ＆サンマａ ３５＆Ｉ
１３５ （７） 美味ａ ４６ＭＰＰ
１３ （８） 目黒ａ→美味ａ ５７ＣＰ
１ （９） ～目黒ａ＆サンマａ→～美味ａ ２＆Ｅ
ア（ア） ～目黒ａ Ａ
３ ア（イ） ～目黒ａ＆サンマａ ３ア＆Ｉ
１３ ア（ウ） ～美味ａ ９イＭＰＰ
１３ （エ） ～目黒ａ→～美味ａ アウＣＰ
１３ （カ） （目黒ａ→美味ａ）＆（～目黒ａ→～美味ａ） ８エ＆Ｉ
１ （キ） サンマａ→（目黒ａ→美味ａ）＆（～目黒ａ→～美味ａ） ３カＣＰ
１ （ク）∀ｘ｛サンマｘ→（目黒ｘ→美味ｘ）＆（～目黒ｘ→～美味ｘ）｝ キＵＩ
１ （〃）サンマは、目黒ならば美味く、目黒でないならば美味くない。 キＵＩ
従って、
（01）により、
（02）
① ∀ｘ｛サンマｘ→（目黒ｘ→美味ｘ）＆（～目黒ｘ→～美味ｘ）｝
② ∀ｘ｛目黒ｘ＆サンマｘ→美味ｘ＆～目黒ｘ＆サンマｘ→～美味ｘ｝
に於いて、すなはち、
① すべてのｘについて、ｘがサンマならば、ｘが目黒ならば美味く、ｘが目黒でないならば美味くない。
② すべてのｘについて、ｘが目黒であってサンマならばｘは美味く、ｘが目黒でなくてサンマであるならばｘは美味くない。
に於いて、すなはち、
① サンマは、目黒ならば美味く、目黒でないならば美味くない。
② 目黒のサンマならば美味く、目黒でないサンマは美味くない。
に於いて、
①＝② である。
然るに、
（03）
① サンマは、目黒ならば美味く、目黒でないならば美味くない。
② 目黒のサンマならば美味く、目黒でないサンマは美味くない。
といふことは、
③ サンマは、目黒は美味く、目黒以外は美味くない。
といふことである。
然るに、
（04）
① サンマは、目黒ならば美味く、目黒でないならば美味くない。
② 目黒のサンマならば美味く、目黒でないサンマは美味くない。
③ サンマは、目黒は美味く、目黒以外は美味くない。
と言ふ場合は、
④ サンマは、目黒が美味い。
と言ふのであって、
⑤ サンマは、目黒は美味い。
とは、言はない。
従って、
（04）により、
（05）
「番号」を付け直すと、
① サンマは、目黒は美味い＝サンマは、目黒は美味い。
② サンマは、目黒が美味い＝サンマは、目黒は美味く、目黒以外は美味くない。
といふことになる。
従って、
（02）（05）により、
（06）
「右辺」を「記号」で書くと、
① サンマは、目黒は美味い＝∀ｘ｛サンマｘ→（目黒ｘ→美味ｘ）｝。
② サンマは、目黒が美味い＝∀ｘ｛サンマｘ→（目黒ｘ→美味ｘ）＆（～目黒ｘ→～美味ｘ）｝。
といふことになる。
然るに、
（07）
三上章先生の説によると、
「Ａは」は「主題は」であって、
「Ａが」は「主格が」である.
従って、
（08）
三上章先生の説に従ふならば、
① サンマは、目黒は美味い。
② サンマは、目黒が美味い。
といふ「日本語」には、それぞれ、
①「サンマ」といふ「主題１」と、「目黒」といふ「主題２」があり、
②「サンマ」といふ「主題１」と、「目黒」といふ「主格１」がある。
然るに、
（09）
おそらくは、三上先生は、
① サンマは、目黒は美味い＝∀ｘ｛サンマｘ→（目黒ｘ→美味ｘ）｝。
② サンマは、目黒が美味い＝∀ｘ｛サンマｘ→（目黒ｘ→美味ｘ）＆（～目黒ｘ→～美味ｘ）｝。
といふ「等式」に、気付いてはゐない。
（10）
③ サンマは魚である。⇔
③ ∀ｘ（サンマｘ→魚ｘ）⇔
③ すべてのｘについて、ｘがサンマであるならば、ｘは魚である。
といふ「命題」は、「真（本当）」である。
（11）
｛サンマ、象、自転車、ＰＣ｝を｛対象｝とするならば、
④ サンマが魚である。⇔
④ ∀ｘ（サンマｘ→魚ｘ＆～サンマｘ→～魚ｘ）⇔
④ すべてのｘについて、ｘがサンマであるならば、ｘは魚であり、ｘがサンマでないならば、ｘは魚ではない。
といふ「命題」も、「真（本当）」である。
然るに、
（12）
三上章先生の本（「象は鼻が長い」等）を読んでも、
③ ＡはＢである。⇔ ∀ｘ（Ａｘ→Ｂｘ）。
④ ＡがＢである。⇔ ∀ｘ（Ａｘ→Ｂｘ＆～Ａｘ→～Ｂｘ）。
といふ点に言及してゐる箇所を、見付けることは、出来ない。