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