∃ｘ（Ｆｘ＆Ｇｘ）├ ∃ｘＦｘ＆∃ｘＧｘ

― しばらく、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。　：（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）
②「男子がゐて、学生がゐる。」としても、
①「男子の学生がゐる。」とは、限らない。
従って、
（01）（02）により、
（03）
①「男子の学生がゐる。」
②「男子がゐて、学生がゐる。」
に於いて、
① ならば、② であるが、
② ならば、① であるとは、限らない。
然るに、
（04）
「存在量記号は選言の仲間であり、普遍量記号は連言の仲間である（E.J.レモン、論理学初歩）。」といふことから、
｛ａ，ｂ，ｃ｝の｛三人｝が「ドメイン（変域）」であるならば、
①「男子の学生がゐる。」
②「男子がゐて、学生がゐる。」
は、それぞれ、
①（男子ａ＆学生ａ）∨（男子ｂ＆学生ｂ）∨（男子ｃ＆学生ｃ）
②（男子ａ∨男子ｂ∨男子ｃ）＆（学生ａ∨学生ｂ∨学生ｃ）
といふ「事態」に、相当する。
然るに、
（05）
｛ａ，ｂ，ｃ｝の｛三人｝が「ドメイン（変域）」であるならば、
①（男子ａ＆学生ａ）∨（男子ｂ＆学生ｂ）∨（男子ｃ＆学生ｃ）
②（男子ａ∨男子ｂ∨男子ｃ）＆（学生ａ∨学生ｂ∨学生ｃ）
といふ「事態」は、
① ∃ｘ（男子ｘ＆学生ｘ）
② ∃ｘ男子ｘ＆∃ｘ学生ｘ
といふ「式」で、表すことが、出来る。
従って、
（01）～（05）により、
（06）
①「男子の学生がゐる。」
②「男子がゐて、学生がゐる。」
といふ「日本語」は、
① ∃ｘ（男子ｘ＆学生ｘ）
② ∃ｘ男子ｘ＆∃ｘ学生ｘ
といふ「式」に、相当し、それ故に、
① ∃ｘ（男子ｘ＆学生ｘ）
② ∃ｘ男子ｘ＆∃ｘ学生ｘ
に於いて、
① ならば、② であるが、
② ならば、① であるとは、限らない。
従って、
（06）により、
（07）
（ⅰ）
１　（１）∃ｘ（男子ｘ＆学生ｘ）　　　　　Ａ
１　（〃）男子の学生がゐる。　　　　　　　Ａ
　２（２）　　　男子ａ＆学生ａ　　　　　　Ａ
　２（３）　　　男子ａ　　　　　　　　　　２＆Ｅ
　２（４）∃ｘ（男子ｘ）　　　　　　　　　３ＥＩ
　２（５）　　　　　　　学生ａ　　　　　　２＆Ｅ
　２（６）　　　　∃ｘ（学生ｘ）　　　　　５ＥＩ
　２（７）∃ｘ（男子ｘ）＆∃ｘ（学生ｘ）　４６＆Ｉ
１　（８）∃ｘ（男子ｘ）＆∃ｘ（学生ｘ）　１２７ＥＥ
といふ「計算」は、「妥当」であるが、
（ⅱ）
１　　　（１）∃ｘ（男子ｘ）　　　　　Ａ
１　　　（〃）あるｘは男子である。　　Ａ
　２　　（２）∃ｘ（学生ｘ）　　　　　Ａ
　２　　（〃）あるｘは学生である。　　Ａ
　　３　（３）　　　男子ａ　　　　　　Ａ
　　　４（４）　　　学生ａ　　　　　　Ａ
　　３４（５）　　　男子ａ＆学生ａ　　３４＆Ｉ
　　３４（６）∃ｘ（男子ｘ＆学生ｘ）　５ＥＩ
　２３　（７）∃ｘ（男子ｘ＆学生ｘ）　２４ＥＥ
１２　　（８）∃ｘ（男子ｘ＆学生ｘ）　１３ＥＥ
１２　　（〃）男子の学生がゐる。　　　１３ＥＥ
といふ「計算」は、「妥当」ではない。
（08）
「＆（の働き）」と「∨（の働き）」と「真理表」を理解してゐれば、
①（男子ａ＆学生ａ）∨（男子ｂ＆学生ｂ）∨（男子ｃ＆学生ｃ）
②（男子ａ∨男子ｂ∨男子ｃ）＆（学生ａ∨学生ｂ∨学生ｃ）
に於いて、
① ならば、② であるが、
② ならば、① であるとは、限らない。
といふことは、「容易に理解」出来る。
令和元年１０月０４日、毛利太。