（01） ① コンニャクは太らない。 ② ∀ｘ｛蒟蒻ｘ→∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）｝。 ③ すべてのｘについて、ｘが蒟蒻であるならば、あるｙは人間であり、ｙはｘを食べ、ｙは太らない。 に於いて、 ①＝②＝③ である。 然るに、 （02） （ⅰ） １ （１）∀ｘ｛蒟…

（01） よく知られているように、「私が理事長です」は語順を変え、 理事長は、私です。 と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、 タゴール記念館は、私が理事です。 と言ったとすれば、これは主辞「タゴール記念館」を品評すると…

（01） よく知られているように、「私が理事長です」は語順を変え、 理事長は、私です。 と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、 タゴール記念館は、私が理事です。 と言ったとすれば、これは主辞「タゴール記念館」を品評すると…

―「昨日の記事（令和元年０６月２７日）」を書き直します。― （01） ② 私 は、１人しかゐない。 従って、 （02） ② 理事長が、２人以上ゐるのであれば、 ② 理事長は、私（１人）です。 とは、言へない。 従って、 （03） ② 理事長は、私（１人）です。 と言…

（01） （ⅰ） １ （１） Ｐ→ Ｑ Ａ ２ （２） Ｐ Ａ ３（３） ～Ｑ Ａ １２ （４） Ｑ １２ＭＰＰ １２３（５） ～Ｑ＆Ｑ ３４＆Ｉ １ ３（６） ～Ｐ ２５ＲＡＡ １ （７） ～Ｑ→～Ｐ ３６ＣＰ （ⅱ） １ （１） ～Ｑ→～Ｐ Ａ ２ （２） ～Ｑ Ａ ３（３） Ｐ …

（01） ② 私は、１人しかゐない。 従って、 （01）により、 （02） ③ 理事長が、２人以上ゐる。 のであれば、 ② 理事長は私です。 とは言へない。 従って、 （02）により、 （03） ② 理事長は私です。 と言ふのであれば、 ③ 私以外は理事長ではない。 然るに…

―「昨日（令和元年０６月２４日）の記事」を書き直します。― （01） ③ 理事長が、２人以上ゐる。 のであれば、 ② 理事長は私です。 とは言へない。 従って、 （01）により、 （02） ② 理事長は私です。 と言ふのであれば、 ③ 私以外は理事長ではない。 然る…

（01） ① ＰはＱである＝（Ｐ→Ｑ） ＝ＰならばＱである。 ② ＰがＱである＝（Ｐ→Ｑ＆ ～Ｐ→～Ｑ） ＝ＰならばＱであり、 ＰでないならばＱでない。 ③ ＰもＱである＝｛Ｐ→Ｑ＆～（～Ｐ→～Ｑ）｝＝ＰならばＱであるが、ＰでないならばＱでない、といふわけで…

（01） ① 象は動物である＝象は動物である。 ② 象が動物である＝象は動物であり、 象以外に動物はゐない。 ③ 象も動物である＝象は動物であるが、象以外にも動物はゐる。 従って、 （01）により、 （02） ① 象は動物である＝∀ｘ（象ｘ→動物ｘ）。 ② 象が動物…

（01） （ⅰ） １ （１）∀ｘ（象ｘ→ 動物ｘ） Ａ １ （２） 象ａ→ 動物ａ Ａ ３ （３） 象ａ＆～動物ａ Ａ ３ （４） 象ａ ３＆Ｅ ３ （５） ～動物ａ ３＆Ｅ １３ （６） 動物ａ ２４ＭＰＰ １３ （７） ～動物ａ＆動物ａ ５６＆Ｉ １ （８） ～（象ａ＆～動…

（01） （ⅰ） １ （１）∀ｘ（象ｘ→ 動物ｘ） Ａ １ （２） 象ａ→ 動物ａ Ａ ３ （３） 象ａ＆～動物ａ Ａ ３ （４） 象ａ ３＆Ｅ ３ （５） ～動物ａ ３＆Ｅ １３ （６） 動物ａ ２４ＭＰＰ １３ （７） ～動ａ＆動物ａ ５６＆Ｉ １ （８） ～（象ａ＆～動物…

（01） （ⅰ） １ （１）∀ｘ（象ｘ→ 動物ｘ） Ａ １ （２） 象ａ→ 動物ａ Ａ ３（３） 象ａ＆～動物ａ Ａ ３（４） 象ａ ３＆Ｅ ３（５） ～動物ａ ３＆Ｅ １３（６） 動物ａ ２４ＭＰＰ １３（７） ～動物ａ＆動物ａ ５６＆Ｉ １ （８） ～（象ａ＆～動物ａ…

―「先ほどの記事（269）」の続きを書きます。―（02）により、（10)① Ｐ→ Ｑ ＝Ｐならば、Ｑである。② ～（Ｐ＆～Ｑ）＝ＰであってＱでない。といふことはない。に於いて、①＝② である。然るに、（11）② ＰであってＱでない。といふことはない。といふのであ…

（01）（ⅰ）１ （１） Ｐ→ Ｑ Ａ ２（２） Ｐ＆～Ｑ Ａ ２（３） Ｐ ２＆Ｅ ２（４） ～Ｑ ２＆Ｅ１２（５） Ｑ １３ＭＰＰ１２（６） ～Ｑ＆Ｑ ４５＆Ｉ１ （７）～（Ｐ＆～Ｑ） ２６ＲＡＡ（ⅱ）１ （１）～（Ｐ＆～Ｑ） Ａ ２ （２） Ｐ Ａ ３（３） ～Ｑ …

（01） ① 象は鼻は長く、鼻以外は長くない。 ② 兎は耳は長く、耳以外は長くない。 従って、 （02） ③ ある兎が象である。ならば、 ③ 兎は、耳以外は長くない。にも拘らず、その ③ 兎は、鼻も長いことになる。 従って、 （01）（02）により、 （03） ③ ある象…

―「記事（262・263・264・265・266）」書き直します。― （01） １ （１）象は鼻が長い。 Ａ １ （〃）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ ２ （２）兎の耳は長く、兎の耳は鼻ではない。 Ａ ２ （〃）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）…

（01）｛ｘの変域｝＝｛兎、象、馬、キリン｝｛ｙの変域｝＝｛耳、鼻、顔、首｝であるとすると、① 象は鼻が長い。⇔① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長く…

（01）① 象は鼻は長い＝ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝＝すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長い。② 象は鼻が長い＝ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ ＝すべてのｘについて、ｘが象であるな…

―「先ほどの記事」を補足します。― （01） ①（鼻ｘｙ＆象ｙ）→長ｘ＝ｘはｙの鼻であって、ｙが象ならば、ｘは長い。 であっても、 ②（鼻ｙｘ＆象ｘ）→長ｙ＝ｙはｘの鼻であって、ｘが象ならば、ｙは長い。 であっても、どちらでも良い。 従って、 （02） ① ∀…

（01） ① 鼻は象は長い＝鼻は象は長い。 ② 鼻は象が長い＝鼻は象は長く、象の鼻以外は長くない。 ③ 鼻が象は長い＝鼻は象は長く、象は、鼻以外は、長くない。 ④ 鼻が象が長い＝鼻は象は長く、象は、鼻以外は、長くなく、象は鼻以外は長くない。 であるとする…

（01） ① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝＝すべてのｘについて、ｘが象ならば、あるｙはｘの鼻であって、長い。 ② 鼻は象は長い＝∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝＝すべてのｙと、すべてのｘについて、（ｙがｘの鼻であって、ｘが象である…

（01） 「昨日の記事（令和元年６月１１日）」で確認した通り、 ① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ ② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ ③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～象ｘ→～∃ｙ…

（01） ① 象は（鼻は長い）。 といふ「日本語」は、 ① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝⇔ ① すべてのｘについて｛ｘが象であるならば、あるｙは、ｘの鼻であって、長い｝。 といふ「述語論理」に相当する。 然るに、 （02） ② 象は（鼻は長く、鼻以外も長い…

―「昨日の記事（252・253）」を補足します。― （01） ① Ｐ→Ｑ（ＰならばＱである。） に於いて、「逆も真である」ならば、そのときに限って、「ＰとＱは、等しい。」 従って、 （01）により、 （02） ①（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ） ②（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ…

―「文字数」が超過なので、二つに分けます、（252）が「前半」で、（253）が「後半」です。― （01） ① 象は鼻が長い＝象は鼻は長く、鼻以外は長くない。 ① 象は鼻が長く、鼻以外は長くない＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。 然る…

そのため、 （19） １ （キ） 長ａ→鼻ａｂ エカＣＰ は、「不可」であるといふ、「姑息な（？）手段」を用ひることにして、次のやうに、「計算」を続けることにする。 （20） １ （１） ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝ Ａ …

（01） ｛ｘの変域｝＝｛象｝ であるとして、 ① 象は鼻が長い。 ⇔ 象は、鼻は長く、鼻以外は長くない。 であって、 ｛ｘの変域｝＝｛兎、象、馬、キリン｝ であるとして、 ② 耳は兎が長い。 ⇔ 耳は、兎が長く。兎以外は長くない。 ② 鼻は象が長い。 ⇔ 鼻は、…

―「昨日の記事（250）」を、シンプルなものに、書き直します。― （01） （ⅱ） １ （１） Ｐ→Ｑ Ａ ２ （２） Ｐ Ａ ３（３） ～Ｑ Ａ １２ （４） Ｑ １２ＭＰＰ １２３（５）～Ｑ＆Ｑ ３４＆Ｉ １ ３（６）～Ｐ ２５ＲＡＡ １ （７）～Ｑ→～Ｐ ３６ＣＰ （ⅲ…

三上文法批判：「鼻が」は「補語」か。他。 （01） 学校文法は単純な英語文法からの輸入で、主語・述語関係を単純に当てはめたものだ。そのため、「象は、鼻が長い」という単純な文でさえ、どれが主語だか指摘できず、複数主語だとか、主語の入れ子だとか、…

―「昨日の記事」を書き直します。― （01） ① Ｐ→Ｑ（ＰならばＱである）。 といふ「仮言命題」自体は、 ① Ｐである。とも、Ｐでない。とも、 ① Ｑである。とも、Ｑでない。とも、言っていない。 然るに、 （02） （ⅰ） １ （１） Ｐ→Ｑ Ａ ２ （２） Ｐ Ａ …