―「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。 ：（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）
｛ｘの変域が、三人の少女｝＝｛ａ、ｂ、ｃ｝
｛ｙの変域が、三人の少年｝＝｛ｄ、ｅ、ｆ｝
であるとして、
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
とする。
然るに、
（02）
「真理表（Truth table）」により、
① Ｐ∨Ｑ∨Ｒ
であるならば、
① Ｐ、Ｑ、Ｒ
の内の、「少なくとも、一つ」が、「真（本当）」である。
従って、
（01）（02）により、
（03）
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
に於いて、例へば、
① （愛ｄｂ＆愛ｅｂ＆愛ｆｂ）
が「真（本当）」であるとする。
従って、
（01）（03）により、
（04）
｛ｘの変域が、三人の少女｝＝｛ａ、ｂ、ｃ｝
｛ｙの変域が、三人の少年｝＝｛ｄ、ｅ、ｆ｝
であるとして、
①（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）＝少年ｄは少女ｂを愛し、少年ｅも少女ｂを愛し、少年ｆも少女ｂを愛す。
といふ、ことになる。
然るに、
（05）
｛ｘの変域が、三人の少女｝＝｛ａ、ｂ、ｃ｝
｛ｙの変域が、三人の少年｝＝｛ｄ、ｅ、ｆ｝
であるとして、
① 少年ｄは少女ｂを愛し、少年ｅも少女ｂを愛し、少年ｆも少女ｂを愛す＝（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）。
といふことは、
① すべての少年（ｄとｅとｆ）は、共通の、ある一人の少女（ｂ）を愛す。
といふことに、他ならない。
然るに、
（06）
「真理表（Truth table）」により、
② Ｐ＆Ｑ＆Ｒ
であるならば、
① Ｐ、Ｑ、Ｒ
といふ「３つ」が、「真（本当）」である。
従って、
（01）（06）により、
（07）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
に於いて、
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ） は「真（本当）」であり、
②（愛ｅａ∨愛ｅｂ∨愛ｅｃ） も「真（本当）」であり、
②（愛ｆａ∨愛ｆｂ∨愛ｆｃ） も「真（本当）」である。
然るに、
（02）により、
（08）
例へば、
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ） が「真（本当）」であるならば、
②「ｄはａを愛するか、ｄはｂを愛するか、ｄはｃを愛するか。」の内の、少なくとも一つは、「真（本当）」である。
同様に、
（09）
②（愛ｅａ∨愛ｅｂ∨愛ｅｃ） が「真（本当）」であるならば、
②「ｅはａを愛するか、ｅはｂを愛するか、ｅはｃを愛するか。」の内の、少なくとも一つは、「真（本当）」である。
同様に、
（10）
②（愛ｆａ∨愛ｆｂ∨愛ｆｃ） が「真（本当）」であるならば、
②「ｆはａを愛するか、ｆはｂを愛するか、ｆはｃを愛するか。」の内の、少なくとも一つは、「真（本当）」である。
従って、
（01）（07）～（10）により、
（11）
｛ｘの変域が、三人の少女｝＝｛ａ、ｂ、ｃ｝
｛ｙの変域が、三人の少年｝＝｛ｄ、ｅ、ｆ｝
であるとして、
②「ｄはａを愛するか、ｄはｂを愛するか、ｄはｃを愛するか。」の内の、少なくとも一つは、「真（本当）」である。
②「ｅはａを愛するか、ｅはｂを愛するか、ｅはｃを愛するか。」の内の、少なくとも一つは、「真（本当）」である。
②「ｆはａを愛するか、ｆはｂを愛するか、ｆはｃを愛するか。」の内の、少なくとも一つは、「真（本当）」である。
といふことは、
① すべての少年（ｄとｅとｆ）は、ある少女（ａかｂかｃ）を愛す。
といふことに、他ならない。
従って、
（01）（05）（11）により、
（12）
｛ｘの変域が、三人の少女｝＝｛ａ、ｂ、ｃ｝
｛ｙの変域が、三人の少年｝＝｛ｄ、ｅ、ｆ｝
であるとして、
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
といふことは、
① すべての少年（ｄとｅとｆ）は、共通の、一人の少女（ａかｂかｃ）だけを愛す。
② すべての少年（ｄとｅとｆ）は、共通とは限らない、ある少女（ａかｂかｃ）を愛す。
といふ、「意味」になる。
ｃｆ.
All the nice girls love a sailor.
（すべてのすてきな女の子は、水夫を愛している）
という文を取り上げてみよう。この文は、「どのすてきな女の子も、水夫を誰か愛している。アリスはジョーを愛し、メアリーはバートを愛し、デスデモーナはビリーを愛している」という意味にもとれるし、また、「どのすてきな女の子も、一人の特定の水夫を愛している。その水夫の名前は、ジャック・タールである」という意味にもとれる。論理学では、この二つの異なる構造をはっきり示す、厳密な表記を提供してくれるのである。
（ジーン・エイチソン著、田中晴美 田中幸子訳、入門言語学、1980年、９２頁）
然るに、
（02）（06）により、
（13）
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
の内の、例へば、
①（愛ｄａ＆愛ｅａ＆愛ｆａ）
が「真（本当）」であるならば、
① 愛ｄａ は「真（本当）」であり、
① 愛ｅａ も「真（本当）」であり、
① 愛ｆａ も「真（本当）」である。
然るに、
（02）により、
（14）
① 愛ｄａ は「真（本当）」であり、
① 愛ｅａ も「真（本当）」であり、
① 愛ｆａ も「真（本当）」であるならば、「∨Ｉ（選言導入）」により、
①（愛ｄａ∨愛ｅａ∨愛ｆａ） は「真（本当）」であり、
①（愛ｄｂ＆愛ｅｂ＆愛ｆｂ） は「真（本当）」であり、
①（愛ｄｃ＆愛ｅｃ＆愛ｆｃ） は「真（本当）」であり、
そのため、「＆Ｉ（連言導入）」により、
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
は「真（本当）」である。
然るに、
（13）（14）により、
（15）
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
の内の、
①（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）
が「真（本当）」である場合も、
①（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
が「真（本当）」である場合も、いづれにせよ、
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
は「真（本当）」である。
従って、
（13）（14）（15）により、
（16）
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
に於いて、
① が「真（本当）」であならば、
② も「真（本当）」である。
然るに、
（17）
① Ｐ＆Ｑ＆Ｒ＝ＰでＱでＲである。
であれば、「＆Ｅ（連言除去）」と「∨Ｉ（選言導入）」により、
② Ｐ∨Ｑ∨Ｒ＝ＰかＱかＲである。
であるが、
② Ｐ∨Ｑ∨Ｒ＝ＰかＱかＲである。
であるとしても、
① Ｐ＆Ｑ＆Ｒ＝ＰでＱでＲである。
ではない。
従って、
（16）（17）により、
（18）
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
に於いて、
① が「真（本当）」であるならば、
② も「真（本当）」である。が、
② が「真（本当）」であるならば、
① も「真（本当）」である。ではない。
然るに、
（01）（18）により、
（19）
｛ｘの変域が、三人の少女｝＝｛ａ、ｂ、ｃ｝
｛ｙの変域が、三人の少年｝＝｛ｄ、ｅ、ｆ｝
であるとして、
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
は、それぞれ、
① ∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝＝あるｘは少女であって、すべてｙについて、ｙが少年であるならば、 ｙはｘを愛す。
② ∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝＝すべてのｙについて、ｙが少年であるならば、あるｘは少女であって、ｙはｘを愛す。
といふ「論理式」に、一応、「対応」する。
然るに、
（20）
（ⅰ）
１ （１）∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝ Ａ
２ （２） 少女ａ＆∀ｙ（少年ｙ→愛ｙａ） Ａ
２ （３） 少女ａ ２＆Ｉ
２ （４） ∀ｙ（少年ｙ→愛ｙａ） ２＆Ｉ
２ （５） 少年ｂ→愛ｂａ ４ＵＥ
６（６） 少年ｂ Ａ
２６（７） 愛ｂａ ５６ＭＰＰ
２６（８） 少女ａ＆愛ｂａ ３７＆Ｉ
２６（９） ∃ｘ（少女ｘ＆愛ｂｘ） ８ＥＩ
１ ６（ア） ∃ｘ（少女ｘ＆愛ｂｘ） １２９ＥＥ
１ （イ） 少年ｂ→∃ｘ（少女ｘ＆愛ｂｘ） ６アＣＰ
１ （ウ）∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝ １ＵＩ
といふ「計算」は、「正しい」。
然るに、
（21）
（ⅱ）
１ （１）∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝ Ａ
１ （２） 少年ｂ→∃ｘ（少女ｘ＆愛ｂｘ） １ＵＥ
３ （３） 少年ｂ Ａ
１３ （４） ∃ｘ（少女ｘ＆愛ｂｘ） ２３ＭＰＰ
５（５） 少女ａ＆愛ｂａ Ａ
５（６） 少女ａ ５＆Ｅ
５（７） 愛ｂａ ５＆Ｅ
の場合は、これ以上、「続けよう」が無い。
従って、
（19）（20）（21）により、
（22）
① ∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝
② ∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝
の場合も、
① が「真（本当）」であるならば、
② も「真（本当）」である。が、
② が「真（本当）」であるならば、
① も「真（本当）」である。ではない。
然るに、
（23）
① ∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝
② ∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝
の場合は、「少年が一人もゐない」場合も、「真（本当）」である。
従って、
（24）
① ∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝
② ∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝
といふ「二項述語論理式」と、
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
といふ「書き方」とは、「完全に、一致する」といふ、わけではない。
然るに、
（25）
１ （１）∀ｘ｛鼻ｘ＆長ｘ→ ∃ｙ（象ｙ＆ 鼻ｘｙ）｝ Ａ
１ （２） 鼻ａ＆長ａ→ ∃ｙ（象ｙ＆ 鼻ａｙ） １ＵＥ
３ （３） 鼻ａ＆長ａ Ａ
４（４） ∀ｙ（象ｙ→～鼻ａｙ） Ａ
４（５） 象ｂ→～鼻ａｂ ４ＵＥ
４（６） ～象ｂ∨～鼻ａｂ ５含意の定義
４（７） ～（象ｂ＆ 鼻ａｂ） ６ド・モルガンの法則
４（８） ∀ｙ～（象ｙ＆ 鼻ａｙ） ７ＵＩ
４（９） ～∃ｙ（象ｙ＆ 鼻ａｙ） ８量化子の関係
１３ （ア） ∃ｙ（象ｙ＆ 鼻ａｙ） ２３ＭＰＰ
１３４（イ） ～∃ｙ（象ｙ＆ 鼻ａｙ）＆
∃ｙ（象ｙ＆ 鼻ａｙ） ４５＆Ｉ
１ ４（ウ） ～（鼻ａ＆ 長ａ） ３ウＲＡＡ
１ ４（エ） ～鼻ａ∨～長ａ ウ、ド・モルガンの法則
１ ４（オ） （鼻ａ→～長ａ） エ含意の定義
１ （エ） ∀ｙ（象ｙ→～鼻ａｙ）→（鼻ａ→～長ａ） ４オＣＰ
１ （カ）∀ｘ｛∀ｙ（象ｙ→～鼻ｘｙ）→（鼻ｘ→～長ｘ）｝ エＵＩ
１ （〃）すべてのｘと、すべてのｙについて、ｙが象ならば、 ｘがｙの鼻でないならば、ｘが鼻ならば、ｘは長くない。 エＵＩ
１ （〃）すべてのｘと、すべてのｙについて、ｙが象であって、ｘがｙの鼻ではなく、 ｘが鼻ならば、ｘは長くない。 エＵＩ
然るに、
（26）
｛象、兎、キリン｝が｛ｙの変域（ドメイン）｝であるとして、
③ すべてのｘと、すべてのｙについて、ｙが象であって、ｘがｙの鼻ではなく、ｘが鼻ならば、ｘは長くない。
といふことは、
③ ｘが象の鼻ではない鼻（兎やキリンの鼻）であるならば、ｘは長くない。
といふ、ことである。
然るに、
（27）
③ ｘが象の鼻ではない鼻（兎やキリンの鼻）であるならば、ｘは長くない。
といふことは、
③ 鼻は象が長い。
といふ、ことである。
従って、
然るに、
（28）
１ （１）象は鼻が長い。 Ａ
１ （〃）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （〃）すべてのｘについて、ｘが象であるならば、有るｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。 Ａ
２ （２）兎の耳は長く、兎の耳は鼻ではない。 Ａ
２ （〃）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ
２ （〃）すべてのｘについて、ｘが兎であるならば、有るｙはｘの耳であって長く、すべてのｚについて、ｚがｘの耳ならば、ｚはｘの鼻ではない。 Ａ
３ （３）有る兎は象である。 Ａ
３ （〃）∃ｘ（兎ｘ＆象ｘ） Ａ
３ （〃）あるｘは兎であって象である。 Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
２ （５） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） １ＵＥ
６ （６） 兎ａ＆象ａ Ａ
６ （７） 兎ａ ６＆Ｅ
６ （８） 象ａ ６＆Ｅ
１ ６ （９） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ４７ＭＰＰ
２ ６ （ア） ∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ５８ＭＰＰ
１ ６ （イ） ∃ｙ（鼻ｙａ＆長ｙ） ９＆Ｅ
２ ６ （ウ） ∃ｙ（耳ｙａ＆長ｙ） ア＆Ｅ
エ （エ） 鼻ｂａ＆長ｂ Ａ
オ（オ） 耳ｂａ＆長ｂ Ａ
１ ６ （カ） ∀ｚ（～鼻ｚａ→～長ｚ） ９＆Ｅ
１ ６ （キ） ～鼻ｂａ→～長ｂ カＵＥ
２ ６ （ク） ∀ｚ（耳ｚａ→～鼻ｚａ） ア＆Ｅ
２ ６ （ケ） 耳ｂａ→～鼻ｂａ クＵＥ
オ（コ） 耳ｂａ オ＆Ｅ
２ ６ オ（サ） ～鼻ｂａ ケコＭＰＰ
１２ ６ オ（シ） ～長ｂ キサコＭＰＰ
オ（ス） 長ｂ オ＆Ｅ
１２ ６ オ（セ） 長ｂ＆～長ｂ シス＆Ｉ
１２ ６ （ソ） 長ｂ＆～長ｂ ウオセＥＥ
１２３ （タ） 長ｂ＆～長ｂ ３６ソＥＥ
１２ （チ）～∃ｘ（兎ｘ＆象ｘ） ３タＲＡＡ
１２ （ツ）∀ｘ～（兎ｘ＆象ｘ） チ量化子の関係
１２ （テ） ～（兎ａ＆象ａ） ツＵＥ
１２ （ト） ～兎ａ∨～象ａ テ、ド・モルガンの法則
１２ （ナ） 兎ａ→～象ａ ト含意の定義
１２ （ニ）∀ｘ（兎ｘ→～象ｘ） ナＵＩ
１２ （〃）すべてのｘについて、ｘが兎であるならば、ｘは象ではない。 ナＵＩ
１２ （〃）兎は象ではない。
従って、
（25）～（28）により、
（29）
③ 鼻は象が長い＝∀ｘ｛鼻ｘ＆長ｘ→∃ｙ（象ｙ＆鼻ｘｙ）｝
④ 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
である。
然るに、
（30）
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
といふ「書き方」を、仮に、『といふ書き方』とする。
従って、
（24）（29）（30）により、
（31）
① ∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝
② ∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝
といふ「論理式」に相当する、『といふ書き方』が、
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
である。といふことからすれば、
③ ∀ｘ｛鼻ｘ＆長ｘ→∃ｙ（象ｙ＆鼻ｘｙ）｝
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
といふ「論理式」に相当する、『といふ書き方』も、あるに、違ひない。
然るに、
（32）
「慣れれば」どうかは、分からないものの、「慣れたこと」がないため、
③ ∀ｘ｛鼻ｘ＆長ｘ→∃ｙ（象ｙ＆鼻ｘｙ）｝
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
といふ「論理式」に相当する、『といふ書き方』は、直ぐには、「思ひ浮かばない」。
加へて、
（33）
① 少女為全少年為所愛＝∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝
② 少年皆有其所愛少女＝∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝
③ 鼻は象が長い ＝∀ｘ｛鼻ｘ＆長ｘ→∃ｙ（象ｙ＆鼻ｘｙ）｝
④ 象は鼻が長い ＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
は、「左辺」は「言語」で、「右辺」は、「人工言語」であるが、
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
は、「言語」といふ「感じ」が、しない。
加へて、
（34）
① ∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝
② ∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝
③ ∀ｘ｛鼻ｘ＆長ｘ→∃ｙ（象ｙ＆鼻ｘｙ）｝
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
といふ「述語論理式（自然演繹）」は、「我々が、日常的に用ひる、推論の規則」に従ふ「形」で、作られてゐる。
然るに、
（35）
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
のやうな『といふ書き方』は、「真理表（Truth table）」によって、
① が「真（本当）」であるならば、
② も「真（本当）」である。が、
② が「真（本当）」であるならば、
① も「真（本当）」である。ではない。
といふことを、示してゐるものの、このやうな「機械的な方法」は、「我々が、日常的に用ひる、推論の規則」に従ってゐるとは、言ひ難い。
然るに、
（36）
「我々が、日常的に用ひる、推論の規則」に従ふ「論理学」と、「さうではない論理学」を「比較」すれば、
「我々にとって、望ましい論理学」は、「前者」の方であるに、違ひない。
従って、
（30）（33）～（36）により、
（37）
① ∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝
② ∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝
③ ∀ｘ｛鼻ｘ＆長ｘ→∃ｙ（象ｙ＆鼻ｘｙ）｝
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
のやうな「述語論理式」を、
①（愛ｄａ＆愛ｅａ＆愛ｆａ）∨（愛ｄｂ＆愛ｅｂ＆愛ｆｂ）∨（愛ｄｃ＆愛ｅｃ＆愛ｆｃ）
②（愛ｄａ∨愛ｄｂ∨愛ｄｃ）＆（愛ｅａ∨愛ｅｂ∨愛ｅｃ）＆（愛ｆａ∨愛ｆｂ∨愛ｆｃ）
のやうな『といふ書き方』に、全面的に「置き換へる」ことは、たとへ、それが可能（？）であったとしても、「好ましいやり方」であるとは、言へない。
令和元年０５月２９日、毛利太。
0 件のコメント:
コメントを投稿