―「記事（262・263・264・265・266）」書き直します。―
（01）
１ （１）象は鼻が長い。 Ａ
１ （〃）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
２ （２）兎の耳は長く、兎の耳は鼻ではない。 Ａ
２ （〃）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ
３ （３）ある兎は象である。 Ａ
３ （〃）∃ｘ（兎ｘ＆象ｘ） Ａ
３ （〃）あるｘは兎であって象である。 Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
２ （５） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） １ＵＥ
６ （６） 兎ａ＆象ａ Ａ
６ （７） 象ａ ６＆Ｅ
６ （８） 兎ａ ６＆Ｅ
１ ６ （９） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ４７ＭＰＰ
２ ６ （ア） ∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ５８ＭＰＰ
１ ６ （イ） ∃ｙ（鼻ｙａ＆長ｙ） ９＆Ｅ
２ ６ （ウ） ∃ｙ（耳ｙａ＆長ｙ） ア＆Ｅ
エ （エ） 鼻ｂａ＆長ｂ Ａ
オ（オ） 耳ｂａ＆長ｂ Ａ
１ ６ （カ） ∀ｚ（～鼻ｚａ→～長ｚ） ９＆Ｅ
１ ６ （キ） ～鼻ｂａ→～長ｂ カＵＥ
２ ６ （ク） ∀ｚ（耳ｚａ→～鼻ｚａ） ア＆Ｅ
２ ６ （ケ） 耳ｂａ→～鼻ｂａ クＵＥ
オ （コ） 耳ｂａ オ＆Ｅ
２ ６オ （サ） ～鼻ｂａ ケコＭＰＰ
１２ ６オ （シ） ～長ｂ キサＭＰＰ
オ （ス） 長ｂ エ＆Ｅ
１２ ６オ （セ） 長ｂ＆～長ｂ シス＆Ｉ
１２ ６ （ソ） 長ｂ＆～長ｂ ウオセＥＥ
１２３ （タ） 長ｂ＆～長ｂ ３６ソＥＥ
１２ （チ）～∃ｘ（兎ｘ＆象ｘ） ３タＲＡＡ
１２ （ツ）∀ｘ～（兎ｘ＆象ｘ） チ量化子の関係
１２ （テ） ～（兎ａ＆象ａ） ツＵＥ
１２ （ト） ～兎ａ∨～象ａ テ、ド・モルガンの法則
１２ （ナ） 兎ａ→～象ａ ト含意の定義
１２ （ニ）∀ｘ（兎ｘ→～象ｘ） ナＵＩ
１２ （〃）すべてのｘについて、ｘが兎であるならば、ｘは象ではない。 ナＵＩ
１２ （〃）兎は象ではない。
従って、
（01）により、
（02）
（１）象は鼻が長い。
（２）兎には長い耳が有り、兎の耳は鼻ではない。
（３）ある兎は象である。
といふ「仮定」により、
（二）兎は象ではない。
といふ『結論』を得る。
然るに、
（01）により、
（03）
（３）ある兎は象である。
と「仮定」すると、
（ｶｼ）耳ａｂ→～鼻ｂａ→～長ｂ
（〃）耳ならば、鼻ではないので、長くない。
と、言ってゐる。
従って、
（03）により、
（04）
（３）ある兎は象である。
と「仮定」することによって、
（ｶｼ）兎の耳ならば、兎の鼻ではないので、兎の耳は長くない。
と言ふのはなく、飽くまでも、
（ｶｼ）象の耳ならば、象の鼻ではないので、象の耳は長くない。
と、言ってゐる。
従って、
（01）～（04）により、
（05）
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
① 象は鼻が長い＝すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
といふ「日本語・述語論理」からは、
① 兎の耳は長くない。
といふ『結論』を得ることは、出来ない。
然るに、
（06）
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
① 象は鼻が長い＝すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
に対して、「単純」に、
② 鼻は象が長い＝∀ｘ｛鼻ｘ→∃ｙ（象ｙｘ＆長ｙ）＆∀ｚ（～象ｚｘ→～長ｚ）｝。
② 鼻は象が長い＝すべてのｘについて、ｘが鼻であるならば、あるｙはｘの象であって、ｙは長く、すべてのｚについて、ｚがｘの象でないならば、ｚは長くない。
であるとする。
然るに、
（07）
② 鼻は象が長い＝すべてのｘについて、ｘが鼻であるならば、
といふことは、
② あるｙはｘ（鼻）の象であって、ｙは長く、すべてのｚについて、ｚがｘ（鼻）の象でないならば、ｚは長くない。
といふ、ことである。
然るに、
（08）
② あるｙは「象の鼻」である。
に対して、
② あるｙは「鼻の象」である。
といふ「日本語」は、「意味」をなさない。
従って、
（06）（07）（08）により、
（09）
② 鼻は象が長い＝∀ｘ｛鼻ｘ→∃ｙ（象ｙｘ＆長ｙ）＆∀ｚ（～象ｚｘ→～長ｚ）｝。
② 鼻は象が長い＝すべてのｘについて、ｘが鼻であるならば、あるｙはｘの象であって、ｙは長く、すべてのｚについて、ｚがｘの象でないならば、ｚは長くない。
といふ、
②「日本語」＝「述語論理式」。
は、「マチガイ」である。
然るに、
（10）
② 鼻は象が長い＝∀ｘ｛鼻ｘ→∃ｙ（象ｙｘ＆長ｙ）＆∀ｚ（～象ｚｘ→～長ｚ）｝。
② 鼻は象が長い＝すべてのｘについて、ｘが鼻であるならば、あるｙはｘの象であって、ｙは長く、すべてのｚについて、ｚがｘの象でないならば、ｚは長くない。
ではなく、
③ 鼻は象が長い＝∀ｘ｛鼻ｘ→∃ｙ［（象ｙ＆鼻ｘｙ＆長ｘ）＆∀ｚ（～鼻ｚｙ→～長ｚ］｝。
③ 鼻は象が長い＝すべてのｘについて、ｘが鼻ならば、あるｙは象であって、ｘはｙの鼻であって、長く、すべてのｚについて、ｚがｙ（象）の鼻でないならば、ｚは長くない。
であると、する。
然るに、
（11）
１ （１）鼻は象が長い。 Ａ
１ （〃）∀ｘ｛鼻ｘ→∃ｙ［（象ｙ＆鼻ｘｙ＆長ｘ）＆∀ｚ（～鼻ｚｙ→～長ｚ）］｝ Ａ
１ （〃）すべてのｘについて、ｘが鼻ならば、あるｙは象であって、ｘはｙの鼻であって、長く、すべてのｚについて、ｚがｙの鼻でないならば、ｚは長くない。 Ａ
１ （２） 鼻ａ→∃ｙ［（象ｙ＆鼻ａｙ＆長ａ）＆∀ｚ（～鼻ｚｙ→～長ｚ）］ １ＵＥ
３ （３）鼻はある。 Ａ
３ （〃）∃ｘ（鼻ｘ） Ａ
３ （〃）あるｘ鼻である。 Ａ
４ （４） 鼻ａ Ａ
１ ４ （５） ∃ｙ［（象ｙ＆鼻ａｙ＆長ａ）＆∀ｚ（～鼻ｚｙ→～長ｚ）］ ２４ＭＰＰ
１ ４ （６） （象ｂ＆鼻ａｂ＆長ａ）＆∀ｚ（～鼻ｚｂ→～長ｚ） Ａ
１ ４ （７） （象ｂ＆鼻ａｂ＆長ａ） ６＆Ｅ
１ ４ （８） ∀ｚ（～鼻ｚｂ→～長ｚ） ６＆Ｅ
１ ４ （９） ～鼻ａｂ→～長ａ ＆ＵＥ
ア （ア）兎の耳は鼻ではない。 Ａ
ア （〃）∃ｘ∃ｙ（耳ｘｙ＆兎ｙ＆～鼻ｘｙ） Ａ
ア （〃）あるｘはあるｙの耳であって、ｙは兎であって、ｘはｙの鼻ではない。 Ａ
イ （イ） ∃ｙ（耳ａｙ＆兎ｙ＆～鼻ａｙ） Ａ
ウ（ウ） 耳ａｂ＆兎ｂ＆～鼻ａｂ Ａ
ウ（エ） 耳ａｂ＆兎ｂ ウ＆Ｅ
ウ（オ） ～鼻ａｂ エ＆Ｅ
１ ４ ウ（カ） ～長ａ ９オＭＰＰ
１ ４ ウ（キ） 耳ａｂ＆兎ｂ＆～長ａ エカ＆Ｉ
１ ４ ウ（ク） ∃ｙ（耳ａｙ＆兎ｙ＆～長ａ） キＥＩ
１ ４ イ （ケ） ∃ｙ（耳ａｙ＆兎ｙ＆～長ａ） イウクＥＥ
１ ４ イ （コ）∃ｘ∃ｙ（耳ｘｙ＆兎ｙ＆～長ｘ） クＥＩ
１ ４ア （サ）∃ｘ∃ｙ（耳ｘｙ＆兎ｙ＆～長ｘ） アイコＥＥ
１３ ア （シ）∃ｘ∃ｙ（耳ｘｙ＆兎ｙ＆～長ｘ） ３４サＥＥ
１３ ア （〃）あるｘは、あるｙの耳であって、ｙは兎であって、ｘは長くない。 ３４サＥＥ
１３ ア （〃）兎の耳は長くない。 ３４サＥＥ
従って、
（11）により、
（12）
（１）鼻は象が長い。
（３）鼻はある。
（ア）兎の耳は鼻ではない。
といふ「仮定」により、
（シ）兎の耳は長くない。
といふ『結論』を得る。
然るに、
（13）
（シ）兎の耳は長い。
が故に、
（シ）兎の耳は長くない。
といふのは、「マチガイ」である。
従って、
（09）～（13）により、
（14）
② 鼻は象が長い＝∀ｘ｛鼻ｘ→∃ｙ（象ｙｘ＆長ｙ）＆∀ｚ（～象ｚｘ→～長ｚ）｝。
② 鼻は象が長い＝すべてのｘについて、ｘが鼻であるならば、あるｙはｘの象であって、ｙは長く、すべてのｚについて、ｚがｘの象でないならば、ｚは長くない。
といふ、
②「日本語」＝「述語論理式」。
に加へて、
③ 鼻は象が長い＝∀ｘ｛鼻ｘ→∃ｙ［（象ｙ＆鼻ｘｙ＆長ｘ）＆∀ｚ（～鼻ｚｙ→～長ｚ］｝。
③ 鼻は象が長い＝すべてのｘについて、ｘが鼻ならば、あるｙは象であって、ｘはｙの鼻であって、長く、すべてのｚについて、ｚがｙ（象）の鼻でないならば、ｚは長くない。
といふ、
②「日本語」＝「述語論理式」。
も、「マチガイ」である。
然るに、
（15）
「ｘはｙの鼻であって、ｙは象である。」⇔「ｘは象の鼻である。」
従って、
（15）により、
（16）
「（ｘはｙの鼻であって、ｙは象である。）ならば、ｘは長い。」⇔「鼻は象は長い。」
従って、
（16）により、
（17）
「（ｘはｙの鼻であって、ｙは象である。）ならば、そのときに限って、ｘは長い。」⇔「鼻は象が長い。」
従って、
（17）により、
（18）
「すべてのｘと、すべてのｙについて（ｘはｙの鼻であって、ｙは象である。）ならば、そのときに限って、ｘは長い。」⇔「鼻は、常に、象が長い。」
従って、
（15）～（18）により、
（19）
③ 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
③ 鼻は象が長い＝すべてのｘとすべてのｙについて、（ｘはｙの鼻であって、ｙが象である）ならば、ｘは長く、（ｘがｙの鼻であって、ｙが象である）でないならば、ｘは長くない。
といふ「等式」が、成立する。
然るに、
（20）
１ （１）象には鼻がある。 Ａ
１ （〃）∃ｘ∃ｙ（鼻ｘｙ＆象ｙ） Ａ
１ （〃）あるｘはあるｙの鼻であって、ｙは象である。 Ａ
２ （２） ∃ｙ（鼻ａｙ＆象ｙ） Ａ
３ （３） 鼻ａｂ＆象ｂ Ａ
４（４）鼻は象が長い。 Ａ
４（〃）∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］］｝ Ａ
４（５） ∀ｙ｛［（鼻ａｙ＆象ｙ］→長ａ］＆［～（鼻ａｙ＆象ｙ）→～長ａ］｝ ４ＵＥ
４（６） （鼻ａｂ＆象ｂ）→長ａ ＆ ～（鼻ａｂ＆象ｂ）→～長ａ ５ＵＥ
４（７） （鼻ａｂ＆象ｂ）→長ａ ６＆Ｅ
３４（８） 長ａ ３７ＭＰＰ
３４（９） 鼻ａｂ＆象ｂ＆長ａ ３８＆Ｉ
３４（ア） ∃ｙ（鼻ａｙ＆象ｙ＆長ａ） ９ＥＩ
２ ４（イ） ∃ｙ（鼻ａｙ＆象ｙ＆長ａ） ２３アＥＥ
２ ４（ウ）∃ｘ∃ｙ（鼻ｘｙ＆象ｙ＆長ｘ） イＥＩ
１ ４（エ）∃ｘ∃ｙ（鼻ｘｙ＆象ｙ＆長ｘ） １２ウＥＥ
１ ４（〃）あるｘは、あるｙの鼻であって、ｙは象であって、ｘは長い。 １２ウＥＥ
１ ４（〃）象の鼻は長い。 １２ウＥＥ
従って、
（20）より、
（21）
（１）象には鼻がある。
（４）鼻は象が長い。
といふ「仮定」により、
（エ）象の鼻は長い。
といふ『結論』を得る。
然るに、
（22）
１ （１）兎には鼻があるが、兎は象ではない。 Ａ
１ （〃）∃ｘ∃ｙ（鼻ｘｙ＆兎ｙ＆～象ｙ） Ａ
１ （〃）あるｘはあるｙの鼻であって、ｙは兎であって、象でない。 Ａ
２ （２） ∃ｙ（鼻ａｙ＆兎ｙ＆～象ｙ） Ａ
３ （３） 鼻ａｂ＆兎ｂ＆～象ｂ Ａ
３ （４） 鼻ａｂ ３＆Ｅ
３ （５） 兎ｂ ３＆Ｅ
３ （６） ～象ｂ ３＆Ｅ
７ （７）鼻は象が長い。 Ａ
７ （〃）∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］］｝ Ａ
７ （８） ∀ｙ｛［（鼻ａｙ＆象ｙ］→長ａ］＆［～（鼻ａｙ＆象ｙ）→～長ａ］｝ ４ＵＥ
７ （９） （鼻ａｂ＆象ｂ）→長ａ ＆ ～（鼻ａｂ＆象ｂ）→～長ａ ５ＵＥ
７ （ア） ～（鼻ａｂ＆象ｂ）→～長ａ ６＆Ｅ
イ（イ） 鼻ａｂ→～象ｂ Ａ
イ（ウ） ～鼻ａｂ∨～象ｂ イ含意の定義
イ（エ） ～（鼻ａｂ＆象ｂ） ウ、ド・モルガンの法則
７イ（オ） ～長ａ アエＭＰＰ
７ （カ） 鼻ａｂ→～象ｂ→～長ａ イオＣＰ
３７ （キ） ～象ｂ→～長ａ ４カＭＰＰ
３７ （ク） ～長ａ ６キＭＰＰ
３ （ケ） 鼻ａｂ＆兎ｂ ４５ＭＰＰ
３７ （コ） 鼻ａｂ＆兎ｂ＆～長ａ クケ＆Ｉ
３７ （サ） ∃ｙ（鼻ａｙ＆兎ｙ＆～長ａ） コＥＩ
２ ７ （シ） ∃ｙ（鼻ａｙ＆兎ｙ＆～長ａ） ２３サＥＥ
２ ７ （ス）∃ｘ∃ｙ（鼻ｘｙ＆兎ｙ＆～長ｘ） シＥＩ
１ ７ （セ）∃ｘ∃ｙ（鼻ｘｙ＆兎ｙ＆～長ｘ） １２スＥＥ
１ ７ （〃）あるｘは、あるｙの鼻であって、ｙは兎であって、ｘは長くない。 １２スＥＥ
１ ７ （〃）兎の鼻は長くない。 １２スＥＥ
従って、
（22）より、
（23）
（１）兎には鼻があるが、兎は象ではない。
（７）鼻は象が長い。
といふ「仮定」により、
（セ）兎の鼻は長くない。
といふ『結論』を得る。
従って、
（21）（23）により、
（24）
「鼻は象が長い。」⇔「象の鼻は長い。」
「鼻は象が長い。」⇔「兎の鼻は長くない。」
従って、
（19）～（24）により、
（25）
③ 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
③ 鼻は象が長い＝すべてのｘとすべてのｙについて、（ｘはｙの鼻であって、ｙが象である）ならば、ｘは長く、（ｘがｙの鼻であって、ｙが象である）でないならば、ｘは長くない。
といふ、
③「日本語」＝「述語論理式」。
は、「正しい」。
然るに、
（22）により、
（26）
③ 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
の場合は、
（オ）鼻ａｂ→～象ｂ→～長ａ ⇔
（〃）ａがｂの鼻であるならば、ｂが象でないならば、ａは長くない。
と、言ってゐる。
従って、
（26）により、
（27）
③ 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
の場合は、
（オ）鼻に関して言へば、「象以外の鼻は長くない。」
と言ってゐるが、
｛ｘの変域｝＝｛兎、象、馬、キリン｝
であるとして、このことは、「正しい」。
然るに、
（28）
「交換法則」により、
③（鼻ｘｙ＆象ｙ）は、
③（象ｙ＆鼻ｘｙ）に、「等しい」。
従って、
（27）（28）により、
（29）
③ 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
③ 鼻＿象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（象ｙ＆鼻ｘｙ）→～長ｘ］｝。
の場合は、
（オ）「鼻に関して言へば、象以外は長くない。」と言ってゐて、尚且つ、
（〃）「象に関して言へば、鼻以外は長くない。」と言ってゐる。
然るに、
（30）
③「鼻以外は長くない。」といふことは、
③「鼻が長い。」といふ、ことであって、
③「鼻は長い。」といふ、ことではない。
従って、
（29）（30）により、
（31）
③ 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
ではなく、
③ 鼻が象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
でなければ、ならない。
然るに、
（32）
② ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［鼻ｘｙ→（～象ｙ→～長ｘ）］｝。
であるならば、
③ ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［象ｙ→（～鼻ｘｙ→～長ｘ）］｝。
ではないため、
③ ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
ではない。
従って、
（32）により、
（33）
② ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［鼻ｘｙ→（～象ｙ→～長ｘ）］｝。
であるならば、
（オ）鼻に関して言へば、「象以外の鼻は長くない。」
と言ってゐるが、
（オ）象に関して言へば、「鼻以外の鼻は長くない。」
とは、言ってゐない。
従って、
（27）～（33）により、
（34）
② 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［鼻ｘｙ→（～象ｙ→～長ｘ）］｝。
③ 鼻が象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
といふ「等式」が、成立する。
従って、
（05）（34）により、
（35）
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［鼻ｘｙ→（～象ｙ→～長ｘ）］｝。
といふ「等式」が、成立する。
然るに、
（36）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［鼻ｘｙ→（～象ｙ→～長ｘ）］｝。
に於いて、「両者は、全然、似てゐない。」
従って、
（35）（36）により、
（37）
両方とも、
① ＡはＢがＣである。
② ＡはＢがＣである。
であるにも、拘らず、
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［鼻ｘｙ→（～象ｙ→～長ｘ）］｝。
といふ「日本語の論理構造」は、「全く、似てゐない」。
（01）
｛ｘの変域｝＝｛兎、象、馬、キリン｝
｛ｙの変域｝＝｛耳、鼻、顔、首｝
であるとすると、
① 象は鼻が長い。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
（02）
｛ｘの変域｝＝｛耳、鼻、顔、首｝
｛ｙの変域｝＝｛兎、象、馬、キリン｝
であるとすると、
① 鼻は象が長い。⇔
① ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝⇔
① すべてのｘとすべてのｙについて、（ｘはｙの鼻であって、ｙが象である）ならば、ｘは長く、（ｘがｙの鼻であって、ｙが象である）でないならば、ｘは長くない。
従って、
（01）（02）により、
（03）
同じく、
③ ＡはＢがＣである。
であるとしても、
① 象は鼻が長い＝ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
に於ける、「論理構造」は、「同一」ではない。
然るに、
（04）
｛ｘの変域｝＝｛春、夏、秋、冬｝
｛ｙの変域｝＝｛曙、夜、夕暮れ、早朝｝
であるとして、
１ （１）∀ｘ∀ｙ｛［（春ｘｙ＆曙ｙ）→良ｘ］＆［～（春ｘｙ＆曙ｙ）→～良ｘ］｝ Ａ
２ （２）∃ｘ∃ｙ（春ｘｙ＆夜ｙ＆～曙ｙ） Ａ
１ （３） ∀ｙ｛［（春ａｙ＆曙ｙ）→良ａ］＆［～（春ａｙ＆曙ｙ）→～良ａ］｝ １ＵＥ
１ （４） ［（春ａｂ＆曙ｂ）→良ａ］＆［～（春ａｂ＆曙ｂ）→～良ａ］ ３ＵＥ
１ （５） ～（春ａｂ＆曙ｂ）→～良ａ ４＆Ｅ
６ （６） 春ａｂ→～曙ｂ Ａ
６ （７） ～春ａｂ∨～曙ｂ ６含意の定義
６ （８） ～（春ａｂ＆曙ｂ） ７ド・モルガンの法則
１ ６ （９） ～良ａ ５８ＭＰＰ
１ （ア） 春ａｂ→～曙ｂ→～良ａ ６９ＣＰ
イ （イ） ∃ｙ（春ａｙ＆夜ｙ＆～曙ｙ） Ａ
ウ（ウ） 春ａｂ＆夜ｂ＆～曙ｂ Ａ
ウ（エ） 春ａｂ ウ＆Ｅ
ウ（オ） 夜ｂ ウ＆Ｅ
ウ（カ） ～曙ｂ ウ＆Ｅ
１ ウ（キ） ～曙ｂ→～良ａ アエＭＰＰ
１ ウ（ク） ～良ａ カキＭＰＰ
１ ウ（ケ） 春ａｂ＆夜ｂ エオ＆Ｉ
１ ウ（コ） 春ａｂ＆夜ｂ＆～良ａ クケ＆Ｉ
１ ウ（サ） ∃ｙ（春ａｙ＆夜ｙ＆～良ａ） コＥＩ
１ イ （シ） ∃ｙ（春ａｙ＆夜ｙ＆～良ｘ） イウサＥＥ
１ イ （ス）∃ｘ∃ｙ（春ｘｙ＆夜ｙ＆～良ｘ） シＥＩ
１２ （セ）∃ｘ∃ｙ（春ｘｙ＆夜ｙ＆～良ｘ） ２イスＥＥ
１２ （〃）あるｘは、あるｙの春であって、ｙは夜であって、ｘは良くない。 ２イスＥＥ
１２ （〃）春であって、夜であって、良くない、状態が、存在する。 ２イスＥＥ
１２ （〃）春は夜（が良い。ではない）。 ２イスＥＥ
従って、
（03）（04）により、
（05）
① 象は鼻が長い ＝ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② 鼻は象が長い ＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
③ 春は曙（が良い）＝∀ｘ∀ｙ｛［（春ｘｙ＆曙ｙ）→良ｘ］＆［～（春ｘｙ＆曙ｙ）→～良ｘ］｝。
に於いて、
①と② は、「異なる論理構造」をしてゐて、
②と③ は、「同一の論理構造」をしてゐる。
然るに、
（06）
春はあけぼの。やうやう白くなりゆく山際、少し明かりて、紫だちたる雲の細くたなびきたる。
夏は夜。月のころはさらなり、闇もなほ、蛍の多く飛びちがひたる。また、ただ一つ二つなど、ほのかにうち光て行くもをかし。雨など降るもをかし。
秋は夕暮れ。夕日の差して山の端いと近うなりたるに、烏の寝所へ行くとて、三つ四つ、二つ三つなど飛び急ぐさへあはれなり。まいて雁などの連ねたるが、いと小さく見ゆるは、いとをかし。日入り果てて、風の音、虫の音など、はた言ふべきにあらず。
冬はつとめて。雪の降りたるは言ふべきにもあらず、霜のいと白きも、またさらでもいと寒きに、火など急ぎおこして、炭持て渡るも、いとつきづきし。昼になりて、ぬるくゆるびもていけば、火桶の火も、白き灰がちになりてわろし（枕草子、第一段）。
従って、
（02）（05）（06）により、
（07）
③ 春はあけぼの（が素晴らしい）。
といふ「日本語」は、
③ Speaking of four seasons, especially in spring, dawn is wonderful.⇔
③ 四季に関して言へば、特に、春は、夜が明けようとする頃（曙）が素晴らしい。
といふ、「意味」になる。
然るに、
（08）
「枕草子（第一段）」から、切り離して言へば、
③ 春はあけぼの（が素晴らしい）。
といふ「日本語」は、
③ Speaking of spring, dawn is wonderful.⇔
③ ∀ｘ｛春ｘ→∃ｙ（曙ｙｘ＆良ｙ）＆∀ｚ（～曙ｚｘ→～良ｚ）｝。
といふ「英語」と、「述語論理」に、相当する。
然るに、
（09）
③ Speaking of spring（四季に関して言へば）,
は、「副詞句（Adverbial phrase）」である。
従って、
（08）（09）により、
（10）
③ 春はあけぼの（が素晴らしい）。
に於ける、
③ 春は
は、「副詞句（Adverbial phrase）」である。
従って、
（10）により、
（11）
③ 春はあけぼの（が素晴らしい）。
に於ける、
③ 春は
は、「副詞句（Adverbial phrase）」であるが故に、
③ 春は は、
③ 主題 ではない。
従って、
（12）
① 象は鼻が長い。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
に於ける、
① 象は（すべてのｘについて、ｘが象であるならば、）
は、「副詞句（Adverbial phrase）」であるが故に、
① 象は は、
① 主題 ではない。
然るに、
（13）
学校文法は単純な英語文法からの輸入で、主語・述語関係を単純に当てはめたものだ。そのため、「象は、鼻が長い」という単純な文でさえ、どれが主語だか指摘できず、複数主語だとか、主語の入れ子だとか、奇矯な技を使う。これに対して三上は、日本語には主語はない、とする。「象は」は、テーマを提示する主題であり、これから象についてのことを述べますよというメンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する（この場合は「長い」までをスコープとする）。
（wrong, rogue and log）。
従って、
（12）（13）により、
（14）
① 象は は、
① 象は（∀ｘ｛象ｘ→）
① 象は（象に関して言へば、）
① 象は（Speaking of Elephants，）
① 象は（これから象についてのことを述べますよ、）
① 象は（すべてのｘについて、ｘが象であるならば、）
といふ、「副詞句（Adverbial phrase）」であって、それ故、
① 象は を、直接、
① 主題 と、呼ぶべきではない。
従って、
（14）により、
（15）
① 象は は、
① 象は（これから象についてのことを述べますよ、）
といふ「副詞句（Adverbial phrase）」であるが、その「副詞句」を称して、我々は、
① 主題 と呼ぶ。
と、すべきである。
従って、
（15）により、
（16）
だとすれば、
① 象は は、
① 象は（すべてのｘについて、ｘが象であるならば、）
といふ「副詞句（Adverbial phrase）」であるが、その「副詞句」を称して、我々は、
① 主語 と呼ぶ。
のである、としても、そのことに、対して、「クレーム」を付けるべきではない。
従って、
（14）（15）（16）により、
（17）
③ 春は は、
③ 春は（∀ｘ｛春ｘ→）
③ 春は（春に関して言へば、）
③ 春は（Speaking of spring,）
③ 春は（これから春についてのことを述べますよ、）
③ 春は（すべてのｘについて、ｘが春であるならば、）
といふ、「副詞句（Adverbial phrase）」であって、その「副詞句」を称して、我々は、
① 主語 と呼ぶ。
のである、としても、そのことに、対して、「クレーム」を付けるべきではない。
然るに、
（18）
枕草子の専門家が次のような頭注をつけている。
「春は」は総主語の提示語的用法。「春は曙いとをかし」などの略で。「曙いとをかし」などの述部の主語。
総主語の提示語のような総主語であり、かつ、主語である、とは難儀な話である。
（三上章、日本語の論理、1963年、１４８・９頁）
然るに、
（19）
③ 春は（春に関して言へば、）といふ「それ」は、
③ 春を、「提示してゐる。」といふ風に、解することが、出来る。
従って、
（15）～（19）により、
（20）
「春は」は総主語の提示語的用法。「春は曙いとをかし」などの略で。「曙いとをかし」などの述部の主語。
総主語の提示語のような総主語であり、かつ、主語である。
といふことが、三上先生が言ふように、「難儀な話」である、とは、思へない。
（21）
最後に、もう一度、確認するものの、
③ 春は は、
③ 春は（∀ｘ｛春ｘ→）
③ 春は（春に関して言へば、）
③ 春は（Speaking of spring,）
③ 春は（これから春についてのことを述べますよ、）
③ 春は（すべてのｘについて、ｘが春であるならば、）
といふ、「副詞句（Adverbial phrase）」である。
といふことは、「確実」である。
（01）
① 象は鼻は長い＝ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝＝すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長い。
② 象は鼻が長い＝ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ ＝すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
③ 鼻は象が長い＝∀ｙ∀ｘ｛［（鼻ｙｘ＆象ｘ）→長ｙ］＆［～（鼻ｙｘ＆象ｘ）→～長ｙ］｝＝すべてのｙとすべてのｘについて、（ｙはｘの鼻であって、ｘが象である）ならば、ｙは長く、すべてのｙとすべてのｘについて、（ｙがｘの鼻であって、ｘが象である）でないならば、ｙは長くない。
に於いて、
① であるならば、「象」に関して、「鼻だけを、論じてゐる」。
② であるならば、「象」に関して、「鼻と、鼻以外」を「論じてゐる」。
③ であるならば、「鼻」に関して、「象と、象以外」を「論じてゐる」。
従って、
（01）により、
（02）
① 象は鼻は長い。
② 象は鼻が長い。
③ 鼻は象が長い。
といふ「日本語」は、「３つとも、互いに、同じ」ではない。
然るに、
（03）
１ （１）象は鼻は長い。
１ （〃）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ Ａ
１ （〃）すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻である。 Ａ
２ （２）∃ｘ（象ｘ） Ａ
１ （３） 象ａ→∃ｙ（鼻ｙａ＆長ｙ） １ＵＥ
４ （４） 象ａ Ａ
１ ４ （５） ∃ｙ（鼻ｙａ＆長ｙ） ３４ＭＰＰ
６（６） 鼻ｂａ＆長ｂ Ａ
６（７） 鼻ｂａ ６＆Ｅ
６（８） 長ｂ ６＆Ｅ
４６（９） 鼻ｂａ＆象ａ ４７＆Ｉ
４６（ア） 鼻ｂａ＆象ａ＆長ｂ ８９＆Ｉ
４６（イ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） アＥＩ
１ ４ （ウ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ５６イＥＥ
１ ４ （エ） ∃ｙ∃ｘ（鼻ｙｘ＆象ｘ＆長ｙ） ウＥＩ
１２ （オ） ∃ｙ∃ｘ（鼻ｙｘ＆象ｘ＆長ｙ） ２４エＥＥ
１２ （〃）あるｙは、あるｘの鼻であって、ｘは象であって、ｙは長い。 ２４エＥＥ
１２ （〃）あるｙは、象の鼻であって、ｙは長い。２４エＥＥ
１２ （〃）ある象の鼻は長い。 ２４エＥＥ
といふ「計算（Predicate calculation）」により、
（１）象は鼻は長い。 然るに、
（２）象は存在する。 故に、
（オ）鼻の長い象がゐる。
といふ「推論」は、「妥当（valid）」である。
従って、
（01）（03）により、
（04）
｛変域｝が、｛象の鼻｝であるとして、
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
といふ「等式」は、「正しい」。
然るに、
（05）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
２ （２）∃ｘ∃ｙ（象ｘ＆耳ｙｘ＆～鼻ｙｘ） Ａ
１ （３） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
４ （４） ∃ｙ（象ａ＆耳ｙａ＆～鼻ｙａ） Ａ
５（５） 象ａ＆耳ｂａ＆～鼻ｂａ Ａ
５（６） 象ａ ５＆Ｅ
５（７） 耳ｂａ ５＆Ｅ
５（８） ～鼻ｂａ ５＆Ｅ
１ ５（９） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ３６ＭＰＰ
１ ５（ア） ∀ｚ（～鼻ｚａ→～長ｚ） ９＆Ｅ
１ ５（イ） ～鼻ｂａ→～長ｂ アＵＥ
１ ５（ウ） ～長ｂ ８イＭＰＰ
１ ５（エ） 象ａ＆耳ｂａ ６７＆Ｉ
１ ５（オ） 象ａ＆耳ｂａ＆～長ｂ ウエ＆Ｉ
１ ５（カ） ∃ｙ（象ａ＆耳ｙａ＆～長ｙ） オＥＩ
１ ４ （キ） ∃ｙ（象ａ＆耳ｙａ＆～長ｙ） ４５カＥＥ
１ ４ （ク） ∃ｘ∃ｙ（象ｘ＆耳ｙｘ＆～長ｙ） キＥＩ
１２ （ケ） ∃ｘ∃ｙ（象ｘ＆耳ｙｘ＆～長ｙ） ２４クＥＥ
といふ「計算（Predicate calculation）」により、
（01）象は鼻が長い。 然るに、
（02）象の耳は鼻ではない。 故に、
（ケ）象の耳は長くない。
といふ「推論」は、「妥当（valid）」である。
従って、
（01）（05）により、
（06）
｛変域｝が、｛象の鼻、象の耳、象の首｝等であるとして、
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
といふ「等式」は、「正しい」。
然るに、
（07）
１ （１） ∀ｘ｛兎ｘ→∃ｙ（鼻ｙｘ）｝ Ａ
２ （２） ∀ｘ｛兎ｘ→～象ｘ｝ Ａ
３ （３）∀ｙ∀ｘ｛［（鼻ｙｘ＆象ｘ）→長ｙ］＆［～（鼻ｙｘ＆象ｘ）→～長ｙ］｝ Ａ
１ （４） 兎ａ→∃ｙ（鼻ｙａ） １ＵＥ
２ （５） 兎ａ→～象ａ ２ＵＥ
３ （６） ∀ｘ｛［（鼻ｂｘ＆象ｘ）→長ｂ］＆［～（鼻ｂｘ＆象ｘ）→～長ｂ］｝ ３ＵＥ
３ （７） ［（鼻ｂａ＆象ａ）→長ｂ］＆［～（鼻ｂａ＆象ａ）→～長ｂ］ ６ＵＥ
３ （８） ～（鼻ｂａ＆象ａ）→～長ｂ ７＆Ｅ
９ （９） ∃ｘ（兎ｘ） Ａ
ア （ア） 兎ａ Ａ
２ ア （イ） ～象ａ ５アＭＰＰ
１ ア （ウ） ∃ｙ（鼻ｙａ） ４アＭＰＰ
１ ア （エ） 鼻ｂａ Ａ
オ（オ） 鼻ｂａ→～象ａ Ａ
オ（カ） ～鼻ｂａ∨～象ａ オ含意の定義
オ（キ） ～（鼻ｂａ＆ 象ａ） カ、ド・モルガンの法則
３ オ（ク） ～長ｂ ８キＭＰＰ
３ （ケ） 鼻ｂａ→～象ａ→～長ｂ オクＣＰ
１ ３ ア （コ） ～象ａ→～長ｂ エケＭＰＰ
１２３ ア （サ） ～長ｂ イコＭＰＰ
２ ア （シ） 兎ａ＆～象ａ アイ＆Ｉ
１２ ア （ス） 兎ａ＆～象ａ＆鼻ｂａ エシ＆Ｉ
１２３ ア （シ） 兎ａ＆～象ａ＆鼻ｂａ＆～長ｂ サス＆Ｉ
１２３ ア （ス） ∃ｘ（兎ｘ＆～象ｘ＆鼻ｂｘ＆～長ｂ） シＥＩ
１２３９ （セ） ∃ｘ（兎ｘ＆～象ｘ＆鼻ｂｘ＆～長ｂ） ９アスＥＥ
１２３９ （ソ）∃ｙ∃ｘ（兎ｘ＆～象ｘ＆鼻ｙｘ＆～長ｙ） セＥＩ
１２３９ （〃）あるｙは、兎であって、象ではないｘの鼻であり、ｙは長くない。 セＥＩ
１２３９ （〃）兎であって、象ではないｘの鼻は長くない。 セＥＩ
１２３９ （〃）兎の鼻は長くない。
といふ「計算（Predicate calculation）」により、
（１）兎には鼻がある。 然るに、
（２）兎は象ではない。 然るに、
（３）鼻は象が長い。 然るに、
（９）兎は存在する。 故に、
（ソ）兎の鼻は長くない。
といふ「推論」は、「妥当（valid）」である。
従って、
（07）により、
（08）
｛変域｝が、｛兎、象、キリン｝であるとして、
③ 鼻は象が長い＝∀ｙ∀ｘ｛［（鼻ｙｘ＆象ｘ）→長ｙ］＆［～（鼻ｙｘ＆象ｘ）→～長ｙ］｝。
といふ「等式」は、「正しい」。
従って、
（01）～（08）により、
（09）
｛変域｝が、｛象の鼻、象の耳、象の首｝等であるとして、
② 象は鼻が長い ＝象に関しては、鼻は長く、鼻以外は長くない。
といふ「等式」が成立する。
｛変域｝が、｛兎、象、キリン｝等であるとして、
③ 耳は兎が長い ＝耳に関しては、兎は長く、兎以外は長くない。
③ 鼻は象が長い ＝鼻に関しては、象は長く、象以外は長くない。
③ 首はキリンが長い＝首に関しては、キリンは長く、キリン以外は長くない。
といふ「等式」が成立する。
従って、
（09）により、
（10）
② 象は鼻が長い＝象に関しては、鼻は長く、鼻以外は長くない。
③ 鼻は象が長い＝鼻に関しては、象は長く、象以外は長くない。
といふ「等式」が成立する。
然るに、
（09）により、
（11）
② 象は鼻が長い＝ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
③ 鼻は象が長い＝∀ｙ∀ｘ｛［（鼻ｙｘ＆象ｘ）→長ｙ］＆［～（鼻ｙｘ＆象ｘ）→～長ｙ］｝。
に於いて、両者の｛変域｝が、「異なる」ため、固より、
②＝③ では、有り得ない。
然るに、
（12）
② 象は鼻が長い ＝象に関しては、鼻は長く、鼻以外は長くない。
③ 耳は兎が長い ＝耳に関しては、兎は長く、兎以外は長くない。
③ 鼻は象が長い ＝鼻に関しては、象は長く、象以外は長くない。
③ 首はキリンが長い＝首に関しては、キリンは長く、キリン以外は長くない。
であるといふことは、
② 鼻が長い ＝鼻は長く、鼻以外は長くない。
③ 兎が長い ＝兎は長く、兎以外は長くない。
③ 象が長い ＝象は長く、象以外は長くない。
③ キリンが長い＝キリンは長く、キリン以外は長くない。
といふことに、他ならない。
従って、
（12）により、
（13）
① ＡがＢである＝ＡはＢであり、Ａ以外はＢでない。
② 鼻が長い ＝鼻は長く、鼻以外は長くない。
③ 兎が長い ＝兎は長く、兎以外は長くない。
③ 象が長い ＝象は長く、象以外は長くない。
③ キリンが長い＝キリンは長く、キリン以外は長くない。
といふことに、他ならない。
従って、
（13）により、
（14）
① ＡがＢである ＝ＡはＢであり、 Ａ以外はＢでない。
① 私が理事長です＝私は理事長であり、私以外は理事長ではない。
といふことに、他ならない。
然るに、
（15）
① 私以外は理事長ではない。
の「対偶（contrapotion）」は、
① 理事長は私です。
である。
従って、
（14）（15）により、
（16）
① 私が理事長です。
② 理事長は私です。
③ 私以外は理事長ではない。
に於いて、
①＝②＝③ である。
然るに、
（17）
よく知られているように、「私が理事長です」は語順を変え、
理事長は、私です。
と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、
タゴール記念館は、私が理事です。
と言ったとすれば、これは主辞「タゴール記念館」を品評するという心持ちの文である。
（三上章、日本語の論理、1963年、４０・４１頁）
従って、
（16）（17）により、
（18）
三上先生は、
① 私が理事長です。
② 理事長は私です。
③ 私以外は理事長ではない。
に於いて、
①＝② であることには、「気付いてゐる」ものの、
②＝③ であることには、「気付いては、ゐなかった」。
仮に、
（19）
① 私が理事長です。
② 理事長は私です。
③ 私以外は理事長ではない。
に於いて、
①＝②＝③ である。
といふことに、気付いてゐたならば、
（20）
② 象は鼻が長い。
に於ける、
② 象は は、「主題」であり、
② 象が は、「主格」である。
といふ風に、述べつつも、
② 象は鼻が長い＝象に関しては、鼻は長く、鼻以外は長くない。
といふ「等式」に、「言及」しないはずがない。
然るに、
（21）
日本語には、「象は鼻が長い」や「日本は温泉が多い」など、「○○は××が……」のように二重に主語があるように見える文が多くあります。また、主語だけでなく、「この本は、父が買ってくれました」の「この本は」のように「買う」という動詞の目的語が「は」で示されているように見える文もあります。三上章のこの本は、そのような複雑な性質を持つ「…は…が…」の文（後にこの本の題名にちなんで「象鼻文」とよく呼ばれるようになりました）の性質を、助詞「は」の「代行」の性質を使って明確に説明することでわかりやすく解説していくものです（読書ガイド - 青山学院大学 文学部日本文学科 高校生のみなさんへ）。
従って、
（20）（21）により、
（22）
三上先生は、
② 象は鼻が長い＝象に関しては、鼻は長く、鼻以外は長くない。
といふ「等式」に、「言及」してゐる「形跡」がない。
ｃｆ.
私自身は、「昭和の終はりか、平成の初めに」、『國語と國文學』に対して、
ＡがＢである＝ＡはＢであり、Ａ以外はＢでない。
であって、尚かつ、「Ａが」は、「Ａは」に対する「強調形」であるとの旨の「論文」を投稿して、「没」になってゐます。
然るに、
（07）により、
（23）
② 象は鼻が長い＝象に関しては、鼻は長く、鼻以外は長くない。⇔
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
といふ「等式」が、成立しないのであれば、
（１）象は鼻が長い。 然るに、
（２）象の耳は鼻ではない。 故に、
（ケ）象の耳は長くない。
といふ「推論」は、成立しない。
然るに、
（24）
（１）象は鼻が長い。 然るに、
（２）象の耳は鼻ではない。 故に、
（ケ）象の耳は長くない。
といふ「推論」は、「述語論理」としてだけではなく、「日本語」としても、「妥当（valid）」である。
従って、
（23）（24）により、
（25）
② 象は鼻が長い＝象に関しては、鼻は長く、鼻以外は長くない。⇔
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
といふ「等式」は、「正しい」と、せざるを得ない。
従って、
（05）（22）（25）により、
（26）
三上先生は、
② 象は鼻が長い＝象に関しては、鼻は長く、鼻以外は長くない。
といふ「等式」に、「言及」してゐる「形跡」がない以上、だとすれば、私自身は、「三上文法」なるものを、支持するわけには、行かない。
（27）
先にも書いた通り、「日本語には、英語のやうな、主語は無い。」といふことに関しては、「１００％同意」する。
然るに、
（28）
だからと言って、「日本語には、ラテン語や、ギリシャ語の、やうな主語も無い。」といふことには、ならないし、
解釈の手順
［１］「主語―述語―目的語」などの構文に基づき、主語⇒目的語⇒述語の順に訳出する。返り点が施されていれば、それをたどればよい。
［２］― 省略 ―
［３］― 省略 ―
［４］省略されている語（主語や目的語など）を補い、指示語の指示内容を明らかにする。
［５］― 省略 ―
［６］返り点や送り仮名がの省かれている場合などは、句形の訳し方は「主語―述語―目的語」の文構造を手掛かりにするとよい。
（片桐功雄、難関大学突破 極める漢文、2010年、１７・１８頁）
とのことである。
従って、
（28）により、
（29）
「日本語に、漢文のやうな主語も無い。」とすると、「漢文訓読」は、成立しない。
従って、
（29）により、
（30）
「日本語や漢文に、主語が無い。」といふのであれば、
② 我読漢文＝我、漢文を読む
といふ「漢文」を「理解」するためには、
② 我（我） に対しては、「主語」以外の、「名前」を付ける、「必要」がある。
然るに、
（31）
［４］省略されている語（＃＃や目的語など）を補い、指示語の指示内容を明らかにする。
といふのであれば、
「＃＃」、すなはち、「所謂、主語」といふことになる。
加へて、
（32）
主語や目的語や補語、これだけは自分で考えるクセを付けて下さい。学校の先生がこれまた、考えなくとも、どんどん入れて訳してくれるんです。古文はよく、省かれているんですね。誰が、誰を、誰に、みたいなものが、日本語はよく省略されているんですけど、先生がどんどん補って下さる。で皆さんは何でその主語になるのかよくわかんないまま、またノートに、訳のところに、一生懸命、書いて覚えて、テストを受けてる。さっきも言いました。自力です。「自力で補足するです。」入試のときそばで誰も助けてくれないからですね。で実は、これが皆さんを古文嫌いにさせている、つまり、せっかく、訳ができた。単語を覚えて、Ａさんがしてることを、Ｂさんがしたと勘違いして、変え～んな、文章にしちゃったことないですかあ。ワタシは模擬試験の時にですねえ、よく、ストーリーは、ある程度わかったのに、「やったひととやられた人を勘違い」して、もう途中で「大混乱」してですね。七行目ぐらいまで頑張って読んだのに、もう「まんなか辺」で、プチッと切れて、もうええいいや、ワケわかんなくなっちゃたといって、「放り出す」ことがよくありますけども、これ（主語・目的語・補語）を自分で意識すると、「こうやって考えながらやるんだな」って意識すると、かなり読みやすくなるんです（東進ハイスクール 荻野文子先生 - YouTube）。
といふことも、「本当」である。
従って、
（21）（28）～（32）により、
（33）
三上先生が、「日本語には、主語は無い。」とされたところで、「古文・漢文」を「読解」するためには、「主語」といふ「概念」は、どうしても、「欠くことは、出来ない」。
―「先ほどの記事」を補足します。―
（01）
①（鼻ｘｙ＆象ｙ）→長ｘ＝ｘはｙの鼻であって、ｙが象ならば、ｘは長い。
であっても、
②（鼻ｙｘ＆象ｘ）→長ｙ＝ｙはｘの鼻であって、ｘが象ならば、ｙは長い。
であっても、どちらでも良い。
従って、
（02）
① ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝＝すべてのｘとすべてのｙについて、ｘはｙの鼻であって、ｙが象ならば、ｘは長い。
であっても、
② ∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝＝すべてのｙとすべてのｘについて、ｙはｘの鼻であって、ｘが象ならば、ｙは長い。
であっても、どちらでも良い。
然るに、
（03）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝＝すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長い。
② ∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝＝すべてのｙとすべてのｘについて、ｙはｘの鼻であって、ｘが象ならば、ｙは長い。
に於いて、
① であれば、「象、鼻」の「順番」で「言及」され、
② であれば、「鼻、象」の「順番」で「言及」される。
従って、
（03）により、
（04）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝＝象は鼻は長い。
② ∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝＝鼻は象は長い。
然るに、
（05）
「昨日（令和元年０６月１２日）の記事」でも書いた通り、
１ （１） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ Ａ
１ （２） 象ａ→∃ｙ（象ｙａ＆長ｙ） １ＵＥ
３ （３） 象ａ Ａ
１３ （４） ∃ｙ（象ｙａ＆長ｙ） ２３ＭＰＰ
５（５） 象ｂａ＆長ｂ Ａ
５（６） 長ｂ ５＆Ｅ
５（７） ～（鼻ｂａ＆象ａ）∨長ｂ ６∨Ｉ
５（８） （鼻ｂａ＆象ａ）→長ｂ ７含意の定義
１３ （９） （鼻ｂａ＆象ａ）→長ｂ ４５８ＥＥ
１３ （ア） ∀ｘ｛（鼻ｂｘ＆象ｘ）→長ｂ｝ ９ＵＩ
１３ （イ）∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝ アＵＩ
然るに、
（06）
１３ （ア） ∀ｘ｛（鼻ｂｘ＆象ｘ）→長ｂ｝ ９ＵＩ
は、「ＵＩ（普遍量記号導入の規則）」に対する「違反」である。
（07）
１ （１）∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝ Ａ
１ （２） ∀ｘ｛（鼻ｂｘ＆象ｘ）→長ｂ １ＵＩ
１ （３） （鼻ｂｘ＆象ａ）→長ｂ ２ＵＩ
４ （４） 象ａ Ａ
５（５） 鼻ｂａ Ａ
４５（６） 鼻ｂａ＆象ａ ３４＆Ｉ
１４５（７） 長ｂ ３６ＭＰＰ
１４５（８） 鼻ｂａ＆長ｂ ５７＆Ｉ
１４５（９） ∃ｙ（鼻ｙａ＆長ｙ） ８ＥＩ
１ ５（ア） 象ａ→∃ｙ（鼻ｙａ＆長ｙ） ４９ＣＰ
１ ５（イ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ アＵＩ
然るに、
（08）
１ ５（イ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ アＵＩ
といふことは、
１ （１）∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝ Ａ
５（５） 鼻ｂａ Ａ
から、
１ ５（イ）∀ｚ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ アＵＩ
が「演繹」されてゐる。
従って、
（04）～（08）により、
（09）
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 鼻は象は長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝。
に於いて、
① ならば、② ではないし、
② ならば、① でもない。
従って、
（09）により、
（10）
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 鼻は象は長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝。
といふ「それ」は、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
② ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝
といふ「右辺」からすると、
① 象は鼻は長い。
② 鼻は象は長い。
といふ「左辺」も、「同じ」ではない。
然るに、
（11）
（１）象には鼻がある。
（２）象は鼻は長い。
（３）象は存在する。
といふ「仮定」により、当然、
（４）鼻の長い象がゐる。
といふ『結論』を得る。
然るに、
（12）
１ （１）象に鼻がある。 Ａ
１ （〃）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ）｝ Ａ
１ （〃）すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻である。 Ａ
２ （２）象は鼻は長い。
２ （〃）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ Ａ
２ （〃）すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻である。 Ａ
３ （３）∃ｘ（象ｘ） Ａ
２ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ） ２ＵＥ
５ （５） 象ａ Ａ
２ ５ （６） ∃ｙ（鼻ｙａ＆長ｙ） ４５ＭＰＰ
７（７） 鼻ｂａ＆長ｂ Ａ
７（８） 鼻ｂａ ７＆Ｅ
７（９） 長ｂ ７＆Ｅ
５７（ア） 鼻ｂａ＆象ａ ５８＆Ｉ
５７（イ） 鼻ｂａ＆象ａ＆長ｂ ９ア＆Ｉ
５７（ウ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） イＥＩ
２ ５ （エ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ６７ウＥＥ
２ ５ （オ） ∃ｙ∃ｘ（鼻ｙｘ＆象ｘ＆長ｙ） エＥＩ
２３ （カ） ∃ｙ∃ｘ（鼻ｙｘ＆象ｘ＆長ｙ） ３５オＥＥ
２３ （〃）あるｙは、あるｘの鼻であって、ｘは象であって、ｙは長い。 ３５オＥＥ
２３ （〃）あるｙは、象の鼻であって、ｙは長い。３５オＥＥ
２３ （〃）ある象の鼻は長い。 ３５オＥＥ
従って、
（11）（12）により、
（13）
（２）象は鼻は長い。
（３）象は存在する。
といふ「仮定」により、当然、
（４）鼻の長い象がゐる。
といふ『結論』を得る。
然るに、
（14）
（１）象には鼻がある。
（２）鼻は象は長い。
（３）象は存在する。
といふ「仮定」であっても、当然、
（４）鼻の長い象がゐる。
といふ『結論』を得る。
従って、
（15）
（１）象には鼻がある。
（２）鼻は象は長い。
（３）象は存在する。
といふ「仮定」であっても、当然、
（４）鼻の長い象がゐる。
といふ『結論』を得ることが、出来ない。
としたら、
（２）鼻は象は長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝。
といふ「等式」は、「マチガイ」であると、せざるを得ない。
然るに、
（16）
１ （１） ∀ｘ｛ 象ｘ→∃ｙ（鼻ｙｘ）｝ Ａ
２ （２）∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝ Ａ
３ （３） ∃ｘ（象ｘ） Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ） １ＵＥ
５ （５） 象ａ Ａ
１ ５ （６） ∃ｙ（鼻ｙａ） ４５ＭＰＰ
７（７） 鼻ｂａ Ａ
５７（８） 鼻ｂａ＆象ａ ５７＆Ｉ
２ （９） ∀ｘ｛（鼻ｂｘ＆象ｘ）→長ｂ ２ＵＥ
２ （ア） 鼻ｂａ＆象ａ →長ｂ ９ＵＥ
２ ５７（イ） 長ｂ ８ア
２ ５７（ウ） 鼻ｂａ＆象ａ＆長ｂ ８イ＆Ｉ
２ ５７（エ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ウＥＩ
１２ ５ （オ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ６７エＥＥ
１２３ （カ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ３５オＥＥ
１２３ （キ） ∃ｙ∃ｘ（鼻ｙｘ＆象ｘ＆長ｙ） カＥＩ
１２３ （〃）あるｙは、あるｘの鼻であって、ｘは象であって、ｙは長い。 カＥＩ
１２３ （〃）あるｙは、象の鼻であって、ｙは長い。カＥＩ
１２３ （〃）ある象の鼻は長い。 カＥＩ
従って、
（16）により、
（17）
（１）象には鼻がある。
（２）鼻は象は長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝。
（３）象は存在する。
といふ「仮定」により、
（４）鼻の長い象がゐる。
といふ『結論』を得ることが、出来た。
従って、
（17）により、
（18）
（２）鼻は象は長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝。
といふ「等式」は、「正しい」。
従って、
（16）（17）（18）により、
（19）
（２）鼻は象は長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝。
といふ「等式」を、「拒否」したいのであれば、
１ （１） ∀ｘ｛ 象ｘ→∃ｙ（鼻ｙｘ）｝ Ａ
２ （２）∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝ Ａ
３ （３） ∃ｘ（象ｘ） Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ） １ＵＥ
５ （５） 象ａ Ａ
１ ５ （６） ∃ｙ（鼻ｙａ） ４５ＭＰＰ
７（７） 鼻ｂａ Ａ
５７（８） 鼻ｂａ＆象ａ ５７＆Ｉ
２ （９） ∀ｘ｛（鼻ｂｘ＆象ｘ）→長ｂ ２ＵＥ
２ （ア） 鼻ｂａ＆象ａ →長ｂ ９ＵＥ
２ ５７（イ） 長ｂ ８ア
２ ５７（ウ） 鼻ｂａ＆象ａ＆長ｂ ８イ＆Ｉ
２ ５７（エ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ウＥＩ
１２ ５ （オ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ６７エＥＥ
１２３ （カ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ３５オＥＥ
１２３ （キ） ∃ｙ∃ｘ（鼻ｙｘ＆象ｘ＆長ｙ） カＥＩ
１２３ （〃）あるｙは、あるｘの鼻であって、ｘは象であって、ｙは長い。 カＥＩ
１２３ （〃）あるｙは、象の鼻であって、ｙは長い。カＥＩ
１２３ （〃）象の鼻は長い。 カＥＩ
といふ「計算」の、「何処が、どう、マチガイなのか。」といふことを、「指摘」しなければならない。
（20）
「計算」自体が、「マチガイ」ではないのであれば、
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長い。
② すべてのｙとすべてのｘについて、ｙはｘの鼻であって、ｘが象ならば、ｙは長い。
に於いて、
① であれば、「象、鼻」の「順番」で「言及」され、
② であれば、「鼻、象」の「順番」で「言及」されるから、と言って、
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 鼻は象は長い＝∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝。
とするのは、「正しく」ない。
といふ風に、言はなければならない。
然るに、
（21）
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 鼻は象は長い＝∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝。
ではない。といふのであれば、その人自身が、
① 象は鼻は長い。
② 鼻は象は長い。
といふ「日本語」に対応する、
① 述語論理式
② 述語論理式
を、「提示」しなければ、ならない。
然るに、
（22）
確かに、「象は、鼻が長い。」という文の主語は何か、と尋ねられたら返答に窮する。学校文法に従えば「象は」も「鼻が」も両方とも「主語」ということになる。しかし、単文に2つの主語があるのは変だ。三上文法によると、「象は、鼻が長い。」という文において、「象は」は題（主題、題目 topic）で、残りの部分「鼻が長い」は解説 (comment) だという。この文の場合、「鼻が」という主格が解説に含まれている（リベラル２１、2009.02.21 日本語に主語はあるのか）。
然るに、
（23）
③ 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
の「右辺」には、「主語（ｘ、ｙ、ｚ）」が、「３つ（象、鼻、鼻以外）」ある。
（24）
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 鼻は象が長い＝∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝。
の「右辺」には、それぞれ、
① 象は、鼻は、
② 鼻は、象は、
といふ風に、
① 題（主題、題目 topic）が、２つあって、
② 題（主題、題目 topic）が、２つある。
然るに、
従って、
（22）（24）により、
（25）
単文に2つの「主語」があるのは変だ。
といふのであれば、
単文に2つの「主題」があるのも変だ。
と、すべきである。
（01）
① 鼻は象は長い＝鼻は象は長い。
② 鼻は象が長い＝鼻は象は長く、象の鼻以外は長くない。
③ 鼻が象は長い＝鼻は象は長く、象は、鼻以外は、長くない。
④ 鼻が象が長い＝鼻は象は長く、象は、鼻以外は、長くなく、象は鼻以外は長くない。
であるとする。
従って、
（01）により、
（02）
① 鼻は象は長い＝∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝。
② 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
③ 鼻が象は長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｙ］＆［（～鼻ｘｙ＆象ｙ）→～長ｘ］｝。
④ 鼻が象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｙ］＆［（～鼻ｘｙ＆象ｙ）→～長ｘ］＆～（鼻ｘｙ＆象ｙ）→～長］｝。
であるものの、「①と②」に関しては、「③と④」よりも、確実である。
（03）
１ （１） ∀ｘ｛ 象ｘ→∃ｙ（鼻ｙｘ）｝ Ａ
２ （２）∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝ Ａ
３ （３） ∃ｘ（象ｘ） Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ） １ＵＥ
５ （５） 象ａ Ａ
１ ５ （６） ∃ｙ（鼻ｙａ） ４５ＭＰＰ
７（７） 鼻ｂａ Ａ
５７（８） 鼻ｂａ＆象ａ ５７＆Ｉ
２ （９） ∀ｘ｛（鼻ｂｘ＆象ｘ）→長ｂ ２ＵＥ
２ （ア） 鼻ｂａ＆象ａ →長ｂ ９ＵＥ
２ ５７（イ） 長ｂ ８ア
２ ５７（ウ） 鼻ｂａ＆象ａ＆長ｂ ８イ＆Ｉ
２ ５７（エ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ウＥＩ
１２ ５ （オ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ６７エＥＥ
１２３ （カ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ３５オＥＥ
１２３ （キ） ∃ｙ∃ｘ（鼻ｙｘ＆象ｘ＆長ｙ） カＥＩ
１２３ （〃）あるｙは、あるｘの鼻であって、ｘは象であって、ｙは長い。 カＥＩ
１２３ （〃）あるｙは、象の鼻であって、ｙは長い。カＥＩ
１２３ （〃）象の鼻は長い。 カＥＩ
従って、
（03）により、
（04）
（１）象には鼻がある。
（２）鼻は象は長い。
（３）象は存在する。
といふ「仮定」により、
（４）鼻の長い象がゐる。
といふ『結論』を得る。
従って、
（03）（04）により、
（05）
（１）象には鼻がある＝ ∀ｘ｛ 象ｘ→∃ｙ（鼻ｙｘ）｝。
（２）鼻は象は長い ＝∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝。
（３）兎は存在する ＝ ∃ｘ（兎ｘ）。
といふ「等式」は、「正しい」。
然るに、
（06）
１ （１） ∀ｘ｛兎ｘ→∃ｙ（鼻ｙｘ）｝ Ａ
２ （２） ∀ｘ｛兎ｘ→～象ｘ｝ Ａ
３ （３）∀ｙ∀ｘ｛［（鼻ｙｘ＆象ｘ）→長ｙ］＆［～（鼻ｙｘ＆象ｘ）→～長ｙ］｝ Ａ
１ （４） 兎ａ→∃ｙ（鼻ｙａ） １ＵＥ
２ （５） 兎ａ→～象ａ ２ＵＥ
３ （６） ∀ｘ｛［（鼻ｂｘ＆象ｘ）→長ｂ］＆［～（鼻ｂｘ＆象ｘ）→～長ｂ］｝ ３ＵＥ
３ （７） ［（鼻ｂａ＆象ａ）→長ｂ］＆［～（鼻ｂａ＆象ａ）→～長ｂ］ ６ＵＥ
３ （８） ～（鼻ｂａ＆象ａ）→～長ｂ ７＆Ｅ
９ （９） ∃ｘ（兎ｘ） Ａ
ア （ア） 兎ａ Ａ
２ ア （イ） ～象ａ ５アＭＰＰ
１ ア （ウ） ∃ｙ（鼻ｙａ） ４アＭＰＰ
１ ア （エ） 鼻ｂａ Ａ
オ（オ） 鼻ｂａ→～象ａ Ａ
オ（カ） ～鼻ｂａ∨～象ａ オ含意の定義
オ（キ） ～（鼻ｂａ＆ 象ａ） カ、ド・モルガンの法則
３ オ（ク） ～長ｂ ８キＭＰＰ
３ （ケ） 鼻ｂａ→～象ａ→～長ｂ オクＣＰ
１ ３ ア （コ） ～象ａ→～長ｂ エケＭＰＰ
１２３ ア （サ） ～長ｂ イコＭＰＰ
２ ア （シ） 兎ａ＆～象ａ アイ＆Ｉ
１２ ア （ス） 兎ａ＆～象ａ＆鼻ｂａ エシ＆Ｉ
１２３ ア （シ） 兎ａ＆～象ａ＆鼻ｂａ＆～長ｂ サス＆Ｉ
１２３ ア （ス） ∃ｘ（兎ｘ＆～象ｘ＆鼻ｂｘ＆～長ｂ） シＥＩ
１２３９ （セ） ∃ｘ（兎ｘ＆～象ｘ＆鼻ｂｘ＆～長ｂ） ９アスＥＥ
１２３９ （ソ）∃ｙ∃ｘ（兎ｘ＆～象ｘ＆鼻ｙｘ＆～長ｙ） セＥＩ
１２３９ （〃）あるｙは、兎であって、象ではないｘの鼻であり、ｙは長くない。 セＥＩ
１２３９ （〃）兎であって、象ではないｘの鼻は長くない。 セＥＩ
１２３９ （〃）兎の鼻は長くない。
従って、
（06）により、
（07）
（１）兎には鼻がある。
（２）兎は象ではない。
（３）鼻は象が長い。
（９）兎は存在する。
といふ「仮定」により、
（５）兎の鼻は長くない。
といふ『結論』を得る。
従って、
（06）（07）により、
（08）
（１）象には鼻がある＝ ∀ｘ｛ 象ｘ→∃ｙ（鼻ｙｘ）｝。
（２）兎は象ではない＝ ∀ｘ｛兎ｘ→～象ｘ｝。
（３）鼻は象が長い ＝∀ｙ∀ｘ｛［（鼻ｙｘ＆象ｘ）→長ｙ］＆［～（鼻ｙｘ＆象ｘ）→～長ｙ］｝。
（９）兎は存在する ＝ ∃ｘ（兎ｘ）。
といふ「等式」は、「正しい」。
従って、
（05）（08）により、
（09）
（２）鼻は象は長い ＝∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝。
（３）鼻は象が長い ＝∀ｙ∀ｘ｛［（鼻ｙｘ＆象ｘ）→長ｙ］＆［～（鼻ｙｘ＆象ｘ）→～長ｙ］｝。
といふ「等式」は、「正しい」。
然るに、
（10）
「昨日（令和元年０６月１２日）」の「記事」で「確認」した通り、
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 鼻は象は長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝。
に於いて、
① ならば、② ではないし、
② ならば、① でもない。
従って、
（10）により、
（11）
③ 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
④ 鼻は象が長い＝∀ｙ∀ｘ｛［（鼻ｙｘ＆象ｘ）→長ｙ］＆［～（鼻ｙｘ＆象ｘ）→～長ｙ］｝。
に於いて、
③ ならば、④ ではないし、
④ ならば、③ でもない。
といふことは、「計算」をする迄もなく、さうであるに、違ひない。
然るに、
（12）
いづれにせよ、
① 象は鼻は長い。
③ 象は鼻が長い。
の場合は、
①｛象の耳、象の鼻、象の首｝等が、｛変域｝であるのに対して、
② 鼻は象は長い。
④ 鼻は象が長い。
の場合は、
④ 耳は兎が長い。
④ 鼻は象が長い。
④ 首はキリンが長い。
といふ風に、
④｛兎、象、キリン｝等が、｛変域｝に、ならざるを得ない。
従って、
（11）（12）により、
（13）
さのやうに、｛変域｝が異なる以上、
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 鼻は象は長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝。
に於いて、
①＝② である。
といふことは、有り得ないし、
③ 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
④ 鼻は象が長い＝∀ｙ∀ｘ｛［（鼻ｙｘ＆象ｘ）→長ｙ］＆［～（鼻ｙｘ＆象ｘ）→～長ｙ］｝。
に於いても、
③＝④ である。
といふことは、有り得ない。
従って、
（13）により、
（14）
③ 象は鼻が長い。
④ 鼻は象が長い。
に於いて、
③ と ④ は、「日本語」としては、「同じ」ではないし、「どう違ふ」のかと言へば、
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
④ ∀ｙ∀ｘ｛［（鼻ｙｘ＆象ｘ）→長ｙ］＆［～（鼻ｙｘ＆象ｘ）→～長ｙ］｝。
を見れば分かる通り、「一目瞭然、全く、違ふ」。
といふ、ことになる。
然るに、
（15）
学校文法は単純な英語文法からの輸入で、主語・述語関係を単純に当てはめたものだ。そのため、「象は、鼻が長い」という単純な文でさえ、どれが主語だか指摘できず、複数主語だとか、主語の入れ子だとか、奇矯な技を使う。これに対して三上は、日本語には主語はない、とする。「象は」は、テーマを提示する主題であり、これから象についてのことを述べますよというメンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する（この場合は「長い」までをスコープとする）。また、「鼻が」は主格の補語にすぎなく、数ある補語と同じ格であるとする。基本文は述語である「長い」だけだ（wrong, rogue and log）。
従って、
（15）により、
（16）
③ 象は鼻が長い。
④ 鼻は象が長い。
に於いて、
③「象は」は「主題」で「象が」は「主格」で、
④「鼻は」は「主題」で「象が」は「主格」である。
然るに、
（17）
③「象は」は「主題」で「象が」は「主格」で、
④「鼻は」は「主題」で「象が」は「主格」である。
と言はれても、「正直」に言って、「私には、さうなのですか。さうなのですね。」といふくらいの、「反応」しか出来ない。
然るに、
（18）
② 鼻は象は長い＝∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝。
④ 鼻は象が長い＝∀ｙ∀ｘ｛［（鼻ｙｘ＆象ｘ）→長ｙ］＆［～（鼻ｙｘ＆象ｘ）→～長ｙ］｝。
でないのであれば、これらの「式」を用ひて、
（キ）∃ｙ∃ｘ（鼻ｙｘ＆象ｘ＆長ｙ）＝象の鼻は長い。
（ソ）∃ｙ∃ｘ（兎ｘ＆～象ｘ＆鼻ｙｘ＆～長ｙ）＝兎の鼻は長くない。
といふ『結論』を、得ることは、出来ない。
従って、
（03）（06）（18）により、
（19）
例へば、
② 鼻は象は長い＝∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝。
といふ「等式」が、「マチガイ」である。といふのであれば、
（３）
１ （１） ∀ｘ｛ 象ｘ→∃ｙ（鼻ｙｘ）｝ Ａ
２ （２）∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝ Ａ
３ （３） ∃ｘ（象ｘ） Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ） １ＵＥ
５ （５） 象ａ Ａ
１ ５ （６） ∃ｙ（鼻ｙａ） ４５ＭＰＰ
７（７） 鼻ｂａ Ａ
５７（８） 鼻ｂａ＆象ａ ５７＆Ｉ
２ （９） ∀ｘ｛（鼻ｂｘ＆象ｘ）→長ｂ ２ＵＥ
２ （ア） 鼻ｂａ＆象ａ →長ｂ ９ＵＥ
２ ５７（イ） 長ｂ ８ア
２ ５７（ウ） 鼻ｂａ＆象ａ＆長ｂ ８イ＆Ｉ
２ ５７（エ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ウＥＩ
１２ ５ （オ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ６７エＥＥ
１２３ （カ） ∃ｘ（鼻ｂｘ＆象ｘ＆長ｂ） ３５オＥＥ
１２３ （キ） ∃ｙ∃ｘ（鼻ｙｘ＆象ｘ＆長ｙ） カＥＩ
１２３ （〃）あるｙは、あるｘの鼻であって、ｘは象であって、ｙは長い。 カＥＩ
１２３ （〃）あるｙは、象の鼻であって、ｙは長い。カＥＩ
１２３ （〃）象の鼻は長い。 カＥＩ
といふ「計算」の、「何処が、どう、マチガイなのか。」といふことを、「指摘」しなければならない。
然るに、
（20）
学校では、「述語計算」を教へないし、「日本語の先生や、日本語の教師」の方は、「述語論理」には、興味が無いほうが、普通です。
従って、
（19）（20）により、
（21）
『「・・・・・」といふ「計算」の「マチガイ」を「指摘」せよ。』といふのは、「普通の、日本語の先生や、日本語の教師」の方にとっては、「ムチャな話」ではあると言へば、「ムチャな話」であると、言はざるを得ない。
（01）
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝＝すべてのｘについて、ｘが象ならば、あるｙはｘの鼻であって、長い。
② 鼻は象は長い＝∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝＝すべてのｙと、すべてのｘについて、（ｙがｘの鼻であって、ｘが象である）ならば、ｙは長い。
然るに、
（02）
１ （１） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ Ａ
１ （２） 象ａ→∃ｙ（象ｙａ＆長ｙ） １ＵＥ
３ （３） 象ａ Ａ
１３ （４） ∃ｙ（象ｙａ＆長ｙ） ２３ＭＰＰ
５（５） 象ｂａ＆長ｂ Ａ
５（６） 長ｂ ５＆Ｅ
５（７） ～（鼻ｂａ＆象ａ）∨長ｂ ６∨Ｉ
５（８） （鼻ｂａ＆象ａ）→長ｂ ７含意の定義
１３ （９） （鼻ｂａ＆象ａ）→長ｂ ４５８ＥＥ
１３ （ア） ∀ｘ｛（鼻ｂｘ＆象ｘ）→長ｂ｝ ９ＵＩ
１３ （イ）∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝ アＵＩ
然るに、
（03）
１３ （ア） ∀ｘ｛（鼻ｂｘ＆象ｘ）→長ｂ｝ ９ＵＩ
は、「ＵＩ（普遍量記号導入の規則）」に対する「違反」である。
（04）
１ （１）∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝ Ａ
１ （２） ∀ｘ｛（鼻ｂｘ＆象ｘ）→長ｂ １ＵＩ
１ （３） （鼻ｂｘ＆象ａ）→長ｂ ２ＵＩ
４ （４） 象ａ Ａ
５（５） 鼻ｂａ Ａ
４５（６） 鼻ｂａ＆象ａ ３４＆Ｉ
１４５（７） 長ｂ ３６ＭＰＰ
１４５（８） 鼻ｂａ＆長ｂ ５７＆Ｉ
１４５（９） ∃ｙ（鼻ｙａ＆長ｙ） ８ＥＩ
１ ５（ア） 象ａ→∃ｙ（鼻ｙａ＆長ｙ） ４９ＣＰ
１ ５（イ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ アＵＩ
然るに、
（05）
１ ５（イ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ アＵＩ
といふことは、
１ （１）∀ｙ∀ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ｝ Ａ
５（５） 鼻ｂａ Ａ
から、
１ ５（イ）∀ｚ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ アＵＩ
が「演繹」されてゐる。
従って、
（01）～（05）により、
（06）
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 鼻は象は長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝。
に於いて、
① ならば、② ではないし、
② ならば、① でもない。
（07）
① 象は鼻は長い。
の場合は、
①｛象の耳、象の鼻、象の首｝等が、｛変域｝であるのに対して、
② 鼻は象は長い。
の場合は、
② 耳は兎は長い。
② 鼻は象は長い。
② 首はキリンは長い。
といふ風に、
②｛兎、象、キリン｝等が、｛変域｝になってゐる。
従って、
（06）（07）により、
（08）
さのやうに、｛変域｝が異なる以上、
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 鼻は象は長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝。
に於いて、
①＝② である。
といふことは、有り得ない。
（01）
「昨日の記事（令和元年６月１１日）」で確認した通り、
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）｝
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆～象ｘ→～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］｝
といふ「等式」は、「正しい」。
然るに、
（02）
例へば、
「象は鼻は長い。」と「象は鼻も長い。」とは、「矛盾」せず、
「象は鼻は長い。」と「象は鼻が長い。」とは、「矛盾」せず、
「象は鼻が長い。」と「象は鼻も長い。」とは、「矛盾」する。
従って、
（01）（02）により、
（03）
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）｝
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆～象ｘ→～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］｝
に於いて、それぞれ、
② ∀ｚ（～鼻ｚｘ→～長ｚ）
③ ～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）
④ ～象ｘ→～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）
を「否定」すると、
② 象は鼻も長い。
③ 象も鼻は長い。
④ 象も鼻が長い。
といふ、ことになる。
然るに、
（04）
② ∀ｚ（～鼻ｚｘ→～長ｚ）
の「否定」は、
１ （１）～∀ｚ（～鼻ｚｘ→～長ｚ） Ａ
１ （２）∃ｚ～（～鼻ｚｘ→～長ｚ） １量化子の関係
３（３） ～（～鼻ｃｘ→～長ｃ） Ａ
３（４） ～（ 鼻ｃｘ∨～長ｃ） ３含意の定義
３（５） ～鼻ｃｘ＆～～長ｃ ４ド・モルガンの法則
３（６） ～鼻ｃｘ＆ 長ｃ ５ＤＮ
３（７） ∃ｚ（～鼻ｚｘ＆ 長ｚ） ６ＥＩ
１ （８） ∃ｚ（～鼻ｚｘ＆ 長ｚ） ２３７ＥＥ
によって、得られる。
（05）
③ ～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）
に関しては、「含意の定義」により、
③ 象ｘ∨～∃ｙ（鼻ｙｘ＆長ｙ）
であるため、
③ ～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）
の「否定」は、
③ 象ｘ∨～∃ｙ（鼻ｙｘ＆長ｙ）
の「否定」に、「等しい」。
然るに、
（06）
１（１）～［象ｘ∨～∃ｙ（鼻ｙｘ＆長ｙ）］ Ａ
１（２）～象ｘ＆～～∃ｙ（鼻ｙｘ＆長ｙ） １ド・モルガンの法則
１（３）～象ｘ＆ ∃ｙ（鼻ｙｘ＆長ｙ） ２ＤＮ
然るに、
（07）
④ ～象ｘ→～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］
に関しても、「含意の定義」により、
④ 象ｘ∨～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］
であるため、
④ ～象ｘ→～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］
の「否定」は、
④ 象ｘ∨～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］
の「否定」に、「等しい」。
然るに、
（08）
１（１）～｛象ｘ∨～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］｝ Ａ
１（２）～象ｘ＆～～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］ １ド・モルガンの法則
１（３）～象ｘ＆ ［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］ ２ＤＮ
従って、
（03）～（08）により、
（09）
② ∀ｚ（～鼻ｚｘ→～長ｚ）
③ ～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）
④ ～象ｘ→～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）
の「否定」は、
⑤ ∃ｚ（～鼻ｚｘ＆ 長ｚ）
⑥ ～象ｘ＆∃ｙ（鼻ｙｘ＆長ｙ）
⑦ ～象ｘ＆［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］
である。
従って、
（03）（09）により、
（10）
⑤ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝
⑥ 象も鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～象ｘ＆ ∃ｙ（鼻ｙｘ＆長ｙ）｝
⑦ 象も鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆～象ｘ＆ ［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］｝
といふ「等式」が、成立する。
然るに、
（11）
⑤ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝⇔
⑤ すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、あるｚはｘの鼻ではないが、ｚは長い。
といふことは、
⑤ 象には、長い鼻と、長い鼻以外の部分がある。
といふことである。
（12）
⑥ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～象ｘ＆∃ｙ（鼻ｙｘ＆長ｙ）｝⇔
⑥ すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長く、ｘは象ではなく、あるｙはｘの鼻であって、長い。
といふことは、
⑥ 鼻の長い動物には、象と、象以外の動物がゐる。
といふことである。
（13）
⑦ ∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆～象ｘ＆［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］｝⇔
⑦ すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くなく、ｘは象ではなく、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
といふことは、
⑦ 鼻だけが長い動物には、象と、象以外の動物がゐる。
といふことである。
従って、
（10）～（13）により、
（14）
たしかに、（10）は、「正しい」。
従って、
（01）（10）（14）により、
（15）
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
③ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ）｝
④ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）｝
⑤ 象も鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～象ｘ＆ ∃ｙ（鼻ｙｘ＆長ｙ）｝
⑥ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆～象ｘ→～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］｝
⑦ 象も鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆～象ｘ＆ ［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］｝
といふ「等式」が、成立する。
（01）
① 象は（鼻は長い）。
といふ「日本語」は、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝⇔
① すべてのｘについて｛ｘが象であるならば、あるｙは、ｘの鼻であって、長い｝。
といふ「述語論理」に相当する。
然るに、
（02）
② 象は（鼻は長く、鼻以外も長い）。
といふ「日本語」は、
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝⇔
② すべてのｘについて｛ｘが象であるならば、あるｙは、ｘの鼻であって、長く、あるｚは、ｘの鼻以外であって、長い｝。
といふ「述語論理」に相当する。
然るに、
（03）
② 鼻以外も長い。 ⇔ ∃ｚ（～鼻ｚｘ＆長ｚ）
③ 鼻以外は長くない。⇔ ～∃ｚ（～鼻ｚｘ＆長ｚ）
に於いて、
③ は、② の「否定」である。
然るに、
（04）
（ⅲ）
１（１）～∃ｚ（～鼻ｚｘ＆長ｚ） Ａ
１（２）∀ｚ～（～鼻ｚｘ＆長ｚ） １量化子の関係
１（３） ～（～鼻ｃｘ＆長ｃ） １ＵＥ
１（４） ～～鼻ｃｘ∨～長ｃ ３ド・モルガンの法則
１（５） ～鼻ｃｘ→～長ｃ ４含意の定義
１（６）∀ｚ（～鼻ｚｘ→～長ｚ） ５ＵＩ
（ⅳ）
１（１）∀ｚ（～鼻ｚｘ→～長ｚ） Ａ
１（２） ～鼻ｃｘ→～長ｃ １ＵＥ
１（３） ～～鼻ｃｘ∨～長ｃ ２含意の定義
１（４） ～（～鼻ｃｘ＆ 長ｃ） ３ド・モルガンの法則
１（５）∀ｚ～（～鼻ｚｘ＆長ｚ） ４ＵＩ
１（６）～∃ｚ（～鼻ｚｘ＆長ｚ） ５量化子の関係
従って、
（04）により、
（05）
③ ～∃ｚ（～鼻ｚｘ＆長ｚ）
④ ∀ｚ（～鼻ｚｘ→～長ｚ）
に於いて、
③＝④ である。
従って、
（03）（05）により、
（06）
② 鼻以外も長い。 ⇔ ∃ｚ（～鼻ｚｘ＆長ｚ）
③ 鼻以外は長くない。⇔ ～∃ｚ（～鼻ｚｘ＆長ｚ）
④ 鼻以外は長くない。⇔ ∀ｚ（～鼻ｚｘ→～長ｚ）
に於いて、
③ は、② の「否定」であって、
③ は、④ に「等しい」。
従って、
（06）により、
（07）
② 鼻以外も長い。 ⇔ ∃ｚ（～鼻ｚｘ＆長ｚ）
③ 鼻以外は長くない。⇔ ∀ｚ（～鼻ｚｘ→～長ｚ）
③ は、② の「否定」である。
従って、
（02）（07）により、
（08）
③ 象は（鼻は長く、鼻以外は長くない）。
といふ「日本語」は、
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
③ すべてのｘについて｛ｘが象であるならば、あるｙは、ｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でるならば、ｚ鼻長くない｝。
といふ「述語論理」に相当する。
従って、
（01）（02）（08）により、
（09）
① 象は（鼻は長い）。
② 象は（鼻は長く、鼻以外も長い）。
③ 象は（鼻は長く、鼻以外は長くない）。
といふ「日本語」は、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
といふ「述語論理」に、相当する。
然るに、
（10）
① 私はあなたは好きです。
といふのであれば、
① 私は、あなた以外は、好きである。 とは、言ってゐないし、
① 私は、あなた以外は、好きでない。 とも、言ってゐない。
然るに、
（11）
② 私はあなたも好きです。
といふのであれば、
② 私は、あなた以外も、好きである。 と、言ってゐる。
（12）
③ 私はあなたが好きです。
といふのであれば、
③ 私は、あなた以外は、好きでない。 と、言ってゐる。
従って、
（10）（11）（12）により、
（13）
① 私はあなたは好きです。
② 私はあなたも好きです。
③ 私はあなたが好きです。
だけでなく、
① 象は鼻は長い。
② 象は鼻も長い。
③ 象は鼻が長い。
であっても、
① であれば、鼻以外に関しては、「長いのか、長くないのか」は「不明」である。
② であれば、鼻以外にも、象には「長い部分が有る」。
③ であれば、鼻以外には、象には「長い部分が無い」。
従って、
（09）（13）により、
（14）
① 象は鼻は長い＝象は（鼻は長い）。
② 象は鼻も長い＝象は（鼻は長く、鼻以外も長い）。
③ 象は鼻が長い＝象は（鼻は長く、鼻以外は長くない）。
といふ「日本語」は、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
といふ「述語論理」に、相当する。
従って、
（15）
「番号」を付けなおすと、
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
然るに、
（16）
（ⅰ）
１ （１） Ｐ→Ｑ Ａ
２ （２） Ｐ Ａ
３（３） ～Ｑ Ａ
１２ （４） Ｑ １２ＭＰＰ
１２３（５）～Ｑ＆Ｑ ３４＆Ｉ
１ ３（６）～Ｐ ２５ＲＡＡ
１ （７）～Ｑ→～Ｐ ３６ＣＰ
（ⅱ）
１ （１）～Ｑ→～Ｐ Ａ
２ （２）～Ｑ Ａ
３（３） Ｐ Ａ
１２ （４） ～Ｐ １２ＭＰＰ
１２３（５） Ｐ＆～Ｐ ３４＆Ｉ
１ ３（６）～～Ｑ ２５ＲＡＡ
１ ３（７） Ｑ ６ＤＮ
１ （８）Ｐ→Ｑ ３７ＣＰ
従って、
（16）により、
（17）
① Ｐ→ Ｑ＝ＰであるならばＱである。
② ～Ｑ→～Ｐ＝ＱでないならばＰでない。
に於いて、
①＝② であって、
この「等式」を、「対偶（contraposition）」といひ、「対偶」は「常に等しい」。
従って、
（17）により、
（18）
① Ｑ→ Ｐ
② ～Ｐ→～Ｑ
に於いて、
①＝② である。
従って、
（17）（18）により、
（19）
① Ｐ→Ｑ＆ Ｑ→ Ｐ
② Ｐ→Ｑ＆～Ｐ→～Ｑ
に於いて、
①＝② である。
従って、
従って、
（19）により、
（20）
① 私は理事長です。＆ 理事長は私です。
② 私は理事長です。＆ 私以外は理事長ではない。
に於いて、
①＝② である。
然るに、
（21）
よく知られているように、「私が理事長です」は語順を変え、
理事長は、私です。
と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、
タゴール記念館は、私が理事です。
と言ったとすれば、これは主辞「タゴール記念館」を品評するという心持ちの文である。
（三上章、日本語の論理、1963年、４０・４１頁）
従って、
（20）（21）により、
（22）
① 私は理事長です。＆ 理事長は私です。
② 私は理事長です。＆ 私が理事長です。
に於いて、
①＝② である。
従って、
（20）（22）により、
（23）
① 理事長は私です。
② 私以外は理事長ではない。
③ 私が理事長です。
に於いて、
①＝②＝③ である。
従って、
（23）により、
（24）
① ＢはＡである。
② Ａ以外はＢではない。
③ ＡがＢである。
に於いて、
①＝②＝③ である。
従って、
（15）（24）により、
（25）
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｙ（鼻ｙｘ＆長ｙ）→象ｘ｝
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）｝
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］→象ｘ｝
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆～象ｘ→～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］｝
といふ「等式」他が、成立する。
然るに、
（26）
③ 象が鼻は長い。
に関して、
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｙ（鼻ｙｘ＆長ｙ）→象ｘ｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∃ｙ（鼻ｙａ＆長ｙ）→象ａ １ＵＥ
１ （３） 象ａ→∃ｙ（鼻ｙａ＆長ｙ） ２＆Ｅ
１ （４） ∃ｙ（鼻ｙａ＆長ｙ）→象ａ ２＆Ｅ
５（５） ～象ａ Ａ
１５（６） ～∃ｙ（鼻ｙａ＆長ｙ） ４５ＭＴＴ
１５（７） ∀ｙ～（鼻ｙａ＆長ｙ） ６量化子の関係
１５（８） ～（鼻ｂａ＆長ｂ） ７ＵＥ
１５（９） ～鼻ｂａ∨～長ｂ ８ド・モルガンの法則
１５（ア） 鼻ｂａ→～長ｂ ９含意の定義
１５（イ） ∃ｙ（鼻ｙａ→～長ｙ） アＥＩ
１ （ウ） ～象ａ→∃ｙ（鼻ｙａ→～長ｙ） ５イＣＰ［は（４）の対偶。］
１ （エ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆～象ａ→∃ｙ（鼻ｙａ→～長ｙ） ３ウ＆Ｉ
１ （オ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～象ｘ→∃ｙ（鼻ｙｘ→～長ｙ）｝ エＵＩ
といふ「計算」は、「正しい」。
従って、
（25）（26）により、
（27）
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｙ（鼻ｙｘ＆長ｙ）→ 象ｘ ｝。
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～象ｘ→∃ｙ（鼻ｙｘ→～長ｙ）｝。
といふ「等式」が、成立する。
従って、
（27）により、
（28）
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆あるｙがｘの鼻であって、長いならば、ｘは象である｝。
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ｘが象でないならば、あるｙがｘの鼻であるならば、ｙは長くない｝。
といふ「等式」が、成立する。
従って、
（28）により、
（29）
たしかに、
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ 鼻が長い動物がゐるとすれば、その動物は象である｝。
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ 象でない動物の鼻は、長くない｝。
といふ「等式」が、成立する。
然るに、
（30）
④ 象が鼻が長い。
に関して、
１ （１）∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］→象ｘ｝ Ａ
１ （２） 象ａ→［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］＆［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］→象ａ １ＵＥ
１ （３） 象ａ→［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］ ２＆Ｉ
１ （４） ［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］→象ａ ２＆Ｉ
５ （５） ～象ａ Ａ
１５ （６） ～［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］ ４５ＭＴＴ
１５ （７） ～∃ｙ（鼻ｙａ＆長ｙ）∨～∀ｚ（～鼻ｚａ→～長ｚ） ６ド・モルガンの法則
１５ （８） ∃ｙ（鼻ｙａ＆長ｙ）→～∀ｚ（～鼻ｚａ→～長ｚ） ７含意の定義
９ （９） ∃ｙ（鼻ｙａ＆長ｙ） Ａ
１５９ （ア） ～∀ｚ（～鼻ｚａ→～長ｚ） ８９ＭＰＰ
１５９ （イ） ∃ｚ～（～鼻ｚａ→～長ｚ） ア量化子の関係
ウ（ウ） ～（～鼻ｃａ→～長ｃ） Ａ
ウ（エ） ～（～～鼻ｃａ∨～長ｃ） ウ含意の定義
ウ（オ） ～（ 鼻ｃａ∨～長ｃ） エＤＮ
ウ（カ） ～鼻ｃａ＆～～長ｃ オ
ウ（キ） ～鼻ｃａ＆ 長ｃ カＤＮ
ウ（ケ） ∃ｚ（～鼻ｚａ＆ 長ｚ） キＥＩ
１５９ （コ） ∃ｚ（～鼻ｚａ＆ 長ｚ） イウケＥＥ
１５ （サ） ∃ｙ（鼻ｙａ＆長ｙ）→ ∃ｚ（～鼻ｚａ＆ 長ｚ） ９コＣＰ
１ （シ） ～象ａ→∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆長ｚ） ５サＣＰ５［は（４）の対偶。］
１ （ス） 象ａ→［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］＆～象ａ→∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆長ｚ） ３シ＆Ｉ
１ （セ）∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆～象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝ スＵＩ
といふ「計算」は、「正しい」。
従って、
（25）（30）により、
（31）
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］→象ｘ｝。
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆～象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝。
といふ「等式」が、成立する。
従って、
（31）により、
（32）
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くないならば、ｘは象である｝。
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆ｘが象でないならば、あるｙがｘの鼻であって、長いならば、あるｚはｘの鼻でなくて、長い｝。
といふ「等式」が、成立する。
ｃｆ.
「仮言命題の前件」に於ける「何々が・・・ならば、」の「が」については、「記事（５）：「仮言命題」の「前件」に於ける「（他ならぬ）＿が」について。をお読み下さい。
然るに、
（33）
④ あるｙがｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚが長くないならば、ｘは象である。
④ ｘが象でないならば、あるｙがｘの鼻であって、長いならば、あるｚはｘの鼻ではなく、ｚは長い。
といふことは、
④ 鼻が長く、鼻以外は長くないならば、その動物は象である。
④ 象以外の動物で、その動物の鼻が長いならば、その動物の鼻以外も長い。
といふ、ことである。
然るに、
（34）
④ 象以外の動物で、その動物の鼻が長いならば、その動物の鼻以外も長い。
といふことは、
④ 鼻だけが長い動物は、象だけである。
といふ、ことである。
従って、
（30）～（34）により、
（35）
たしかに、
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］→象ｘ｝。
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆～象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝。
といふ「等式」が、成立する。
従って、
（25）（29）（35）により、
（36）
たしかに、
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｙ（鼻ｙｘ＆長ｙ）→象ｘ｝
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）｝
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］→象ｘ｝
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆～象ｘ→～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］｝
といふ「等式」他が、成立する。
然るに、
（37）
学校文法は単純な英語文法からの輸入で、主語・述語関係を単純に当てはめたものだ。そのため、「象は、鼻が長い」という単純な文でさえ、どれが主語だか指摘できず、複数主語だとか、主語の入れ子だとか、奇矯な技を使う。これに対して三上は、日本語には主語はない、とする。「象は」は、テーマを提示する主題であり、これから象についてのことを述べますよというメンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する（この場合は「長い」までをスコープとする）。また、「鼻が」は主格の補語にすぎなく、数ある補語と同じ格であるとする。基本文は述語である「長い」だけだ（三上文法！ : wrong, rogue and log）。
従って、
（36）（37）により、
（38）
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
③ 象が鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｙ（鼻ｙｘ＆長ｙ）→象ｘ｝。
④ 象が鼻が長い＝∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）→象ｘ｝。
に於いて、
① 象は鼻は長い。 は、「複数話題文」であって、
② 象は鼻が長い。 は、「複数主語文」であって、
③ 象が鼻は長い。 は、「複数主語文」であって、
④ 象が鼻が長い。 は、「複数主格文」である。
然るに、
（39）
②「複数主語」が、「奇矯」であるならば、
①「複数話題」も、「奇矯」であるし、
④「複数主格」も、「奇矯」でると、すべきである。
（40）
「日本語」には、「英語のやうな主語」は無い。といふのであれば、１００％、同意する。
然るに、
（41）
「英語」＝「言語」 ではないのだから、
「日本語」には、「英語のやうな主語」は無いが故に、
「日本語」には「主語」は無い。といふ「言ひ方」は「乱暴」である。
（42）
「日本語」には「主語」は無い。と、断定した「結果」として、
② 象は鼻が長い。
④ 象が鼻が長い。
に於ける、
② 鼻が
④ 象が鼻が
は、「主語」ではなく、「主格」である。
といふ、ことになった。
然るに、
（43）
次のやうな、「主語と、主格の、違ひ」の「説明」は、私には、「チンプンカンプン」であるとしか、言ひようが無い。
主語と主格とはどう違うのか。
主格は国際的な概念である。国語によって広狭も違い。互いに出入りもあるが中心的観念は共通だと考えられる。それが述語（広義の動詞）に係ることも国際的と見てよいだろう。
ただ係り方が二つに分かれる。独占的に述語に係るか、そうでない（他の格と合流）かである。
述語を独占する主格が主語であり。そうでない方は、主格に何も新しい性質が加わらないわけだから、どのまま主格と呼び続けるだけのことである。
ヨオロッパの主格は自縛して主語であり、日本語の主格は主格に止まるのである。
主語―述語の対
主格―対格、位格。デの核。カラの格などの補語仲間のトップ
（三上章、日本語の論理、1963年、１７１頁）
（44）
初めから、「さうではない事柄」を、「さうである。」と、「言い包めよう」とすれば、「訳の分からない説明」にならざるを得ないことは、「当然」である。
―「昨日の記事（252・253）」を補足します。―
（01）
① Ｐ→Ｑ（ＰならばＱである。）
に於いて、「逆も真である」ならば、そのときに限って、「ＰとＱは、等しい。」
従って、
（01）により、
（02）
①（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ）
②（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ）
③（Ｈ＆Ｚ→Ｎ）＆（Ｎ→ Ｚ）
に於いて、
① ならば、そのときに限って、「Ｈ＆Ｚは、Ｎに等しい（Ｎは、Ｈ＆Ｚに等しい）。」
従って、
（02）により、
（03）
②（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ）├（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ）
といふ「連式」は、
②「Ｈ＆Ｚが、Ｎに等しい。」ならば「Ｈ＆Ｚは、Ｎに等しくない。」
といふ風に、「主張」してゐる。
然るに、
（04）
１ （１）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ） Ａ
１ （〃） Ｈ＆Ｚは、Ｎに等しい。 Ａ
１ （２） Ｈ＆Ｚ→Ｎ １＆Ｅ
１ （３） Ｎ→Ｈ＆Ｚ １＆Ｅ
４（４） Ｎ Ａ
１４（５） Ｈ＆Ｚ ３４ＭＰＰ
１４（６） Ｈ ５＆Ｅ
１ （７） Ｎ→Ｈ ４６ＣＰ
１ （８）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ） ２７＆Ｉ
１ （〃） Ｈ＆Ｚは、Ｎに等しくない。 ２７＆Ｉ
といふ「計算」は、
②（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ）├（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ）
といふ「連式」が、「正しい」といふことを、示してゐる。
従って、
（03）（04）により、
（05）
１ （１）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ） Ａ
１ （〃） Ｈ＆Ｚは、Ｎに等しい。 Ａ
１ （２） Ｈ＆Ｚ→Ｎ １＆Ｅ
１ （３） Ｎ→Ｈ＆Ｚ １＆Ｅ
４（４） Ｎ Ａ
１４（５） Ｈ＆Ｚ ３４ＭＰＰ
１４（６） Ｈ ５＆Ｅ
１ （７） Ｎ→Ｈ ４６ＣＰ
１ （８）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ） ２７＆Ｉ
１ （〃） Ｈ＆Ｚは、Ｎに等しくない。 ２７＆Ｉ
といふ「計算」は、
②「Ｈ＆Ｚが、Ｎに等しい。」ならば「Ｈ＆Ｚは、Ｎに等しくない。」
といふ風に、「主張」してゐる。
然るに、
（06）
②「Ｈ＆Ｚが、Ｎに等しい。」ならば「Ｈ＆Ｚは、Ｎに等しくない。」
といふ「主張」は、
②「Ａ＝Ｂ である。」ならば「Ａ＝Ｂ ではない。」
といふことなので、「矛盾」に、他ならない。
従って、
（05）（06）により、
（07）
１ （１）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ） Ａ
１ （〃） Ｈ＆Ｚは、Ｎに等しい。 Ａ
１ （２） Ｈ＆Ｚ→Ｎ １＆Ｅ
１ （３） Ｎ→Ｈ＆Ｚ １＆Ｅ
４（４） Ｎ Ａ
１４（５） Ｈ＆Ｚ ３４ＭＰＰ
といふ「計算」は、「受け入れざる」を得ないが、
１４（６） Ｈ ５＆Ｅ
１ （７） Ｎ→Ｈ ４６ＣＰ
１ （８）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ） ２７＆Ｉ
１ （〃） Ｈ＆Ｚは、Ｎに等しくない。 ２７＆Ｉ
といふ「計算」は、「受け入れる」ことは、出来ない。
然るに、
（08）
１ （１）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ） Ａ
に於いて、
Ｈ＝鼻ｘｙ
Ｚ＝象ｙ
Ｎ＝長
といふ「代入（置換）」を行ふと、
１ （１）（鼻ｘｙ＆象ｙ→長）＆（長→鼻ｘｙ＆象ｙ） Ａ
従って、
（07）（08）により、
（09）
１ （１）鼻は象が長い。 Ａ
１ （〃）∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝ Ａ
１ （２） ∀ｙ｛［（鼻ａｙ＆象ｙ）→長ａ］＆［長ａ→（鼻ａｙ＆象ｙ）］｝ １ＵＥ
１ （３） （鼻ａｂ＆象ｂ）→長ａ ＆ 長ａ→（鼻ａｂ＆象ｂ） ２ＵＥ
１ （４） 鼻ａｂ＆象ｂ →長ａ ３＆Ｅ
１ （５） 長ａ→ 鼻ａｂ＆象ｂ ３＆Ｅ
６ （６） 長ａ Ａ
１６ （７） 鼻ａｂ＆象ｂ ５６ＭＰＰ
１６ （８） 鼻ａｂ ７＆Ｅ
１６ （９） 象ｂ ８＆Ｅ
１６ （ア） 鼻ａｂ＆長ａ ６８＆Ｉ
１６ （イ） ∃ｙ（鼻ｙｂ＆長ｙ） アＥＩ
１ （ウ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ） ９イＣＰ
エ（エ） 長ａ Ａ
１ エ（オ） 鼻ａｂ＆象ｂ ５エＭＰＰ
といふ「計算」は、「受け入れざる」を得ないが、
１ エ（カ） 鼻ａｂ オ＆Ｅ
１ （キ） 長ａ→鼻ａｂ エカＣＰ
１ （ク） ∀ｚ（長ｚ→鼻ｚｂ） キＵＩ
１ （ケ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｂ） ウク＆Ｉ
１ （コ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝ ケＵＩ
１ （〃）象は鼻が長い。 ケＵＩ
といふ「計算」は、「受け入れる」ことは、出来ない。
然るに、
（10）
１ （ウ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ） ９イＣＰ
１ （エ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ ウＵＩ
１ （〃）象は鼻は長い。 ウＵＩ
従って、
（07）～（10）により、
（11）
① 鼻は象が長い。
② 象は鼻は長い。
③ 象は鼻が長い。
に於いて、
① ならば、② であるが、
① ならば、③ ではない。
然るに、
（12）
「日本語」で以て、
① 鼻は象が長い。
② 象は鼻は長い。
③ 象は鼻が長い。
といふ「日本語」を「分析」すると、
① ならば、② であるが、
① ならば、③ ではない。
然るに、
（13）
１ エ（カ） 鼻ａｂ オ＆Ｅ
１ （キ） 長ａ→鼻ａｂ エカＣＰ
１ （ク） ∀ｚ（長ｚ→鼻ｚｂ） キＵＩ
１ （ケ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｂ） ウク＆Ｉ
１ （コ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝ ケＵＩ
１ （〃）象は鼻が長い。 ケＵＩ
といふ「計算結果」を、「受け入れる」とすると、
① 鼻は象が長い。
② 象は鼻は長い。
③ 象は鼻が長い。
といふ「日本語」を「分析」すると、
① ならば、② ではあるが、
① ならば、③ でもある。
といふ、ことになる。
従って、
（12）（13）により、
（14）
「日本語」 による「分析」と、
「述語計算」の「結果」が、「矛盾」してしまい、それ故、
―「何かヲカシイ！！」、初めての「挫折」か？、「大ピンチ！！」―
といふ風に、「狼狽」する。
然るに、
（07）（08）（09）により、
（15）
１ エ（カ） 鼻ａｂ オ＆Ｅ
１ （キ） 長ａ→鼻ａｂ エカＣＰ
１ （ク） ∀ｚ（長ｚ→鼻ｚｂ） キＵＩ
１ （ケ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｂ） ウク＆Ｉ
１ （コ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝ ケＵＩ
１ （〃）象は鼻が長い。 ケＵＩ
といふ「計算」は、「受け入れる必要」は無い。
従って、
（16）
「日本語」 による「分析」と、
「述語計算」の「結果」が、「矛盾」し、
―「何かヲカシイ！！」、初めての「挫折」か？、「大ピンチ！！」―
といふ「大ピンチ」は、実際には、「ピンチ」ではなかった。といふ、ことになる。
―「文字数」が超過なので、二つに分けます、（252）が「前半」で、（253）が「後半」です。―
（01）
① 象は鼻が長い＝象は鼻は長く、鼻以外は長くない。
① 象は鼻が長く、鼻以外は長くない＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
然るに、
（02）
「対偶（contraposition）」により、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（ 長ｚ→ 鼻ｚｘ）}
に於いて、
①＝② である。
従って、
（01）（02）により、
（03）
① 象は鼻が長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝⇔
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚが長いならば、ｚはｘの鼻である。
然るに、
（04）
（１）象は鼻が長い。
（２）兎の耳は長く、兎の耳は鼻ではない。
（３）ある兎は象である。
といふ風に、「仮定」すると、「背理法（ＲＡＡ）」により、
（４）兎は象ではない。
といふ『結論』を、得る。
然るに、
（05）
１ （１）象は鼻が長い。 Ａ
１ （〃）象は鼻は長く、鼻以外は長くない。 Ａ
１ （〃）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（ 長ｚ→ 鼻ｚｘ）｝ Ａ
２ （２）兎の耳は長く、兎の耳は鼻ではない。 Ａ
２ （〃）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ
３ （３）ある兎は象である。 Ａ
３ （〃）∃ｘ（兎ｘ＆象ｘ） Ａ
３ （〃）あるｘは兎であって象である。 Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（ 長ｚ→ 鼻ｚａ） １ＵＥ
２ （５） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） １ＵＥ
６ （６） 兎ａ＆象ａ Ａ
６ （７） 兎ａ ６＆Ｅ
６ （８） 象ａ ６＆Ｅ
１ ６ （９） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（ 長ｚ→ 鼻ｚａ） ４７ＭＰＰ
２ ６ （ア） ∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ５８ＭＰＰ
１ ６ （イ） ∃ｙ（鼻ｙａ＆長ｙ） ９＆Ｅ
２ ６ （ウ） ∃ｙ（耳ｙａ＆長ｙ） ア＆Ｅ
エ （エ） 鼻ｂａ＆長ｂ Ａ
オ（オ） 耳ｂａ＆長ｂ Ａ
１ ６ （カ） ∀ｚ（ 長ｚ→ 鼻ｚａ） ９＆Ｅ
１ ６ （キ） 長ｂ→ 鼻ｂａ カＵＥ
２ ６ （ク） ∀ｚ（耳ｚａ→～鼻ｚａ） ア＆Ｅ
２ ６ （ケ） 耳ｂａ→～鼻ｂａ クＵＥ
オ （コ） 耳ｂａ オ＆Ｅ
２ ６オ （サ） ～鼻ｂａ ケコＭＰＰ
１２ ６オ （シ） ～長ｂ キサＭＴＴ
オ （ス） 長ｂ オ＆Ｅ
１２ ６オ （セ） 長ｂ＆～長ｂ シス＆Ｉ
１２ ６ （ソ） 長ｂ＆～長ｂ ウオセＥＥ
１２３ （タ） 長ｂ＆～長ｂ ３６ソＥＥ
１２ （チ）～∃ｘ（兎ｘ＆象ｘ） ３タＲＡＡ
１２ （ツ）∀ｘ～（兎ｘ＆象ｘ） チ量化子の関係
１２ （テ） ～（兎ａ＆象ａ） ツＵＥ
１２ （ト） ～兎ａ∨～象ａ テ、ド・モルガンの法則
１２ （ナ） 兎ａ→～象ａ ト含意の定義
１２ （ニ）∀ｘ（兎ｘ→～象ｘ） ナＵＩ
１２ （〃）すべてのｘについて、ｘが兎であるならば、ｘは象ではない。 ナＵＩ
１２ （〃）兎は象ではない。 ナＵＩ
といふ『推論』が、成立する。
従って、
（01）～（05）により、
（06）
① 象は鼻が長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝⇔
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚが長いならば、ｚはｘの鼻である。
といふ「等式」は、「正しい」。
然るに、
（07）
② 鼻は象が長い＝象の鼻は長いが、象以外の動物（e.g.兎、馬、キリン）の鼻は長くない。
② 象の鼻は長いが、象以外の動の物鼻は長くない＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
然るに、
（08）
「対偶（contraposition）」により、
② ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝
③ ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［ 長ｘ→ （鼻ｘｙ＆象ｙ）］｝
に於いて、
②＝③ である。
従って、
（07）（08）により、
（09）
② 鼻は象が長い。⇔
② 象の鼻は長いが、象以外の動物の鼻は長くない。⇔
② ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝⇔
② すべてのｘと、すべてのｙについて、（ｘがｙの鼻であって、ｙが象である）ならば、ｘは長く、ｘが長いならば、（ｘはｙの鼻であって、ｙは象である）。
然るに、
（10）
（１）耳は兎が長い。
（５）兎には耳がある。
といふ風に、「仮定」すると、
（エ）耳が長い兎がゐる。
といふ『結論』を、得る。
然るに、
（11）
１ （１）耳は兎が長い。 Ａ
１ （〃）兎の耳は長いが、兎以外の動物の耳は長くない。 Ａ
１ （〃）∀ｘ∀ｙ｛［（耳ｘｙ＆兎ｙ）→長ｘ］＆［長ｘ→（耳ｘｙ＆兎ｙ）］｝ Ａ
１ （〃）すべてのｘと、すべてのｙについて、（ｘがｙの鼻であって、ｙが象である）ならば、ｘは長く、ｘが長いならば、（ｘはｙの鼻であって、ｙは象である）。 Ａ
１ （２） ∀ｙ｛［（耳ａｙ＆兎ｙ）→長ａ］＆［長ｘ→（耳ｘｙ＆兎ｙ）］｝ １ＵＥ
１ （３） ［（耳ａｂ＆兎ｂ）→長ａ］＆［長ｘ→（耳ｘｙ＆兎ｙ）］｝ ２ＵＩ
１ （４） （耳ａｂ＆兎ｂ）→長ａ ３＆Ｅ
５ （５） 兎には耳がある。 Ａ
５ （〃） ∃ｘ∃ｙ（耳ｘｙ＆兎ｙ） Ａ
５ （〃） あるｘはあるｙの耳であって、あるｙは兎である。 Ａ
６ （６） ∃ｙ（耳ａｙ＆兎ｙ） Ａ
７（７） 耳ａｂ＆兎ｂ Ａ
１ ７（８） 長ａ ４７ＭＰＰ
１ ７（９） 耳ａｂ＆兎ｂ＆長ａ ７８＆Ｉ
１ ７（ア） ∃ｙ（耳ａｙ＆兎ｙ＆長ａ） ９ＥＩ
１ ６ （イ） ∃ｙ（耳ａｙ＆兎ｙ＆長ａ） ６７アＥＥ
１ ６ （ウ） ∃ｘ∃ｙ（耳ｘｙ＆兎ｙ＆長ｘ） イＥＩ
１５ （エ） ∃ｘ∃ｙ（耳ｘｙ＆兎ｙ＆長ｘ） ５６ウＥＥ
１５ （〃）あるｘはｙの耳であって、ｙは兎であり、ｘは長い。 ５６ウＥＥ
１５ （〃）あるｘは兎の耳であって、ｘは長い。 ５６ウＥＥ
１５ （〃）耳が長い兎がゐる。 ５６ウＥＥ
といふ『推論』が、成立する。
然るに、
（12）
（１）鼻は象が長い。
（イ）兎には鼻があるが、兎は象ではない。
といふ風に、「仮定」すると、
（ソ）鼻が長くない、兎がゐる。
といふ『結論』を、得る。
然るに、
（13）
１ （１）鼻は象が長い。 Ａ
１ （〃）∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝ Ａ
１ （〃）すべてのｘと、すべてのｙについて、（ｘがｙの鼻であって、ｙが象である）ならば、そのときに限って、ｘは長い。 Ａ
１ （２） ∀ｙ｛［（鼻ａｙ＆象ｙ）→長ａ］＆［～（鼻ａｙ＆象ｙ）→～長ａ］｝ １ＵＥ
１ （３） ［（鼻ａｂ＆象ｂ）→長ａ］＆［～（鼻ａｂ＆象ｂ）→～長ａ］ ２ＵＩ
１ （４） ～（鼻ａｂ＆象ｂ）→～長ａ ３＆Ｅ
１ （４） ～（鼻ａｂ＆象ｂ）→～長ａ ３＆Ｅ
１ （５） 長ａ→（鼻ａｂ＆象ｂ） ４対偶
６ （６） 鼻ａｂ→～象ｂ Ａ
６ （７） ～鼻ａｂ∨～象ｂ ６含意の定義
６ （８） ～（鼻ａｂ＆象ｂ） ７ド・モルガンの法則
１６ （９） ～長ａ ５８ＭＴＴ
１ （ア） 鼻ａｂ→～象ｂ→～長ａ ６９ＣＰ
イ （イ）兎には鼻があるが、兎は象ではない。 Ａ
イ （〃）∃ｘ∃ｙ（鼻ｘｙ＆兎ｙ＆～象ｙ） Ａ
イ （〃）あるｘはあるｙの鼻であって、ｙは兎であって、象ではない。 Ａ
ウ （ウ） ∃ｙ（鼻ａｙ＆兎ｙ＆～象ｙ） Ａ
エ（エ） 鼻ａｂ＆兎ｂ＆～象ｂ Ａ
エ（オ） 鼻ａｂ エ＆Ｅ
エ（カ） 兎ｂ エ＆Ｅ
エ（キ） ～象ｂ エ＆Ｅ
１ エ（ク） ～象ｂ→～長ａ アオＭＰＰ
１ エ（ケ） ～長ａ キクＭＰＰ
１ エ（コ） 鼻ａｂ＆兎ｂ オカ＆Ｉ
１ エ（サ） 鼻ａｂ＆兎ｂ＆～長ａ ケコケ＆Ｉ
１ エ（シ） ∃ｙ（鼻ａｙ＆兎ｙ＆～長ａ） エＥＩ
１ ウ （ス） ∃ｙ（鼻ａｙ＆兎ｙ＆～長ａ） ウエシＥＥ
１ ウ （セ）∃ｘ∃ｙ（鼻ｘｙ＆兎ｙ＆～長ｘ） スＥＩ
１ イ （ソ）∃ｘ∃ｙ（鼻ｘｙ＆兎ｙ＆～長ｘ） イウセＥＥ
１ イ （〃）あるｘはあるｙの鼻であって、ｙは兎であり、ｘは長くない。 イウセＥＥ
１ イ （〃）鼻が長くない、兎がゐる。 イウセＥＥ
といふ『推論』が、成立する。
従って、
（09）～（13）により、
（14）
② 鼻は象が長い。⇔
② 象の鼻は長いが、象以外の動物の鼻は長くない。⇔
② ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝⇔
② すべてのｘと、すべてのｙについて、（ｘがｙの鼻であって、ｙが象である）ならば、ｘは長く、ｘが長いならば、（ｘはｙの鼻であって、ｙは象である）。
といふ「等式」は、「正しい」。
従って、
（06）（14）により、
（15）
① 象は鼻が長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝。
といふ「等式」は、「正しく」、
② 鼻は象が長い。⇔
② 象の鼻は長いが、象以外の動物の鼻は長くない。⇔
② ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝。
といふ「等式」も、「正しい」。
然るに、
（16）
１ （１） ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝ Ａ
１ （２） ∀ｙ｛［（鼻ａｙ＆象ｙ）→長ａ］＆［長ａ→（鼻ａｙ＆象ｙ）］｝ １ＵＥ
１ （３） （鼻ａｂ＆象ｂ）→長ａ ＆ 長ａ→（鼻ａｂ＆象ｂ） ２ＵＥ
１ （４） 鼻ａｂ＆象ｂ →長ａ ３＆Ｅ
１ （５） 長ａ→ 鼻ａｂ＆象ｂ ３＆Ｅ
６ （６） 長ａ Ａ
１６ （７） 鼻ａｂ＆象ｂ ５６ＭＰＰ
１６ （８） 鼻ａｂ ７＆Ｅ
１６ （９） 象ｂ ８＆Ｅ
１６ （ア） 鼻ａｂ＆長ａ ６８＆Ｉ
１６ （イ） ∃ｙ（鼻ｙｂ＆長ｙ） アＥＩ
１ （ウ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ） ９イＣＰ
エ（エ） 長ａ Ａ
１ エ（オ） 鼻ａｂ＆象ｂ ５エＭＰＰ
１ エ（カ） 鼻ａｂ オ＆Ｅ
１ （キ） 長ａ→鼻ａｂ エカＣＰ
１ （ク） ∀ｚ（長ｚ→鼻ｚｂ） キＵＩ
１ （ケ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｂ） ウク＆Ｉ
１ （コ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝ ケＵＩ
―「何かヲカシイ！！」、初めての「挫折」か？、「大ピンチ！！」―
然るに、
（17）
１ （１） ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝ Ａ
１ （２） ∀ｙ｛［（鼻ａｙ＆象ｙ）→長ａ］＆［長ａ→（鼻ａｙ＆象ｙ）］｝ １ＵＥ
１ （３） （鼻ａｂ＆象ｂ）→長ａ ＆ 長ａ→（鼻ａｂ＆象ｂ） ２ＵＥ
１ （４） 鼻ａｂ＆象ｂ →長ａ ３＆Ｅ
１ （５） 長ａ→ 鼻ａｂ＆象ｂ ３＆Ｅ
６ （６） 鼻ａｂ＆象ｂ Ａ
１６ （７） 長ａ ４６ＭＰＰ
１６ （８） 鼻ａｂ＆象ｂ ５７ＭＰＰ
１６ （９） 長ａ ４８ＭＰＰ
然るに、
（18）
１ （１） ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝ Ａ
１ （２） ∀ｙ｛［（鼻ａｙ＆象ｙ）→長ａ］＆［長ａ→（鼻ａｙ＆象ｙ）］｝ １ＵＥ
１ （３） （鼻ａｂ＆象ｂ）→長ａ ＆ 長ａ→（鼻ａｂ＆象ｂ） ２ＵＥ
１ （４） 鼻ａｂ＆象ｂ →長ａ ３＆Ｅ
１ （５） 長ａ→ 鼻ａｂ＆象ｂ ３＆Ｅ
６ （６） 鼻ａｂ＆象ｂ Ａ
１６ （７） 長ａ ４６ＭＰＰ
１６ （８） 鼻ａｂ＆象ｂ ５７ＭＰＰ
１６ （９） 鼻ａｂ ８＆Ｅ
とするならば、
１６ （ア） 長ａ ４９ＭＰＰ
とすることは、「出来ない」。
そのため、
（19）
１ （キ） 長ａ→鼻ａｂ エカＣＰ
は、「不可」であるといふ、「姑息な（？）手段」を用ひることにして、次のやうに、「計算」を続けることにする。
（20）
１ （１） ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝ Ａ
１ （２） ∀ｙ｛［（鼻ａｙ＆象ｙ）→長ａ］＆［長ａ→（鼻ａｙ＆象ｙ）］｝ １ＵＥ
１ （３） （鼻ａｂ＆象ｂ）→長ａ ＆ 長ａ→（鼻ａｂ＆象ｂ） ２ＵＥ
１ （４） 鼻ａｂ＆象ｂ →長ａ ３＆Ｅ
１ （５） 長ａ→ 鼻ａｂ＆象ｂ ３＆Ｅ
６ （６） 長ａ Ａ
１６ （７） 鼻ａｂ＆象ｂ ５６ＭＰＰ
１６ （８） 鼻ａｂ ７＆Ｅ
１６ （９） 象ｂ ８＆Ｅ
１６ （ア） 鼻ａｂ＆長ａ ６８＆Ｉ
１６ （イ） ∃ｙ（鼻ｙｂ＆長ｙ） アＥＩ
１ （ウ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ） ９イＣＰ
１ （エ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）} ウＵＩ
１ （〃）すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長い。 ウＵＩ
１ （〃）象は鼻は長い。 ウＵＩ
然るに、
（21）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚａ） １ＵＥ
３ （３） 象ａ Ａ
１３ （４） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚａ） ２３ＭＰＰ
１３ （５） ∃ｙ（鼻ｙａ＆長ｙ） ４＆Ｅ
６ （７） 鼻ｂａ＆長ｂ Ａ
６ （８） 鼻ｂａ ７＆Ｅ
６ （９） 長ｂ ７＆Ｅ
１３ （ア） ∀ｚ（長ｚ→鼻ｚａ） ４＆Ｅ
１３ （イ） 長ｂ→鼻ｂａ アＵＥ
１３６ （ウ） 鼻ｂａ ９イＭＰＰ
１３６ （エ） 鼻ｂａ＆象ａ ３ウ＆Ｉ
１３ （オ） 長ｂ→鼻ｂａ＆象ａ ６エＣＰ
カ（カ） ～（鼻ｂａ＆象ａ） Ａ
カ（キ） ～（鼻ｂａ＆象ａ）∨長ｂ カ∨Ｉ
カ（ク） （象ｂａ＆象ａ）→長ｂ ク含意の定義
１３ カ（ケ） ～長ｂ オクＭＴＴ
１３６カ（コ） ～長ｂ＆長ｂ ９ケ＆Ｉ
１３６ （サ）～～（鼻ｂａ＆象ａ） カコＲＡＡ
１３６ （シ） （鼻ｂａ＆象ａ） サＤＮ
ｃｆ.
（カ） ～（鼻ｂａ＆象ａ） を「仮定」したら、ＲＡＡ（背理法）によって、
（シ） （鼻ｂａ＆鼻ａ） に「戻された」ため、
（キ） ～（鼻ｂａ＆象ａ）∨長ｂ による、
（ク） （象ｂａ＆象ａ）→長ｂ は「不可」である。
従って、
（21）により、
（22）
１３ （オ） 長ｂ→鼻ｂａ＆象ａ ６エＣＰ
は、「妥当」であるが、
カ（ク） （象ｂａ＆象ａ）→長ｂ ク含意の定義
は、「妥当」ではない。
従って、
（21）（22）により、
（23）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚａ） １ＵＥ
３ （３） 象ａ Ａ
１３ （４） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚａ） ２３ＭＰＰ
１３ （５） ∃ｙ（鼻ｙａ＆長ｙ） ４＆Ｅ
６ （７） 鼻ｂａ＆長ｂ Ａ
６ （８） 鼻ｂａ ７＆Ｅ
６ （９） 長ｂ ７＆Ｅ
１３ （ア） ∀ｚ（長ｚ→鼻ｚａ） ４＆Ｅ
１３ （イ） 長ｂ→鼻ｂａ アＵＥ
１３６ （ウ） 鼻ｂａ ９イＭＰＰ
１３６ （エ） 鼻ｂａ＆象ａ ３ウ＆Ｉ
１３ （オ） 長ｂ→（鼻ｂａ＆象ａ） ６エＣＰ
１３ （カ） ∀ｙ｛長ｂ→（鼻ｂｙ＆象ｙ）｝ オＵＩ
１３ （キ）∀ｘ∀ｙ｛長ｘ→（鼻ｘｙ＆象ｙ）｝ カＵＩ
１３ （〃）すべてのｘと、すべてのｙについて、ｘが長いならば、ｘは鼻であって、ｙは象である。 カＵＩ
１３ （〃）長いのは、象の鼻である。 カＵＩ
従って、
（20）（23）により、
（24）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝
② ∀ｘ∀ｙ｛長ｘ→（鼻ｘｙ＆象ｙ）｝
③ ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）}
に於いて、
① ならば、② であり、
③ ならば、④ である。
従って、
（15）（24）により、
（25）
① 象は鼻が長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝。
といふ「等式」は、「正しく」、
② 鼻は象が長い。⇔
② 象の鼻は長いが、象以外の動物の鼻は長くない。⇔
② ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝。
といふ「等式」は、「正しい」ものの、
①＝② ではない。
然るに、
（26）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ ∀ｚ（長ｚ→鼻ｚｘ）｝
に於いて、
１ （１） ∀ｚ（長ｚ→鼻ｚｘ）
を「否定」すると、
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚｘ）｝
然るに、
（27）
（ⅲ）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚｘ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚａ） １ＵＥ
３ （３） 象ａ Ａ
１３ （４） ∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚａ） ２３ＭＰＰ
１３ （５） ∃ｙ（鼻ｙａ＆長ｙ） ４＆Ｅ
１３ （６） ～∀ｚ（長ｚ→鼻ｚａ） ４＆Ｅ
１３ （７） ∃ｚ～（長ｚ→鼻ｚａ） ６量化子の関係
８（８） ～（長ｃ→鼻ｃａ） Ａ
８（９） ～（～長ｃ∨鼻ｃａ） ８含意の定義
８（ア） ～～長ｃ＆～鼻ｃａ ９ド・モルガンの法則
８（イ） 長ｃ＆～鼻ｃａ アＤＮ
８（ウ） ～鼻ｃａ＆長ｃ イ交換法則
８（エ） ∃ｚ（～鼻ｚａ＆長ｚ） ウＥＩ
１３ （オ） ∃ｚ（～鼻ｚａ＆長ｚ） ７８エＥＥ
１３ （カ） ∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆長ｚ） ５オ＆Ｉ
１ （キ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆長ｚ） ３カＣＰ
１ （ク）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝ キＵＩ
１ （〃）すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長く、あるｚはｘの鼻でなくて、長い。 キＵＩ
１ （〃）象は鼻以外も長い。 キＵＩ
１ （〃）象は鼻も長い。 キＵＩ
（ⅳ）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆長ｚ） １ＵＥ
３ （３） 象ａ Ａ
１３ （４） ∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆長ｚ） ２３ＭＰＰ
１３ （５） ∃ｙ（鼻ｙａ＆長ｙ） ４＆Ｅ
１３ （６） ∃ｚ（～鼻ｚａ＆長ｚ） ４＆Ｅ
７（７） ～鼻ｃａ＆長ｃ Ａ
７（８） 長ｃ＆～鼻ｃａ ７交換法則
７（９） ～～長ｃ＆～鼻ｃａ ８ＤＮ
７（ア） ～（～長ｃ∨鼻ｃａ） ９ド・モルガンの法則
７（イ） ～（長ｃ→鼻ｃａ） ア含意の定義
７（ウ） ∃ｚ～（長ｚ→鼻ｚａ） イＥＩ
１３ （エ） ∃ｚ～（長ｚ→鼻ｚａ） ６７ウＥＥ
１３ （オ） ～∀ｚ（長ｚ→鼻ｚａ） エ量化子の関係
１３ （カ） ∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚａ） ５オ＆Ｉ
１ （キ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚａ） ３カＣＰ
１ （ク）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚｘ）｝ キＵＩ
１ （〃）すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚが長いならば、ｚはｘの鼻である。といふわけではない。 キＵＩ
１ （〃）象は鼻以外も長い。 キＵＩ
１ （〃）象は鼻も長い。 キＵＩ
従って、
（27）により、
（28）
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚｘ）｝＝象は鼻も長い。
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝＝象は鼻も長い。
に於いて、
③＝④ である。
（15）（28）により、
（29）
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝。
② 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝。
③ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝。
である。
従って、
（29）により、
（30）
① 象は鼻以外は長くない＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝。
③ 象は鼻以外も長い ＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝。
である。
然るに、
（31）
④ 象は鼻は長い。
といふのであれば、
④ 鼻以外については、長いとも、長くないとも、言ってゐない。
従って、
（29）（30）（31）により、
（32）
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝。
③ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝。
④ 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ） ｝。
である。
従って、
（29）（32）により、
（33）
「順番」を「付け直す」と、
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ） ｝。
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ） ｝。
③ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝。
④ 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝。
といふ、ことになる。
（34）
「述語論理」を用ひて、
① 象は鼻は長い。
② 象は鼻が長い。
③ 象は鼻も長い。
④ 鼻は象が長い。
といふ「日本語」を「分析」してゐるわけではない。
（35）
「述語論理」ではなく、「日本語」を用ひて、
① 象は鼻は長い。
② 象は鼻が長い。
③ 象は鼻も長い。
④ 鼻は象が長い。
といふ「日本語」を「分析」した「結果」が、「正しい」か「否」かを、「確認」する際に、「述語論理」を用ひることになる。
そのため、
（36）
「日本語」で考へた「結論」と、「述語論理」で「確認」した「結論」が「違ってゐる」場合は、
―「何かヲカシイ！！」、初めての「挫折」か？、「大ピンチ！！」―
といふ風に、「狼狽」することになる。
（01）
｛ｘの変域｝＝｛象｝
であるとして、
① 象は鼻が長い。 ⇔ 象は、鼻は長く、鼻以外は長くない。
であって、
｛ｘの変域｝＝｛兎、象、馬、キリン｝
であるとして、
② 耳は兎が長い。 ⇔ 耳は、兎が長く。兎以外は長くない。
② 鼻は象が長い。 ⇔ 鼻は、象が長く、象以外は長くない。
② 顔は馬が長い。 ⇔ 顔は、馬が長く、馬以外は長くない。
② 首はキリンが長い。⇔ 首はキリンが長く、キリン以外は長くない。
である。
従って、
（01）により、
（02）
① 象は鼻が長い。⇔ 象は、鼻は長く。鼻以外は長くない。
② 鼻は象が長い。⇔ 鼻は、象が長く、象以外は長くない。
であるものの、
① の場合は、
② とは、異なり、
① 象以外の動物の「鼻」に関しては、「一言も、述べてはゐない。」
従って、
（02）により、
（03）
① 象は鼻が長い。
② 鼻は象が長い。
に於いて、
① の「論理構造」と、
② の「論理構造」は、「同じ」ではない。
然るに、
（04）
１ （１）象は鼻が長い。 Ａ
１ （〃） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （〃）すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。 Ａ
１ （２） ∀ｘ｛∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）→～象ｘ｝ １対偶（contraposition）
３ （３） ∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ
４ （４）～∀ｘ（兎ｘ→～象ｘ） Ａ
４ （〃）すべての兎が象でない。といふわけではない。 Ａ
１ （５） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
１ （６） ∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆長ｚ）→～象ａ ２
３ （７） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ３
４ （８）∃ｘ～（兎ｘ→ ～象ｘ） ４量化子の関係
９ （９） ～（兎ａ→ ～象ａ） Ａ
９ （ア） ～（～兎ａ∨ ～象ａ） ９含意の定義
９ （イ） ～～兎ａ＆～～象ａ ア、ド・モルガンの法則
９ （ウ） 兎ａ＆ 象ａ イＤＮ
９ （エ） 兎ａ ウ＆Ｅ
９ （オ） 象ａ ウ＆Ｅ
１ ９ （カ） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ５オＭＰＰ
１ ９ （キ） ∃ｙ（鼻ｙａ＆長ｙ） カ＆Ｅ
ク（ク） 鼻ｂａ＆長ｂ Ａ
ク（ケ） 長ｂ ク＆Ｅ
１ ９ （コ） ∃ｚ（～鼻ｚａ＆長ｚ）→～象ａ ６キＭＰＰ
１３ ９ （サ） ∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ７エＭＰＰ
１３ ９ （シ） ∃ｙ（耳ｙａ＆長ｙ） サ＆Ｅ
ス（ス） 耳ｂａ＆長ｂ Ａ
ス（セ） 耳ｂａ ス＆Ｅ
１３ ９ （ソ） ∀ｚ（耳ｚａ→～鼻ｚａ） サ＆Ｅ
１３ ９ （タ） 耳ｂａ→～鼻ｂａ ソＵＥ
１３ ９ （チ） ～鼻ｂａ セタＭＰＰ
１３ ９ク（ツ） ～鼻ｂａ＆長ｂ ケチ＆Ｉ
１３ ９ク（テ） ∃ｚ（～鼻ｚａ＆長ｚ） ツＥＩ
１３ ９ （ト） ∃ｚ（～鼻ｚａ＆長ｚ） キクテＥＥ
１３ ９ （ナ） ～象ａ コトＭＰＰ
１３ ９ （ニ） 象ａ＆～象ａ オナ＆Ｉ
１３４ （ヌ） 象ａ＆～象ａ ８９ニＥＥ
１３ （ネ）～∃ｘ～（兎ｘ→～象ｘ） ８ヌＲＡＡ
１３ （ノ）∀ｘ～～（兎ｘ→～象ｘ） ネ量化子の関係
１３ （ハ）∀ｘ（兎ｘ→～象ｘ） ノＤＮ
１３ （〃）すべてのｘについて、ｘが兎であるならば、ｘは象ではない。 ノＤＮ
１３ （〃）兎は象ではない。 ノＤＮ
（05）
１ （１）耳は兎が長い。 Ａ
１ （〃）∀ｘ∀ｙ｛［（耳ｘｙ＆兎ｙ）→長ｘ］＆［～（耳ｘｙ＆兎ｙ）→～長ｘ］｝ Ａ
１ （〃）すべてのｘと、すべてのｙについて、（ｘがｙの耳であって、ｙが兎である）ならば、そのときに限って、ｘは長い。 Ａ
１ （２） ∀ｙ｛［（耳ａｙ＆兎ｙ）→長ａ］＆［～（耳ａｙ＆兎ｙ）→～長ａ］｝ １ＵＥ
１ （３） ［（耳ａｂ＆兎ｂ）→長ａ］＆［～（耳ａｂ＆兎ｂ）→～長ａ］ ２ＵＩ
１ （４） （耳ａｂ＆兎ｂ）→長ａ ３＆Ｅ
５ （５） 兎には耳がある。 Ａ
５ （〃） ∃ｘ∃ｙ（耳ｘｙ＆兎ｙ） Ａ
５ （〃） あるｘはあるｙの耳であって、あるｙは兎である。 Ａ
６ （６） ∃ｙ（耳ａｙ＆兎ｙ） Ａ
７（７） 耳ａｂ＆兎ｂ Ａ
１ ７（８） 長ａ ４７ＭＰＰ
１ ７（９） 耳ａｂ＆兎ｂ＆長ａ ７８＆Ｉ
１ ７（ア） ∃ｙ（耳ａｙ＆兎ｙ＆長ａ） ９ＥＩ
１ ６ （イ） ∃ｙ（耳ａｙ＆兎ｙ＆長ａ） ６７アＥＥ
１ ６ （ウ） ∃ｘ∃ｙ（耳ｘｙ＆兎ｙ＆長ｘ） イＥＩ
１５ （エ） ∃ｘ∃ｙ（耳ｘｙ＆兎ｙ＆長ｘ） ５６ウＥＥ
１５ （〃）あるｘはｙの耳であって、ｙは兎であり、ｘは長い。 ５６ウＥＥ
１５ （〃）あるｘは兎の耳であって、ｘは長い。 ５６ウＥＥ
１５ （〃）耳が長い兎がゐる。 ５６ウＥＥ
（06）
１ （１）鼻は象が長い。 Ａ
１ （〃）∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝ Ａ
１ （〃）すべてのｘと、すべてのｙについて、（ｘがｙの鼻であって、ｙが象である）ならば、そのときに限って、ｘは長い。 Ａ
１ （２） ∀ｙ｛［（鼻ａｙ＆象ｙ）→長ａ］＆［～（鼻ａｙ＆象ｙ）→～長ａ］｝ １ＵＥ
１ （３） ［（鼻ａｂ＆象ｂ）→長ａ］＆［～（鼻ａｂ＆象ｂ）→～長ａ］ ２ＵＩ
１ （４） ～（鼻ａｂ＆象ｂ）→～長ａ ３＆Ｅ
５ （５） 鼻ａｂ→～象ｂ Ａ
５ （６） ～鼻ａｂ∨～象ｂ ５含意の定義
５ （７） ～（鼻ａｂ＆象ｂ） ６ド・モルガンの法則
１５ （８） ～長ａ ４７ＭＰＰ
１ （９） 鼻ａｂ→～象ｂ→～長ａ ５８ＣＰ
ア （ア）兎には鼻があるが、兎は象ではない。 Ａ
ア （〃）∃ｘ∃ｙ（鼻ｘｙ＆兎ｙ＆～象ｙ） Ａ
ア （〃）あるｘはあるｙの鼻であって、ｙは兎であって、象ではない。 Ａ
イ （イ） ∃ｙ（鼻ａｙ＆兎ｙ＆～象ｙ） Ａ
ウ（ウ） 鼻ａｂ＆兎ｂ＆～象ｂ Ａ
ウ（エ） 鼻ａｂ a ウ＆Ｅ
ウ（オ） 兎ｂ ウ＆Ｅ
ウ（カ） ～象ｂ ウ＆Ｅ
１ ウ（キ） ～象ｂ→～長ａ ９エＭＰＰ
１ ウ（ク） ～長ａ カキＭＰＰ
１ ウ（ケ） 鼻ａｂ＆兎ｂ エオ＆Ｉ
１ ウ（コ） 鼻ａｂ＆兎ｂ＆～長ａ クケ＆Ｉ
１ ウ（サ） ∃ｙ（鼻ａｙ＆兎ｙ＆～長ａ） ウＥＩ
１ イ （シ） ∃ｙ（鼻ａｙ＆兎ｙ＆～長ａ） イウサＥＥ
１ イ （ス）∃ｘ∃ｙ（鼻ｘｙ＆兎ｙ＆～長ｘ） シＥＩ
１ ア （セ）∃ｘ∃ｙ（鼻ｘｙ＆兎ｙ＆～長ｘ） アイスＥＥ
１ ア （〃）あるｘはあるｙの鼻であって、ｙは兎であり、ｘは長くない。 アイスＥＥ
１ ア （〃）鼻が長くない、兎がゐる。 アイスＥＥ
従って、
（04）（05）（06）により、
（07）
① 象は鼻が長い＝ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
である。
従って、
（03）（07）により、
（08）
① 象は鼻が長い＝ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［～（鼻ｘｙ＆象ｙ）→～長ｘ］｝。
に於ける、「右辺（の論理式）」を見れば分かる通り、
① 象は鼻が長い。
② 鼻は象が長い。
に於いて、「異なる」のは、「語順」ではなく、「論理構造」そのものである。
―「昨日の記事（250）」を、シンプルなものに、書き直します。―
（01）
（ⅱ）
１ （１） Ｐ→Ｑ Ａ
２ （２） Ｐ Ａ
３（３） ～Ｑ Ａ
１２ （４） Ｑ １２ＭＰＰ
１２３（５）～Ｑ＆Ｑ ３４＆Ｉ
１ ３（６）～Ｐ ２５ＲＡＡ
１ （７）～Ｑ→～Ｐ ３６ＣＰ
（ⅲ）
１ （１）～Ｑ→～Ｐ Ａ
２ （２）～Ｑ Ａ
３（３） Ｐ Ａ
１２ （４） ～Ｐ １２ＭＰＰ
１２３（５） Ｐ＆～Ｐ ３４＆Ｉ
１ ３（６）～～Ｑ ２５ＲＡＡ
１ ３（７） Ｑ ６ＤＮ
１ （８）Ｐ→Ｑ ３７ＣＰ
従って、
（01）により、
（02）
② Ｐ→ Ｑ＝ＰであるならばＱである。
③ ～Ｑ→～Ｐ＝ＱでないならばＰでない。
に於いて、
②＝③ であって、
この「等式」を、「対偶（contraposition）」といふ。
然るに、
（03）
（ⅱ）
１ （１） 理事長→私 Ａ
２ （２） 理事長 Ａ
３（３） ～私 Ａ
１２ （４） 私 １２ＭＰＰ
１２３（５）～私＆私 ３４＆Ｉ
１ ３（６）～理事長 ２５ＲＡＡ
１ （７）～私→～理事長 ３６ＣＰ
（ⅲ）
１ （１）～私→～理事長 Ａ
２ （２）～私 Ａ
３（３） 理事長 Ａ
１２ （４） ～理事長 １２ＭＰＰ
１２３（５） 理事長＆～理事長 ３４＆Ｉ
１ ３（６）～～私 ２５ＲＡＡ
１ ３（７） 私 ６ＤＮ
１ （８）理事長→私 ３７ＣＰ
従って、
（02）（03）により、
（04）
② 理事長→ 私＝理事長であるならば私である。
③ ～私→～理事長＝私でないならば理事長でない。
に於いて、
②＝③ であって、
この「等式」を、「対偶（contraposition）」といふ。
従って、
（04）により、
（05）
② 理事長は私です＝理事長であるならば私である。
③ 私以外は理事長ではない＝私でないならば理事長でない。
に於いて、
②＝③ であって、
この「等式」を、「対偶（contraposition）」といふ。
然るに、
（06）
デジタル大辞泉の解説
たい‐ぐう【対偶】
３ 論理学で、「pならばqである」に対して、仮定および結論を否定し同時に両者を逆にした「qでなければpでない」という形の命題。原命題が真ならば、その対偶も必ず真となる。→裏 →逆
従って、
（05）（06）により、
（07）
② 理事長は私です＝理事長であるならば私、である。
③ 私以外は理事長ではない＝私でないならば、理事長でない。
に於いて、
②＝③ であって、
この「等式」は、「常に正しい」。
然るに、
（08）
よく知られているように、「私が理事長です」は語順を変え、
理事長は、私です。
と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、
タゴール記念館は、私が理事です。
と言ったとすれば、これは主辞「タゴール記念館」を品評するという心持ちの文である。
（三上章、日本語の論理、1963年、４０・４１頁）
従って、
（07）（08）により、
（09）
① 私が理事長です。
② 理事長は私です。
③ 私以外は理事長ではない。
に於いて、
①＝②＝③ であって、
この「等式」は、「常に正しい」。
従って、
（01）～（09）により、
（10）
① 私が理事長です。
② 私以外は理事長ではない。
に於いて、
①＝② であって、
この「等式」は、「常に正しい」。
従って、
（10）により、
（11）
① 鼻が長い。
② 鼻以外は長くない。
に於いて、
①＝② である。
従って、
（11）により、
（12）
① 鼻が長い。
② 鼻以外は長くない。
に於いて、
①＝② である。
従って、
（12）により、
（13）
① 象は鼻が長い。
② 象は鼻は長く、鼻以外は長くない。
に於いて、
①＝② である。
従って、
（14）
① 象は鼻が長い。⇔
② 象は鼻は長く、鼻以外は長くない。⇔
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
③ すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
に於いて、
①＝②＝③ である。
然るに、
（15）
④ 兎は耳が長く、兎の耳は鼻ではない。⇔
④ ∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝⇔
④ すべてのｘについて、ｘが兎であるならば、あるｙはｘの耳であって、長く、すべてのｚについて、ｚがｘの耳ならば、ｚはｘの耳ではない。
従って、
（14）（15）により、
（16）
（１）象は鼻は長く、鼻以外は長くない。
（３）兎は耳が長く、兎の耳は鼻ではない。
（４）すべての兎が象でない。といふわけではなく、ある兎は象である。
と「仮定」すると。「矛盾」せざるを得ない。
従って、
（16）により、
（17）
（１）象は鼻は長く、鼻以外は長くない。
（３）兎は耳が長く、兎の耳は鼻ではない。
が「正しい」とすると、
（４）すべての兎が象でない。といふわけではない。
といふ「仮定」は、「否定」しなければ、ならない。
ｃｆ.
背理法（reductio ad absurdum）。
然るに、
（18）
１ （１） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （２） ∀ｘ｛∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）→～象ｘ｝ １対偶（contraposition）
３ （３） ∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ
４ （４）～∀ｘ（兎ｘ→～象ｘ） Ａ
１ （５） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
１ （６） ∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆長ｚ）→～象ａ ２
３ （７） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ３
４ （８）∃ｘ～（兎ｘ→ ～象ｘ） ４量化子の関係
９ （９） ～（兎ａ→ ～象ａ） Ａ
９ （ア） ～（～兎ａ∨ ～象ａ） ９含意の定義
９ （イ） ～～兎ａ＆～～象ａ ア、ド・モルガンの法則
９ （ウ） 兎ａ＆ 象ａ イＤＮ
９ （エ） 兎ａ ウ＆Ｅ
９ （オ） 象ａ ウ＆Ｅ
１ ９ （カ） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ５オＭＰＰ
１ ９ （キ） ∃ｙ（鼻ｙａ＆長ｙ） カ＆Ｅ
ク（ク） 鼻ｂａ＆長ｂ Ａ
ク（ケ） 長ｂ ク＆Ｅ
１ ９ （コ） ∃ｚ（～鼻ｚａ＆長ｚ）→～象ａ ６キＭＰＰ
１３ ９ （サ） ∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ７エＭＰＰ
１３ ９ （シ） ∃ｙ（耳ｙａ＆長ｙ） サ＆Ｅ
ス（ス） 耳ｂａ＆長ｂ Ａ
ス（セ） 耳ｂａ ス＆Ｅ
１３ ９ （ソ） ∀ｚ（耳ｚａ→～鼻ｚａ） サ＆Ｅ
１３ ９ （タ） 耳ｂａ→～鼻ｂａ ソＵＥ
１３ ９ （チ） ～鼻ｂａ セタＭＰＰ
１３ ９ク（ツ） ～鼻ｂａ＆長ｂ ケチ＆Ｉ
１３ ９ク（テ） ∃ｚ（～鼻ｚａ＆長ｚ） ツＥＩ
１３ ９ （ト） ∃ｚ（～鼻ｚａ＆長ｚ） キクテＥＥ
１３ ９ （ナ） ～象ａ コトＭＰＰ
１３ ９ （ニ） 象ａ＆～象ａ オナ＆Ｉ
１３４ （ヌ） 象ａ＆～象ａ ８９ニＥＥ
１３ （ネ）～∃ｘ～（兎ｘ→～象ｘ） ８ヌＲＡＡ
１３ （ノ）∀ｘ～～（兎ｘ→～象ｘ） ネ量化子の関係
１３ （ハ）∀ｘ（兎ｘ→～象ｘ） ノＤＮ
１３ （〃）すべてのｘについて、ｘが兎であるならば、ｘは象ではない。 ノＤＮ
１３ （〃）兎は象ではない。 ノＤＮ
従って、
（14）～（18）により、
（19）
たしかに、
① 象は鼻が長い。
② 象は鼻は長く、鼻以外は長くない。
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
④ すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
に於いて、
①＝②＝③＝④
といふ「等式」は、「正しい」。
然るに、
（20）
伝統的論理学を清水滉『論理学』（1916年）で代表させよう。わたしのもっているのが四十三年の第十九冊の一冊で、なお引き続き刊行だろうから、前後かなり多くの読者をもつ論理学書と考えられる。新興の記号論理学は、沢田允茂『現代論理学入門』（1962年）を参照することにする（三上章、日本語の論理、1963年、４頁）。
然るに、
（21）
私自身は、『論理学』を含めて、何から何まで、すべて、独学であるが、「三上章、日本語の論理、1963年」を読む限り、三上先生は、論理学を、学んでゐたとは、思へない。
従って、
（22）
「日本語の論理、1963年」は、「論理学」を知らない人が書いた、『日本語の論理』に関する「書籍」であると、言はざるを得ない。
然るに、
（23）
主語と主格とはどう違うのか。
主格は国際的な概念である。国語によって広狭も違い。互いに出入りもあるが中心的観念は共通だと考えられる。それが述語（広義の動詞）に係ることも国際的と見てよいだろう。
ただ係り方が二つに分かれる。独占的に述語に係るか、そうでない（他の格と合流）かである。
述語を独占する主格が主語であり。そうでない方は、主格に何も新しい性質が加わらないわけだから、どのまま主格と呼び続けるだけのことである。
ヨオロッパの主格は自縛して主語であり、日本語の主格は主格に止まるのである。
主語―述語の対
主格―対格、位格。デの核。カラの格などの補語仲間のトップ
（三上章、日本語の論理、1963年、１７１頁）
（24）
「何を言おうとしてゐるのか」、私には、「全く、分からない」。
（25）
主格は国際的な概念である。国語によって広狭も違い。互いに出入りもあるが中心的観念は共通だと考えられる。それが述語（広義の動詞）に係ることも国際的と見てよいだろう。
といふことに関しては、分かるやうな気がするものの、「この部分」は、「本題」ではない。
（26）
例へば、
Ｒｅｘ ｂｏｎｕｓ ｅｑｕｉｔｉ ｅｑｕｕｍ ｄａｔ.
良い王は 騎兵に 馬を 与へる。
の場合、
ｄａｔ.
三人称単数は与へる。
だけでも、「ラテン語」は、成立する。
従って、
（27）
Ｒｅｘ ｂｏｎｕｓ ｅｑｕｉｔｉ ｅｑｕｕｍ
良い王は（主格） 騎兵に（与格） 馬（対格）
といふ「３つの格」は、
ｄａｔ.
三人称単数は与へる。
の「意味を補ふ所の、補語」である。
然るに、
（28）
Ｒｅｘ ｂｏｎｕｓ ｅｑｕｉｔｉ ｅｑｕｕｍ ｄａｔ.
良い王は 騎兵に 馬を 与へる。
ではなく、
Ｒｅｘ ｂｏｎｕｓ ｄａｔ.
良い王は 与へる。
であれば、
与へる（述語）を、
良い王（主格）が、「独占」してゐる。
然るに、
（29）
ｅｑｕｉｔｉ ｄａｔ.
騎兵に 与へる。
であれば、
与へる（述語）を、
騎兵に（与格）が、「独占」してゐるし、
ｅｑｕｕｍ ｄａｔ.
馬を 与へる。
であれば、
与へる（述語）を、
馬を（対格）が、「独占」してゐる。
従って、
（27）（28）（29）により、
（30）
Ｒｅｘ ｂｏｎｕｓ ｅｑｕｉｔｉ ｅｑｕｕｍ ｄａｔ.
良い王は 騎兵に 馬を 与へる。
の場合は、
与へる（述語）を、「独占」してゐる「格」など、存在しない。
従って、
（30）により、
（31）
「述語を独占する主格」は無いが故に。
「述語を独占する主格が主語である。」といふこともあり得ず、それ故、
「述語を独占しない主格が主語ではなく、主格である。」といふこともあり得ない。
従って、
（31）により、
（32）
ただ係り方が二つに分かれる。独占的に述語に係るか、そうでない（他の格と合流）かである。
といふ「言ひ方」の「意味」が、「全く、分からない」。
（33）
「自縛」したら、「動けない」ため、主格は主格に止まる。⇒ヨオロッパ語の、主格は「主語」になれない。
とは、ならずに、
「自縛」したら、「動けない」ため、主格は主格に止まる。⇒ヨオロッパ語の、主格は「自縛」して「主語」である。
と、なるのが、「不思議」である。
（34）
「日本語には主語はない。」従って、「鼻が」は「主語」ではなく、「主格」である。
といふことを、言ひたいがための、「理屈」なのであらうとは、思ふものの、いづれにせよ、「私には、だういふことなのか、全く分からない。」
（35）
学校文法は単純な英語文法からの輸入で、主語・述語関係を単純に当てはめたものだ。そのため、「象は、鼻が長い」という単純な文でさえ、どれが主語だか指摘できず、複数主語だとか、主語の入れ子だとか、奇矯な技を使う。これに対して三上は、日本語には主語はない、とする。
（三上文法！ : wrong, rogue and log）
（36）
「日本語」には、「英語」のやうな「主語」が無い。
といふのであれば、さの通りである。
然るに、
（37）
「漢文、ギリシャ語、ラテン語」にも、「英語」のやうな「主語」は無いのだから、「それだけの話」である。
（38）
「複数主語だとか、主語の入れ子だとか、奇矯な技を使う。」
とは言ふものの、
① 象は鼻が長い。⇔
② 象は鼻は長く、鼻以外は長くない。⇔
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
④ すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
の場合は、「複数の主語（ｘ、ｙ、ｘ）」があって、
③｛ （ ）（ ） ｝
といふ「括弧」による、「入れ子」になってゐる。
（39）
「メンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する」といふ「言ひかた」は兎も角、
③ ∀ｘ｛象ｘ→
④ すべてのｘについて、ｘが象であるならば、
といふことは、
③ これから象についてのことを述べますよ、
④ これから象についてのことを述べますよ、
といふ、ことであるため、この場合に、三上先生が、
③ 象は＝これから象についてのことを述べますよ、
といふ風に、思ったことは、「自然なこと」である。
従って、
（40）
③ これから象についてのことを述べますよ、
④ これから象についてのことを述べますよ、
であるからと言って、そのことが、「特筆」に値する。とは、思はない。
然るに、
（41）
このうち、「象は鼻が長い」と「日本語の論理」をオススメする。あまりのクリアカットな主張に、愕然とする、なるほどそうだったのか、僕らは何も知らなかったのだなと。
（三上文法！ : wrong, rogue and log）
従って、
（01）～（41）により、
（42）
（三上文法！ : wrong, rogue and log）の記者の方とは、異なり、私自身は、「三上文法」を、全く、評価しない。
三上文法批判：「鼻が」は「補語」か。他。
（01）
学校文法は単純な英語文法からの輸入で、主語・述語関係を単純に当てはめたものだ。そのため、「象は、鼻が長い」という単純な文でさえ、どれが主語だか指摘できず、複数主語だとか、主語の入れ子だとか、奇矯な技を使う。これに対して三上は、日本語には主語はない、とする。「象は」は、テーマを提示する主題であり、これから象についてのことを述べますよというメンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する（この場合は「長い」までをスコープとする）。また、「鼻が」は主格の補語にすぎなく、数ある補語と同じ格であるとする。基本文は述語である「長い」だけだ（三上文法！ : wrong, rogue and log）。
然るに、
（02）
① 象は鼻が長い。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
従って、
（02）により、
（03）
「述語論理的（Predicate logical）」な「観点」からすれば、
① 象は鼻が長い。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
には、「複数の主語（ｘ、ｙ、ｚ）」があって、尚且つ、
①｛ （ ）（ ） ｝
といふ「括弧」があるが故に、
① 象は鼻が長い。
といふ「日本語」は、「入れ子」になってゐる。
従って、
（01）（02）（03）により、
（04）
「述語論理的（Predicate logical）」な「観点」からすれば、
「象は、鼻が長い」という単純な文でさえ、どれが主語だか指摘できず、複数主語だとか、主語の入れ子だとか、奇矯な技を使う。
といふ「批判」は、当たらない。
然るに、
（05）
３４ 文章の主語は、主格で表わされる。それゆえ、αποστολος γινωσκει は、「使徒は知る」（an apostle knows）という意味である。
他動詞の目的語は対格に置かれる。それゆえ、βλεπω λογον は「私は言葉を見る」（I see a word）という意味である。
（Ｊ.Ｇ.メイチェン 著、田辺滋 訳、新約聖書ギリシャ語原典入門、1967年、２７頁）
然るに、
（06）
① γινωσκει（三人称単数は知る）。
といふ「述語（predicate）」だけでも、「ギリシャ語は、成立する」。
従って、
（06）により、
（07）
① γινωσκει（三人称単数は知る）。
が、最初に有って、その次に、
② αποστολος γινωσκει（an apostle knows）。
③ αποστολον γινωσκει（三人称単数は使徒を知る）。
といふ、
② 主格＋述語＝αποστολος γινωσκει（an apostle knows）。
③ 対格＋述語＝αποστολον γινωσκει（三人称単数は使徒を知る）。
といふ「形」が成立する。
といふ風に、解することも、「可能」である。
従って、
（07）により、
（08）
その「意味」で、
② 主格＋述語＝αποστολος γινωσκει（an apostle knows）。
③ 対格＋述語＝αποστολον γινωσκει（三人称単数は使徒を知る）。
に於ける、
② 主格（αποστολος） は、述部（γινωσκει）の「意味を補ふ、補語（complement）」であり、
③ 対格（αποστολον）も、述部（γινωσκει）の「意味を補ふ、補語（complement）」である。
然るに、
（05）により、
（09）
αποστολος γινωσκει は、「使徒は知る」（an apostle knows）という意味である。
となってゐて、
αποστολος γινωσκει は、「使徒が知る」（an apostle knows）という意味である。
とは、なってゐない。
従って、
（08）（09）により、
（10）
② 主格＋述語＝αποστολος γινωσκει（an apostle knows）。
③ 対格＋述語＝αποστολον γινωσκει（三人称単数は使徒を知る）。
に於ける、
② 主格（αποστολος） は、述部（γινωσκει）の「補語（complement）」であり、
③ 対格（αποστολον）も、述部（γινωσκει）の「補語（complement）」である。
とすることは、「可能」であるとしても、この場合は、
「使徒が」ではなく、
「使徒は」が、さうである。
といふ、ことになる。
従って、
（10）により、
（11）
① 使徒は知る＝αποστολος γινωσκει．
② 使徒が知る＝αποστολος γινωσκει．
に於いて、
②「使徒が」は「知る（述部）」の「補語」であるが、
①「使徒は」は「知る（述部）」の「補語」ではない。
といふことには、ならない。
従って、
（11）により、
（12）
① 象は大きい。
② 鼻が長い。
に於いて、
②「鼻が」は、「述部（ 長い ）」の「意味を補ふ補語」であるが、
①「象は」は、「述部（大きい）」の「意味を補ふ補語」でない。
といふのであれば、さのやうな「言ひ方」は、「詭弁」に過ぎない。
（13）
確かに、「象は、鼻が長い。」という文の主語は何か、と尋ねられたら返答に窮する。学校文法に従えば「象は」も「鼻が」も両方とも「主語」ということになる。しかし、単文に2つの主語があるのは変だ。三上文法によると、「象は、鼻が長い。」という文において、「象は」は題（主題、題目 topic）で、残りの部分「鼻が長い」は解説 (comment) だという。この文の場合、「鼻が」という主格が解説に含まれている。しかし、日本語では主格（何が、誰が）がなくても文は成立する。たとえば、料理文がそうだ。料理文では「何を」は何度も登場するが、主格「誰が」は出てこない。言う必要がないからだ。
山崎紀美子著 『日本語基礎講座』三上文法入門 ちくま新書の38ページから、料理文の一例を引用する。
新ゴボウのかき揚げ」（朝日新聞2002年4月18日）
＜主な材料＞
新ゴボウ2本（200グラム）、桜エビ（素干し）15グラム、牛乳100cc、大根200グラム
＜作り方＞
ゴボウは汚れを落とし、斜め薄切りにして水にくぐらせ水気を切り、薄口しょうゆ大さじ1をからめます。ボウルに薄力粉100グラム、牛乳、桜エビ、ゴボウを入れまぜます。8等分し170度の揚げ油で、カリッと揚げます。大根おろしとしょうゆを添えます。
作り方の冒頭にある「ゴボウは汚れを落とし」は、言うまでもなく、ゴボウが自分で汚れを落とすわけではありません。ゴボウについて言えば、その汚れを料理人が落とす、という意味です。「ゴボウは」は、主語などではなく、題なのです（リベラル２１私たちは護憲・軍縮・共生を掲げてネット上に市民のメディア、リベラル２１を創った。2009.02.21 日本語に主語はあるのか）。
然るに、
（14）
１ （１）∀ｘ（牛蒡ｘ→∃ｙ（我々ｙ＆洗ｙｘ）｝ Ａ
１ （２） 牛蒡ａ→∃ｙ（我々ｙ＆洗ｙａ） １ＵＥ
３ （３）∃ｘ（牛蒡ｘ） Ａ
４（４） 牛蒡ａ Ａ
１ ４（５） ∃ｙ（我々ｙ＆洗ｙａ） ２５ＭＰＰ
１３４（６） 牛蒡ａ＆∃ｙ（我々ｙ＆洗ｙａ） ４５＆Ｉ
１３４（７）∃ｘ｛牛蒡ｘ＆∃ｙ（我々ｙ＆洗ｙｘ）｝ ６ＥＩ
１３ （８）∃ｘ｛牛蒡ｘ＆∃ｙ（我々ｙ＆洗ｙｘ）｝ ３４ＥＥ
従って、
（14）により、
（15）
（１）すべてのｘについて、ｘが牛蒡であるならば、あるｙは我々であって、ｙはｘを洗ふ。しかるに、
（３）あるｘは牛蒡である。故に、
（８）あるｘは牛蒡であって、あるｙは我々であって、ｙはｘを洗ふ。
従って、
（13）（14）（15）により、
（16）
「ゴボウは汚れを落とす。」
といふ「日本語」は、
「ゴボウは（我々によって汚れを）落とされる。」
といふ風に、解することが、出来る。
従って、
（16）により、
（17）
「ゴボウは汚れを落とす（ゴボウ is washed by us）。」
に於ける、
「ゴボウは」は、「受動文」の「主語」である。
然るに、
（18）
（１）すべてのｘについて、ｘが牛蒡であるならば、
といふことは、
（１）ゴボウについて言えば、
といふことに、他ならない。
従って、
（18）により、
（19）
（１）ゴボウについて言えば、
が、「題」であるならば、
（１）「∀ｘ（牛蒡ｘ→」＝「すべてのｘについて、ｘが牛蒡であるならば、」
も、たしかに、「題」である。
然るに、
（20）
例へば、
メタ トーン アンゲローン アゲイ ホ キュリオス トゥース ディカイウース エイス トン ウーラノン．
に於いて、
キュリオス が「主語」である「所以」は、
キュリオス だけが「主格」の「形」をしてゐるからである。
従って、
（21）
ギリシャ語やラテン語であれば、「主格（形）」が「主語（形）」であり、「主語（形）」が「主格（形）」である。
従って、
（22）
料理文では「何を」は何度も登場するが、主格「誰が」は出てこない。言う必要がないからだ。
といふ「言ひ方」は、私にとっては、
料理文では「何を」は何度も登場するが、主語「誰が」は出てこない。言う必要がないからだ。
といってゐるのと、同じである。
（23）
そもそも、「主語と、主格と、主題」は、「矛盾する概念」ではないはずである。
従って、
（24）
「象は」は題（主題、題目 topic）で、残りの部分「鼻が長い」は解説 (comment) だという。この文の場合、「鼻が」という主格が解説に含まれている。
といふのであれば、「主題とは何で、主語とは何で、主格とは何で、それぞれの何処が、だう違ふのか」といふことを、示してくれない限り、「三上文法」を理解することは、永遠に不可能である。
と、言はざるを得ない。
―「昨日の記事」を書き直します。―
（01）
① Ｐ→Ｑ（ＰならばＱである）。
といふ「仮言命題」自体は、
① Ｐである。とも、Ｐでない。とも、
① Ｑである。とも、Ｑでない。とも、言っていない。
然るに、
（02）
（ⅰ）
１ （１） Ｐ→Ｑ Ａ
２ （２） Ｐ Ａ
３（３） ～Ｑ Ａ
１２ （４） Ｑ １２ＭＰＰ
１２３（５）～Ｑ＆Ｑ ３４＆Ｉ
１ ３（６）～Ｐ ２５ＲＡＡ
１ （７）～Ｑ→～Ｐ ３６ＣＰ
（ⅱ）
１ （１）～Ｑ→～Ｐ Ａ
２ （２）～Ｑ Ａ
３（３） Ｐ Ａ
１２ （４） ～Ｐ １２ＭＰＰ
１２３（５） Ｐ＆～Ｐ ３４＆Ｉ
１ ３（６）～～Ｑ ２５ＲＡＡ
１ ３（７） Ｑ ６ＤＮ
１ （８）Ｐ→Ｑ ３７ＣＰ
従って、
（02）により、
（03）
① Ｐ→ Ｑ
② ～Ｑ→～Ｐ
に於いて、
①＝② である。
ｃｆ.
「対偶（contraposition）」は、互いに「等しい」。
従って、
（03）により、
（04）
① Ｐ→Ｑ＝（Ｐ→Ｑ）＆（～Ｑ→～Ｐ）
である。
然るに、
（05）
「定義（Ｄｆ.⇔）」により、
② Ｐ⇔Ｑ＝（Ｐ→Ｑ）＆（Ｑ→Ｐ）
従って、
（04）（05）により、
（06）
① Ｐ→Ｑ＝（Ｐ→Ｑ）＆（～Ｑ→～Ｐ）
② Ｐ⇔Ｑ＝（Ｐ→Ｑ）＆（ Ｑ→ Ｐ）＆（～Ｑ→～Ｐ）＆（～Ｐ→～Ｑ）
である。
従って、
（07）
① Ｐ→Ｑ＝ＰならばＱである。
② Ｐ⇔Ｑ＝Ｐならば、そのときに限って、Ｑである。
に於いて、
① であれば、「逆は必ずしも真ではない。」が、
② であれば、「逆は、必ず、真である。」
然るに、
（08）
（ⅰ）
１ （１）∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （２）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）＆
～象ｘ→～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］｝１Ｄｆ.⇔
１ （３） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）＆
～象ａ→～［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ２ＵＥ
１ （４） ～象ａ→～［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］ ３＆Ｅ
５ （５） ～象ａ Ａ
１５ （６） ～［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］ ４５ＭＰＰ
１５ （７） ～∃ｙ（鼻ｙａ＆長ｙ）∨～∀ｚ（～鼻ｚａ→～長ｚ） ６ド・モルガンの法則
１５ （８） ∃ｙ（鼻ｙａ＆長ｙ）→～∀ｚ（～鼻ｚａ→～長ｚ） ７含意の定義
９ （９） ∃ｙ（鼻ｙａ＆長ｙ） Ａ
１５９ （ア） ～∀ｚ（～鼻ｚａ→～長ｚ） ８９ＭＰＰ
１５９ （イ） ∃ｚ～（～鼻ｚａ→～長ｚ） ア量化子の関係
ウ（ウ） ～（～鼻ｃａ→～長ｃ） Ａ
ウ（エ） ～（～～鼻ｃａ∨～長ｃ） ウ含意の定義
ウ（オ） ～（鼻ｃａ∨～長ｃ） エＤＮ
ウ（カ） ～鼻ｃａ＆～～長ｃ オ、ド・モルガンの法則
ウ（キ） ～鼻ｃａ＆ 長ｃ カＤＮ
ウ（ク） ∃ｚ（～鼻ｚａ＆ 長ｚ） キＥＩ
１５９ （ケ） ∃ｚ（～鼻ｚａ＆ 長ｚ） イウクＥＥ
１５ （コ） ∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆ 長ｚ） ９ケＣＰ
１ （サ） ～象ａ→∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆ 長ｚ） ５コＣＰ
１ （シ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ３＆Ｅ
１ （ス） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）＆
～象ａ→∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆ 長ｚ） サシ＆Ｉ
１ （セ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）＆
～象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ スＵＩ
（ⅱ）
１ （１） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）＆
～象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）＆
～象ａ→∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆ 長ｚ） １ＵＥ
１ （３） ～象ａ→∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆ 長ｚ） ２＆Ｅ
４ （４） ～象ａ Ａ
１４ （５） ∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆ 長ｚ） ３４ＭＰＰ
６ （６） ∃ｙ（鼻ｙａ＆長ｙ） Ａ
１４６ （７） ∃ｚ（～鼻ｚａ＆ 長ｚ） ５６ＭＰＰ
８（８） （～鼻ｃａ＆ 長ｃ） Ａ
８（９） ～～（～鼻ｃａ＆ 長ｃ） ８ＤＮ
８（ア） ～（～～鼻ｃａ∨～長ｃ） ９、ド・モルガンの法則
８（イ） ～（～鼻ｃａ→～長ｃ） ア含意の定義
８（ウ） ∃ｚ～（～鼻ｚａ→～長ｚ） イＥＩ
１４６ （エ） ∃ｚ～（～鼻ｃａ→～長ｚ） ７８ウＥＥ
１４６ （カ） ～∀ｘ（～鼻ｃａ→～長ｚ） エ量化子の関係
１４ （キ） ∃ｙ（鼻ｙａ＆長ｙ）→～∀ｘ（～鼻ｃａ→～長ｚ） ６カＣＰ
１４ （ク） ～∃ｙ（鼻ｙａ＆長ｙ）∨～∀ｘ（～鼻ｃａ→～長ｚ） キ含意の定義
１４ （ケ） ～［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］ ク、ド・モルガンの法則
１ （コ）～象ａ→～［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］ ４ケＣＰ
１ （サ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ２＆Ｅ
１ （シ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ａ）＆
～象ａ→～［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］ コサ＆Ｉ
１ （ス）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）＆
～象ｘ→～［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］｝シＵＩ
１ （セ）∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ ス１Ｄｆ.⇔
従って、
（08）により、
（09）
① ∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）＆～象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝
に於いて、
①＝② である。
従って、
（09）により、
（10）
① すべてのｘについて、ｘが象であるならば、そのときに限って、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
② すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くなく、すべてのｘについて、ｘが象でないならば、あるｙがｘの鼻であって、長いのであれば、あるｚは、ｘの鼻ではないが、ｚは長い。
に於いて、
①＝② である。
然るに、
（11）
① すべてのｘについて、ｘが象であるならば、そのときに限って、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
といふことは、
① 象だけが、鼻だけが長い。
といふ、ことである。
然るに、
（12）
② すべてのｘについて、ｘが象でないならば、あるｙがｘの鼻であって、長いのであれば、あるｚは、ｘの鼻ではないが、ｚは長い。
といふことは、
② 象以外の動物で、その動物の鼻が長いのであれば、その動物の鼻以外の部分も長い。
といふ、ことである。
然るに、
（13）
② 象以外の動物で、その動物の鼻が長いのであれば、その動物の鼻以外の部分も長い。
といふことは、
② 象以外の動物で、鼻だけが長い動物はゐない。
といふ、ことである。
然るに、
（14）
② 象以外の動物で、鼻だけが長い動物はゐない。
といふことは、
② 象だけが、鼻だけが長い。
といふ、ことである。
従って、
（09）～（14）により、
（15）
① ∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）＆～象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝
は、２つとも、
① 象だけが、鼻だけが長い。
② 象だけが、鼻だけが長い。
といふ、「意味」である。
然るに、
（16）
① あなた以外は好きではない。
といふのであれば、
① あなたが好きです。
と言ふのであって、
① あなたは好きです。
① あなたも好きです。
とは、言はない。
然るに、
（17）
① あなた以外は好きではない。
といふことは、
① あなただけが好きです。
といふ「意味」である。
従って、
（16）（17）により、
（18）
① あなたが好きです。
と言へば、それだけで、
① あなたが好きです＝あなただけが好きです。
といふ、「意味」になる。
従って、
（15）～（18）により、
（19）
① 象が鼻が長い＝象だけが、鼻だけが長い。
② 象が鼻が長い＝象以外は、鼻以外は長くない。
である。
然るに、
（20）
① 象が鼻が長い。
とは異なり、
③ 象は鼻が長い。
の場合は、
③「象」だけを念頭に置いてゐる。
従って、
（20）により、
（21）
③ 象は鼻が長い。⇔
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
③ すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
である。
従って、
（09）（10）（21）により、
（22）
「番号」を、付け替へると、
① 象は鼻が長い。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
であって、
② 象が鼻が長い。⇔
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）＆～象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝⇔
② すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くなく、すべてのｘについて、ｘが象でないならば、あるｙがｘの鼻であって、長いのであれば、あるｚは、ｘの鼻ではないが、ｚは長い。
である。
然るに、
（23）
括弧は、論理演算子のスコープ（ｓｃｏｐｅ）を明示する働きを持つ。スコープは、論理演算子の働きが及ぶ範囲のことをいう。
（産業図書、数理言語学辞典、2013年、四七頁：命題論理、今仁生美）
（24）
（ⅰ）論理式または命題関数において、量記号が現れる任意の箇所の作用範囲は、問題になっている変数が現れる少なくとも２つの箇所を含むであろう（その１つの箇所は量記号そのもののなかにある）；
（ⅱ）論理式または命題関数において、量記号が現れる任意の箇所の作用範囲は、同じ変数を用いたいかなる他の量記号も含まないであろう。
（論理学初歩、E.J.レモン、竹尾 治一郎・浅野 楢英 訳、1973年、１８３頁）
従って、
（22）（23）（24）により、
（25）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）＆～象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝
に於いて、
① ｘの「スコープ（作用範囲）」と、
② ｘの「スコープ（作用範囲）」は、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）＆～象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝
といふ「論理式の、全体」である。
従って、
（25）により、
（26）
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② 象が鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）＆～象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝。
に於ける、
①「象は」の「スコープ（作用範囲）」は、「長い」まであり、
②「象が」の「スコープ（作用範囲）」も、「長い」まである。
然るに、
（27）
「象は」は、テーマを提示する主題であり、これから象についてのことを述べますよというメンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する（この場合は「長い」までをスコープとする）。
（三上文法！ : wrong, rogue and log）
従って、
（27）により、
（28）
（三上文法！ : wrong, rogue and log）の記者さんによると、恰も、
①「象は」の「スコープ（作用範囲）」は、「長い」まであるが、
②「象が」の「スコープ（作用範囲）」は、「長い」まではない。
といふ風に、述べてゐるやうに、聞こえる。
然るに、
（29）
② 象が鼻が長い。
といふのであれば、
② 鼻が長い。のは、「象」である。
従って、
（26）（29）により、
（30）
①「象は」の「スコープ（作用範囲）」は、「長い」まであるが、
②「象が」の「スコープ（作用範囲）」も、「長い」まではない。
といふことは、有り得ない。
然るに、
（22）により、
（31）
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝＝「すべてのｘについて、ｘが象であるならば、・・・・・・・。」
② 象が鼻が長い＝∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝＝「すべてのｘについて、ｘが象であるならば、・・・・・・・。」
従って、
（31）により、
（32）
① 象は＝「すべてのｘについて、ｘが象であるならば、」
② 象が＝「すべてのｘについて、ｘが象であるならば、」
然るに、
（33）
①「すべてのｘについて、ｘが象であるならば、」＝「これから象についてのことを述べますよ、」
②「すべてのｘについて、ｘが象であるならば、」＝「これから象についてのことを述べますよ、」
といふ風に、解することが出来る。
従って、
（27）（33）により、
（34）
① 象は＝「これから象についてのことを述べますよ、」
であるならば、
② 象が＝「これから象についてのことを述べますよ、」
であると、すべきである。