（01）
２ 次の論証の妥当性を示せ。
（ｅ）鯨は哺乳類である。ある魚は鯨である。すべての魚は尻尾をもっている。故にある魚の尻尾は哺乳類の尻尾である。
（E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、１７４頁）。
（02）
２ Show the validity of the following arguments:
（ｅ）A whale is a mammal; some fish are whales; All fish have tails; therefore The some fishes' tails are mammals' tails.
（E.J.Lemmon, Beginning Logic, First published in Great Britain 1965）
然るに、
（03）
１ （１）∀ｘ（鯨ｘ→哺乳類ｘ） Ａ
２ （２）∃ｘ（魚ｘ＆鯨ｘ） Ａ
３ （３）∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝ Ａ
１ （４） 鯨ａ→哺乳類ａ １ＵＥ
５（５） 魚ａ＆鯨ａ Ａ
３ （６） 魚ａ→∃ｙ（尻尾ｙａ） ３ＵＥ
５（７） 魚ａ ５＆Ｅ
３５（８） ∃ｙ（尻尾ｙａ） ６７ＭＰＰ
５（９） 鯨ａ ５＆Ｅ
１ ５（ア） 哺乳類ａ ４９ＭＰＰ
１ ５（イ） 魚ａ＆哺乳類ａ ７ア＆Ｉ
１ ３５（ウ） 魚ａ＆哺乳類ａ＆∃ｙ（尻尾ｙａ） ８イ＆Ｉ
１ ３５（エ）∃ｘ｛魚ｘ＆哺乳類ｘ＆∃ｙ（尻尾ｙｘ）｝ ウＥＩ
１２３ （オ）∃ｘ｛魚ｘ＆哺乳類ｘ＆∃ｙ（尻尾ｙｘ）｝ ２５エＥＥ
１２３ （〃）あるｘは魚であり、哺乳類であって、あるｙはｘの尻尾である。２５エＥＥ
１２３ （〃）ある魚の尻尾は、 哺乳類の尻尾である。 ２５エＥＥ
１２３ （〃）Some fishes' tails are mammals' tails. ２５エＥＥ
然るに、
（04）
「E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年」といふ「翻訳」を読んで、
「E.J.Lemmon, Beginning Logic, First published in Great Britain 1965」といふ「原著」に出てゐる「練習問題」が解けるようになる。
といふことは、「論理（Logic）」そのものは、「すべての自然言語」に於いて、「共通」であるといふことの「証左」である。
従って、
（01）～（04）により、
（05）
① すべての魚は尻尾をもっている。
② All fish have tails.
といふ「日本語と英語」に「相当」する、「すべての自然言語」は、
③ ∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝
といふ「述語論理式」に、「対応」する。
然るに、
（06）
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎は耳が長いが、兎の耳は鼻ではない。従って、
（ⅲ）兎は象でない。
といふ「推論（三段論法）」は、明らかに「妥当」である。
従って、
（07）
２ 次の論証の妥当性を示せ。
（ｇ）象は鼻が長い。然るに、兎は耳が長いが、兎の耳は鼻ではない。従って、兎は象でない。
といふ「問題」を、出題することが、出来る。
然るに、
（08）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝ Ａ
２ （２）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（～耳ｚｘ→～長ｚ＆耳ｚｘ→～鼻ｚｘ）｝ Ａ
３ （３）∃ｘ（象ｘ＆兎ｘ） Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆～∃ｚ（～鼻ｚａ＆長ｚ） １ＵＥ
２ （５） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（～耳ｚａ→～長ｚ＆耳ｚａ→～鼻ｚａ） ２ＵＥ
６ （６） 象ａ＆兎ａ Ａ
６ （７） 象ａ ６＆Ｅ
１ ６ （８） ∃ｙ（鼻ｙａ＆長ｙ）＆～∃ｚ（～鼻ｚａ＆長ｚ） ４７ＭＰＰ
１ ６ （９） ∃ｙ（鼻ｙａ＆長ｙ） ８＆Ｅ
ア （ア） 鼻ｂａ＆長ｂ Ａ
ア （イ） 長ｂ ア＆Ｅ
１ ６ （ウ） ～∃ｚ（～鼻ｚａ＆長ｚ） ８＆Ｅ
１ ６ （エ） ∀ｚ～（～鼻ｚａ＆長ｚ） ウ量化子の関係
１ ６ （オ） ～（～鼻ｂａ＆長ｂ） エＵＥ
１ ６ （カ） ～～鼻ｂａ∨～長ｂ オ、ド・モルガンの法則
１ ６ （キ） ～鼻ｂａ→～長ｂ カ含意の定義
６ （ク） 兎ａ ６＆Ｅ
２ ６ （ケ） ∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（～耳ｚａ→～長ｚ＆耳ｚａ→～鼻ｚａ） ５クＭＰＰ
２ ６ （コ） ∃ｙ（耳ｙａ＆長ｙ） ケ＆Ｅ
サ（サ） 耳ｂａ＆長ｂ Ａ
サ（シ） 耳ｂａ サ＆Ｅ
２ ６ （ス） ∀ｚ（～耳ｚａ→～長ｚ＆耳ｚａ→～鼻ｚａ） ケ＆Ｅ
２ ６ （セ） ～耳ｂａ→～長ｂ＆耳ｂａ→～鼻ｂａ スＵＥ
２ ６ （ソ） 耳ｂａ→～鼻ｂａ ス＆Ｅ
２ ６ サ（タ） ～鼻ｂａ シソＭＰＰ
１２ ６ サ（チ） ～長ｂ キタＭＰＰ
１２ ６アサ（ツ） 長ｂ＆～長ｂ イチ＆Ｉ
１２ ６ア （テ） 長ｂ＆～長ｂ コサツＥＥ
１２ ６ （ト） 長ｂ＆～長ｂ ９アテＥＥ
１２３ （ナ） 長ｂ＆～長ｂ ３６トＥＥ
１２ （ニ）～∃ｘ（象ｘ＆兎ｘ） ３ナＲＡＡ
１２ （ヌ）∀ｘ～（象ｘ＆兎ｘ） ニ量化子の関係
１２ （ネ） ～（象ａ＆兎ａ） ヌＵＥ
１２ （ノ） ～象ａ∨～兎ａ ネ、ド・モルガンの法則
１２ （ハ） 象ａ→～兎ａ ノ含意の定義
１２ （ヒ）∀ｘ（象ｘ→～兎ｘ） ハＵＩ
１２ （〃）すべてのｘについて、ｘが兎であるならば、ｘは象ではない。 ハＵＩ
１２ （〃）兎は象ではない（Rabbits cannot be elephants）。 ハＵＩ
従って、
（05）～（08）により、
（09）
① 象は鼻が長い。
といふ「日本語」に「相当」する、「すべての自然言語」は、
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝
といふ「述語論理式」に、「対応」する。
然るに、
（10）
② All elephants have long noses. And the other parts of the elephant are not long.
といふ「英語」は、
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝
といふ「述語論理式」に、「対応」する。
従って、
（09）（10）により、
（11）
① 象は鼻が長い。
② All elephants have long noses. And the other parts of the elephant are not long.
といふ「日本語と英語」に「相当」する、「すべての自然言語」は、
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝
といふ「述語論理式」に、「対応」する。
従って、
（05）（11）により、
（12）
① すべての魚は尻尾をもっている。
② All fish have tails.
といふ「日本語と英語」に「相当」する、「すべての自然言語」は、
③ ∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝
といふ「述語論理式」に、「対応」する。
と「同時」に、
① 象は鼻が長い。
② All elephants have long noses. And the other parts of the elephant are not long.
といふ「日本語と英語」に「相当」する、「すべての自然言語」は、
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝
といふ「述語論理式」に、「対応」する。
従って、
（01）（03）（04）（07）（08）（12）により、
（13）
（ｅ）鯨は哺乳類である。ある魚は鯨である。すべての魚は尻尾をもっている。故にある魚の尻尾は哺乳類の尻尾である。
（ｇ）象は鼻が長い。然るに、兎は耳が長いが、兎の耳は鼻ではない。従って、兎は象でない。
といふ「論証（arguments）」を、「妥当（valid）」であるとする一方で、
（ｅ）すべての魚は尻尾をもっている≡∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝。
（ｇ） 象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝。
といふ「等式」を「否定」することは、『「論理（Logic）」そのものは、「すべての自然言語」に於いて、「共通」である。』といふことの、「否定」に、他ならない。
従って、
（14）
『「論理（Logic）」そのものは、「すべての自然言語」に於いて、「共通」である。』といふことを「否定」しないのであれば、
（ｅ）すべての魚は尻尾をもっている≡∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝。
（ｇ） 象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝
といふ「等式」を「否定」することは、出来ない。
然るに、
（15）
伝統的論理学を速水滉『論理学』（16）で代表させよう。わたしのもっているのが四十三年の第十九刷一万部中の一冊で、なお引続き刊行だろうから、前後かなり多く読者を持つ論理学書と考えられる。新興の記号論理学の方は、沢田充茂の『現代論理学入門』（62）を参照することにする
（三上章、日本語の論理、1963年、４頁）。
従って、
（14）（15）により、
（16）
「三上章、日本語の論理、1963年」を書いた、三上章 先生が、
『「論理（Logic）」そのものは、「すべての自然言語」に於いて、「共通」である。』とするのであれば、三上章 先生は、
（ｅ）魚は尻尾をもっている≡∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝。
（ｇ） 象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝。
といふ「等式」を「否定」することは、出来ない。
然るに、
（17）
日本語には、「象は鼻が長い」や「日本は温泉が多い」など、「○○は××が……」のように二重に主語があるように見える文が多くあります。また、主語だけでなく、「この本は、父が買ってくれました」の「この本は」のように「買う」という動詞の目的語が「は」で示されているように見える文もあります。三上章のこの本は、そのような複雑な性質を持つ「…は…が…」の文（後にこの本の題名にちなんで「象鼻文」とよく呼ばれるようになりました）の性質を、助詞「は」の「代行」の性質を使って明確に説明することでわかりやすく解説していくものです（読書ガイド - 青山学院大学 文学部日本文学科 高校生のみなさんへ）。
従って、
（16）（17）により、
（18）
そのような複雑な性質を持つ「…は…が…」の文（後にこの本の題名にちなんで「象鼻文」とよく呼ばれるようになりました）の性質を、助詞「は」の「代行」の性質を使って明確に説明することでわかりやすく解説していくものです。
といふのであれば、その場合の 三上章 先生は、
（ｇ）象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝。
といふ「等式」を、無視することは、あってはならない。
然るに、
（19）
「三上章、日本語の論理、1963年」等に、目を通す限り、三上章 先生は、
① 象は鼻は長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝。
③ 象の鼻が長い≡∀ｘ∃ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝。
④ 鼻は象が長い≡∀ｙ∃ｘ｛（鼻ｙｘ＆象ｘ→長ｙ）＆（～象ｘ＆長ｙ→～鼻ｙｘ）｝。
といふ「等式」等に、気付いては、ゐない。
（20）
日常言語の文から述語計算の文の翻訳のためには、一般にあたまが柔軟であることが必要である。なんら確定的な規則があるわけでなく、量記号に十分に馴れるまでには、練習を積むことが必要である。そこに含まれている仕事は翻訳の仕事に違いないけれども、しかしそこへ翻訳が行われる形式言語は、自然言語のシンタックスとは幾らか違ったシンタックスをもっており、また限られた述語―論理的結合記号、変数、固有名、述語文字、および２つの量記号―しかももたない。その言語のおもな長所は、記法上の制限にもかかわらず、非常に広範な表現能力をもっていることである
（Ｅ.Ｊ.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、１３０頁）。
従って、
（19）（20）により、
（21）
① 象は鼻は長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝。
③ 象の鼻が長い≡∀ｘ∃ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝。
④ 鼻は象が長い≡∀ｙ∃ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ＆（～象ｘ＆長ｙ）→～鼻ｙｘ｝。
といふ「述語論理式」には、「なんら確定的な規則があるわけでなく、それが書けるようになるには、量記号に十分に馴れるまで、練習を積むことが必要である。」
（01）
（ⅰ）
１ （１） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
３ （３） 象ａ Ａ
１３ （４） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ２３ＭＰＰ
１３ （５） ∃ｙ（鼻ｙａ＆長ｙ） ４＆Ｅ
６（６） 鼻ｂａ＆長ｂ Ａ
６（７） ～（～鼻ｂａ∨～長ｂ） ６ド・モルガンの法則
６（８） ～（鼻ｂａ→～長ｂ） ７含意の定義
６（９） ∃ｙ～（鼻ｙａ→～長ｙ） ８ＥＩ
１３ （ア） ∃ｙ～（鼻ｙａ→～長ｂ） ５６９ＥＥ
１３ （イ） ～∀ｙ（鼻ｙａ→～長ｂ） ア量化子の関係
１３ （ウ） ∀ｚ（～鼻ｚａ→～長ｚ） ４＆Ｅ
１３ （エ） ～鼻ｃａ→～長ｃ ウＵＥ
１３ （オ） 鼻ｃａ∨～長ｃ エ含意の定義
１３ （カ） ～（～鼻ｃａ＆ 長ｃ） オ、ド・モルガンの法則
１３ （キ） ∀ｚ～（～鼻ｚａ＆ 長ｚ） カＵＩ
１３ （ク） ～∃ｚ（～鼻ｚａ＆ 長ｚ） キ量化子の関係
１３ （ケ） ～∀ｙ（鼻ｙａ→～長ｂ）＆～∃ｚ（～鼻ｚａ＆ 長ｚ） イク＆Ｉ
１３ （コ） ～｛∀ｙ（鼻ｙａ→～長ｙ）∨∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ケ、ド・モルガンの法則
１ （サ） 象ａ→～｛∀ｙ（鼻ｙａ→～長ｙ）∨∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ３コＣＰ
１ （シ） ～象ａ∨～｛∀ｙ（鼻ｙａ→～長ｙ）∨∃ｚ（～鼻ｚａ＆ 長ｚ）｝ サ含意の定義
１ （ス） ～｛象ａ＆∀ｙ（鼻ｙａ→～長ｙ）∨∃ｚ（～鼻ｚａ＆ 長ｚ）｝ シ、ド・モルガンの法則
１ （セ）∀ｘ～｛象ｘ＆∀ｙ（鼻ｙｘ→～長ｙ）∨∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ １ＵＩ
１ （ソ）～∃ｘ｛象ｘ＆∀ｙ（鼻ｙｘ→～長ｙ）∨∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ セ量化子の関係
（ⅱ）
１ （１）～∃ｘ｛象ｘ＆∀ｙ（鼻ｙｘ→～長ｙ）∨∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ Ａ
１ （２）∀ｘ～｛象ｘ＆∀ｙ（鼻ｙｘ→～長ｙ）∨∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ １量化子の関係
１ （３） ～｛象ａ＆∀ｙ（鼻ｙａ→～長ｙ）∨∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ２ＵＥ
１ （４） ～象ａ∨～｛∀ｙ（鼻ｙａ→～長ｙ）∨∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ３ド・モルガンの法則
１ （５） 象ａ→～｛∀ｙ（鼻ｙａ→～長ｙ）∨∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ４含意の定義
６ （６） 象ａ Ａ
１６ （７） ～｛∀ｙ（鼻ｙａ→～長ｙ）∨∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ５６ＭＰＰ
１６ （８） ～∀ｙ（鼻ｙａ→～長ｙ）＆～∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ７ド・モルガンの法則
１６ （９） ～∀ｙ（鼻ｙａ→～長ｙ） ８＆Ｅ
１６ （ア） ∃ｙ～（鼻ｙａ→～長ｙ） 量化子の関係
イ（イ） ～（鼻ｂａ→～長ｂ） Ａ
イ（ウ） ～（～鼻ｂａ∨～長ｂ） イ含意の定義
イ（エ） 鼻ｂａ＆ 長ｂ ウ、ド・モルガンの法則
イ（オ） ∃ｙ（鼻ｙａ＆ 長ｙ） エＥＩ
１６ （カ） ∃ｙ（鼻ｙａ＆ 長ｙ） アイオＥＥ
１６ （キ） ～∃ｚ（～鼻ｚａ＆ 長ｚ） ８＆Ｅ
１６ （ク） ∀ｚ～（～鼻ｚａ＆ 長ｚ） キ量化子の関係
１６ （ケ） ～（～鼻ｃａ＆ 長ｃ） クＵＥ
１６ （コ） 鼻ｃａ∨～長ｃ ケ、ド・モルガンの法則
１６ （サ） ～鼻ｃａ→～長ｃ コ、含意の定義
１６ （シ） ∀ｚ（～鼻ｚａ→～長ｚ） サＵＩ
１６ （ス） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） カシ＆Ｉ
１ （セ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ６スＣＰ
１ （ソ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ セＵＩ
従って、
（01）により、
（02）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆ 長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
② ～∃ｘ｛象ｘ＆∀ｙ（鼻ｙｘ→～長ｙ）∨∃ｚ（～鼻ｚｘ＆ 長ｚ）｝
に於いて、すなはち、
① すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。
② あるｘについて｛ｘは象であって、すべてのｙについて、ｙがｘの鼻であるならば、ｙは長くないか、または、あるｚは、ｘの鼻以外であって、長いか、または、その両方である｝といふことはない。
に於いて、
①＝② である。
然るに、
（03）
① すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。
② あるｘについて｛ｘは象であって、すべてのｙについて、ｙがｘの鼻であるならば、ｙは長くないか、または、あるｚは、ｘの鼻以外であって、長いか、または、その両方である｝といふことはない。
といふことは、要するに、
① 象は、鼻は長く、鼻以外は長くない。
② 象は、鼻は長く、鼻以外は長くない。
といふことである。
然るに、
（04）
① 象は、鼻は長く、鼻以外は長くない。
② 象は、鼻は長い。
③ 象は、鼻も長い。
に於いて、
①＝② ではないし、
①＝③ でもない。
然るに、
（05）
① 象は、鼻が長い。
② 象は、鼻は長い。
③ 象は、鼻も長い。
に於いて、
② ではないし、
③ でもない。
といふことは、
① である。
といふことに、他ならない。
従って、
（03）（04）（05）により、
（06）
① 象は鼻が長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。
といふ「等式」が、成立する。
然るに、
（07）
（ⅲ）
１ （１） ∀ｘ∃ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝ Ａ
１ （２） ∃ｙ｛（象ａ＆鼻ｙａ）→長ｙ＆（～象ａ＆鼻ｙａ）→～長ｙ｝ １ＵＥ
３ （３） （象ａ＆鼻ｂａ）→長ｂ＆（～象ａ＆鼻ｂａ）→～長ｂ Ａ
３ （４） ～（象ａ＆鼻ｂａ）∨長ｂ ３＆Ｅ
５ （５） ～（象ａ＆鼻ｂａ） Ａ
５ （６） ～象ａ∨～鼻ｂａ ５ド・モルガンの法則
５ （７） ～象ａ∨～鼻ｂａ∨ 長ｂ ６∨Ｉ
８ （８） 長ｂ Ａ
８ （９） ～象ａ∨～鼻ｂａ∨ 長ｂ ８∨Ｉ
３ （ア） ～象ａ∨～鼻ｂａ∨ 長ｂ ３５７８９∨Ｅ
３ （イ） ～（象ａ＆鼻ｂａ＆～長ｂ） ア、ド・モルガンの法則
３ （ウ） （～象ａ＆鼻ｂａ）→～長ｂ ３＆Ｅ
３ （エ） ～（～象ａ＆鼻ｂａ）∨～長ｂ ウ含意の定義
オ （オ） ～（～象ａ＆鼻ｂａ） Ａ
オ （カ） 象ａ∨～鼻ｂａ オ、ド・モルガンの法則
オ （キ） 象ａ∨～鼻ｂａ∨ ～長ｂ カ∨Ｉ
ク（ク） ～長ｂ Ａ
ク（ケ） 象ａ∨～鼻ｂａ∨ ～長ｂ ク∨Ｉ
３ （コ） 象ａ∨～鼻ｂａ∨ ～長ｂ エオキクケ∨Ｅ
３ （サ） ～（～象ａ＆鼻ｂａ＆長ｂ） コ、ド・モルガンの法則
３ （シ） ～（象ａ＆鼻ｂａ＆～長ｂ）＆～（～象ａ＆鼻ｂａ＆長ｂ） イサ＆Ｉ
３ （ス） ～｛（象ａ＆鼻ｂａ＆～長ｂ）∨（～象ａ＆鼻ｂａ＆長ｂ）｝ シ、ド・モルガンの法則
３ （セ） ∃ｙ～｛（象ａ＆鼻ｙａ＆～長ｙ）∨（～象ａ＆鼻ｙａ＆長ｙ）｝ スＥＩ
１ （ソ） ∃ｙ～｛（象ａ＆鼻ｙａ＆～長ｙ）∨（～象ａ＆鼻ｙａ＆長ｙ）｝ ２３セＥＥ
１ （タ） ～∀ｙ｛（象ａ＆鼻ｙａ＆～長ｙ）∨（～象ａ＆鼻ｙａ＆長ｙ）｝ ソ量化子の関係
１ （チ）∀ｘ～∀ｙ｛（象ｘ＆鼻ｙｘ＆～長ｙ）∨（～象ｘ＆鼻ｙｘ＆長ｙ）｝ タＵＩ
１ （ツ）～∃ｘ∀ｙ｛（象ｘ＆鼻ｙｘ＆～長ｙ）∨（～象ｘ＆鼻ｙｘ＆長ｙ）｝ チ量化子の関係
（ⅳ）
１ （１）～∃ｘ∀ｙ｛（象ｘ＆鼻ｙｘ＆～長ｙ）∨（～象ｘ＆鼻ｙｘ＆長ｙ）｝ Ａ
１ （２）∀ｘ～∀ｙ｛（象ｘ＆鼻ｙｘ＆～長ｙ）∨（～象ｘ＆鼻ｙｘ＆長ｙ）｝ １量化子の関係
１ （３） ～∀ｙ｛（象ａ＆鼻ｙａ＆～長ｙ）∨（～象ａ＆鼻ｙａ＆長ｙ）｝ ２ＵＥ
１ （４） ∃ｙ～｛（象ａ＆鼻ｙａ＆～長ｙ）∨（～象ａ＆鼻ｙａ＆長ｙ）｝ ３量化子の関係
５ （５） ～｛（象ａ＆鼻ｂａ＆～長ｂ）∨（～象ａ＆鼻ｂａ＆長ｂ）｝ Ａ
５ （６） ～（象ａ＆鼻ｂａ＆～長ｂ）＆～（～象ａ＆鼻ｂａ＆長ｂ） ５ド・モルガンの法則
５ （７） ～（象ａ＆鼻ｂａ＆～長ｂ） ６＆Ｅ
５ （８） ～象ａ∨～象ｂａ∨ 長ｂ ７ド・モルガンの法則
５ （９） （～象ａ∨～象ｂａ）∨長ｂ ８結合法則
ア （ア） （～象ａ∨～象ｂａ） Ａ
ア （イ） ～（象ａ＆ 象ｂａ） ア、ド・モルガンの法則
ア （ウ） ～（象ａ＆ 象ｂａ）∨長ｂ イ∨Ｉ
エ （エ） 長ｂ Ａ
エ （オ） ～（象ａ＆ 象ｂａ）∨長ｂ エ∨Ｉ
５ （カ） ～（象ａ＆ 象ｂａ）∨長ｂ ９アウエオ∨Ｅ
５ （キ） （象ａ＆ 鼻ｂａ）→長ｂ カ含意の定義
５ （ク） ～（～象ａ＆鼻ｂａ＆長ｂ） ６＆Ｅ
５ （ケ） 象ａ∨～鼻ｂａ∨～長ｂ ク、ド・モルガンの法則
５ （コ） （象ａ∨～鼻ｂａ）∨～長ｂ ケ結合法則
サ （サ） （象ａ∨～鼻ｂａ） Ａ
サ （シ） ～（～象ａ＆ 鼻ｂａ） サ、ド・モルガンの法則
サ （ス） ～（～象ａ＆ 鼻ｂａ）∨～長ｂ シ∨Ｉ
セ（セ） ～長ｂ Ａ
セ（ソ） ～（～象ａ＆ 鼻ｂａ）∨～長ｂ セ∨Ｉ
５ （タ） ～（～象ａ＆ 鼻ｂａ）∨～長ｂ コサスセソ∨Ｅ
５ （チ） （～象ａ＆ 鼻ｂａ）→～長ｂ タ含意の定義
５ （ツ） （象ａ＆鼻ｂａ）→長ｂ＆（～象ａ＆鼻ｂａ）→～長ｂ キチ＆Ｉ
５ （テ） ∃ｙ｛（象ａ＆鼻ｙａ）→長ｂ＆（～象ａ＆鼻ｙａ）→～長ｙ｝ ツＥＩ
１ （ナ） ∃ｙ｛（象ａ＆鼻ｙａ）→長ｂ＆（～象ａ＆鼻ｙａ）→～長ｙ｝ ４５テＥＥ
１ （ニ） ∀ｘ∃ｙ｛（象ｘ＆鼻ｙｘ）→長ｂ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝ ナＵＩ
従って、
（08）
③ ∀ｘ∃ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝
④ ～∃ｘ∀ｙ｛（象ｘ＆鼻ｙｘ＆～長ｙ）∨（～象ｘ＆鼻ｙｘ＆長ｙ）｝
に於いて、すなはち、
③ すべてのｘとあるｙについて｛ｘが象であって、ｙがｘ（象）の鼻であるならば、ｙ（象の鼻）は長く、ｘが象ではなく、ｙがｘ（象以外）の鼻であるならば、ｙ（象以外の鼻）は長くない｝。
④ あるｘとすべてのｙについて｛ｘが象であって、ｙがｘ（象）の鼻であって、ｙ（象の鼻）は長くないか、または、ｘが象ではなく、ｙがｘ（象以外）の鼻であるならば、ｙ（象以外の鼻）は長いか、または、その両方である｝といふことはない。
に於いて、
③＝④ である。
然るに、
（09）
③ すべてのｘとあるｙについて｛ｘが象であって、ｙがｘ（象）の鼻であるならば、ｙ（象の鼻）は長く、ｘが象ではなく、ｙがｘ（象以外）の鼻であるならば、ｙ（象以外の鼻）は長くない｝。
④ あるｘとすべてのｙについて｛ｘが象であって、ｙがｘ（象）の鼻であって、ｙ（象の鼻）は長くないか、または、ｘが象ではなく、ｙがｘ（象以外）の鼻であるならば、ｙ（象以外の鼻）は長いか、または、その両方である｝といふことはない。
といふことは、要するに、
① 象の鼻は長く、象の鼻以外は長くない。
② 象の鼻は長く、象の鼻以外は長くない。
といふことである。
然るに、
（10）
｛象、兎、馬｝であるならば、
｛鼻は象が長い。｝
｛耳は兎が長い。｝
｛顔は馬が長い。｝
然るに、
（11）
｛鼻は象が長い。｝
｛耳は兎が長い。｝
｛顔は馬が長い。｝
といふのであれば、
① 象の鼻は長く、象の鼻以外は長くない。
① 兎の耳は長く、兎の耳以外は長くない。
① 馬の顔は長く、馬の顔以外は長くない。
従って、
（10）（11）により、
（12）
① 象の鼻は長く、象の鼻以外は長くない。
といることは、例へば、
｛象、兎、馬｝を「対象」とする限り、
① 象の鼻は長く、象の鼻以外は長くない。
といふ「意味」である。
然るに、
（13）
① 象の鼻は長く、象の鼻以外は長くない。
② 象の鼻は長い。
③ 象の鼻も長い。
に於いて、
①＝② ではないし、
①＝③ でもない。
然るに、
（14）
① 象の鼻が長い。
② 象の鼻は長い。
③ 象の鼻も長い。
に於いて、
② ではないし、
③ でもない。
といふことは、
① である。
といふことに、他ならない。
従って、
（09）（13）（14）により、
（15）
① 象の鼻が長い。⇔
① 象の鼻は長く、象の鼻以外は長くない。⇔
① ∀ｘ∃ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝⇔
① すべてのｘとあるｙについて｛ｘが象であって、ｙがｘ（象）の鼻であるならば、ｙ（象の鼻）は長く、ｘが象ではなく、ｙがｘ（象以外）の鼻であるならば、ｙ（象以外の鼻）は長くない｝。
といふ「等式」が、成立する。
従って、
（06）（15）により、
（16）
① 象は鼻が長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。
といふ「等式」が、成立し、
② 象の鼻が長い。⇔
② 象の鼻は長く、象の鼻以外は長くない。⇔
② ∀ｘ∃ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝⇔
② すべてのｘとあるｙについて｛ｘが象であって、ｙがｘ（象）の鼻であるならば、ｙ（象の鼻）は長く、ｘが象ではなく、ｙがｘ（象以外）の鼻であるならば、ｙ（象以外の鼻）は長くない｝。
といふ「等式」が、成立する。
従って、
（16）により、
（17）
① 象は鼻が長い≡象は鼻は長く、鼻以外は長くない。
② 象の鼻が長い≡象の鼻は長く、象の鼻以外は長くない。
に於いて、
①＝② ではない。
然るに、
（18）
new********さん2007/8/919:18:35
「象は鼻が長い」の主語は結局何なんでしょうか？
ベストアンサーに選ばれた回答
sid********さん 編集あり2007/8/1002:37:00
主語はありません。
「象は鼻が長い。」という文は、日本語という言語には主語は存在しないことを主張するために、三上章氏が使った例文のひとつです。
その趣旨を考えるなら、主語は存在しないのです。
「象の鼻が長いこと」を文にするとき、「象の鼻は長い。」という表現もできますが、「象」を主題にすれば「象は鼻が長い。」という文になります。
「象は」の助詞「は」は、文の題目を示すとともに、助詞「の」を兼務しています。
この「象は鼻が長い。」の文で、文の柱となるものは述語「長い」てあり、「象は」「鼻が」の両文節は、述語に対して同格の修飾語(連用修飾語)であると考えます。
（ヤフー！知恵袋）
然るに、
（18）により、
（19）
「象は鼻が長い。」という文は、「象は」の助詞「は」は、文の題目を示すとともに、助詞「の」を兼務しています。
といふのであれば、
① 象は鼻が長い≡象は鼻は長く、鼻以外は長くない。
② 象の鼻が長い≡象の鼻は長く、象の鼻以外は長くない。
に於いて、
①＝② でなければ、ならない、はずである。
従って、
（17）（18）（19）により、
（20）
① 象は鼻が長い≡象は鼻は長く、鼻以外は長くない。
② 象の鼻が長い≡象の鼻は長く、象の鼻以外は長くない。
に於いて、
①＝② ではない。
といふことからすれば、
「象は鼻が長い。」という文は、「象は」の助詞「は」は、文の題目を示すとともに、助詞「の」を兼務しています。
といふことには、ならない。
（21）
「象の鼻が長いこと」に於ける、
「象の鼻が」の「が」は、
「君が行く道」等の「が」と同じく、
「連体修飾語」に於ける「が」である。
従って、
（18）（21）により、
（22）
「象の鼻が長い。」 に於ける「が」と、
「象の鼻が長いこと。」に於ける「が」は、「同じ」ではない。