「サンマは目黒が（は）美味い」の「述語論理」（Ⅱ）。

― しばらく、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。　：（https://kannbunn.blogspot.com/2017/12/blog-post_11.html）
（β）「返り点」と「括弧」の条件。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_15.html）
（γ）「返り点」と「括弧」の条件（Ⅱ）：（https://kannbunn.blogspot.com/2017/12/blog-post_16.html）
（δ）「返り点」は、下には戻らない。　：（https://kannbunn.blogspot.com/2017/12/blog-post_20.html）
（ε）「下中上点」等が必要な「理由」。：（https://kannbunn.blogspot.com/2017/12/blog-post_22.html）
（ζ）「返り点・モドキ」について。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_24.html）⇒
　Ｗｅｂ上には存在しますが、何故か、アクセス出来ません。
（η）「一二点・上下点」に付いて。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_26.html）
（θ）「括弧」の「順番」。　　　　　　：（https://kannbunn.blogspot.com/2018/01/blog-post.html）
（ι）「返り点」と「括弧」の関係　　　：（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）
等々、「その他」を、お読み下さい。―

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