「二項述語における量記号の変換の規則（Ⅱ）」

―「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。　：（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）
「二項述語における量記号の変換の規則」により、
① ∀ｙ∀ｘ（Ｆｘｙ）＝（Ｆａａ＆Ｆｂａ＆Ｆｃａ）＆（Ｆｂｂ＆Ｆａｂ＆Ｆｃｂ）＆（Ｆｃｃ＆Ｆａｃ＆Ｆｂｃ）
② ∃ｙ∀ｘ（Ｆｘｙ）＝（Ｆａａ＆Ｆｂａ＆Ｆｃａ）∨（Ｆｂｂ＆Ｆａｂ＆Ｆｃｂ）∨（Ｆｃｃ＆Ｆａｃ＆Ｆｂｃ）
③ ∀ｘ∃ｙ（Ｆｘｙ）＝（Ｆａａ∨Ｆａｂ∨Ｆａｃ）＆（Ｆｂｂ∨Ｆｂａ∨Ｆｂｃ）＆（Ｆｃｃ∨Ｆｃａ∨Ｆｃｂ）
④ ∃ｘ∃ｙ（Ｆｘｙ）＝（Ｆａａ∨Ｆａｂ∨Ｆａｃ）∨（Ｆｂｂ∨Ｆｂａ∨Ｆｂｃ）∨（Ｆｃｃ∨Ｆｃａ∨Ｆｃｂ）
に於いて、
① は、② を「含意」し、
② は、③ を「含意」し、
③ は、④ を「含意」する。
従って、
（01）により、
（02）
② ∃ｙ∀ｘ（愛ｘｙ）＝（愛ａａ＆愛ｂａ＆愛ｃａ）∨（愛ｂｂ＆愛ａｂ＆愛ｃｂ）∨（愛ｃｃ＆愛ａｃ＆愛ｂｃ）
③ ∀ｘ∃ｙ（愛ｘｙ）＝（愛ａａ∨愛ａｂ∨愛ａｃ）＆（愛ｂｂ∨愛ｂａ∨愛ｂｃ）＆（愛ｃｃ∨愛ｃａ∨愛ｃｂ）
に於いて、
② は、③ を「含意」する。
従って、
（02）により、
（03）
② すべての人によって愛される人がゐる。
③ すべての人はある人を愛してゐる。
に於いて、
② は、③ を「含意」する。
従って、
（03）により、
（04）
② すべての少年によって、愛される少女がゐる（少女為全少年所愛）。
③ すべての少年には、愛する所の少女がゐる（少年皆有其所愛少女）。
に於いて、
② は、③ を「含意」するに、違ひない。
従って、
（04）により、
（05）
② ∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝
③ ∀ｘ｛少年ｘ→∃ｙ（少女ｙ＆愛ｙｘ）｝
に於いて、
② は、③ を「含意」するに、違ひない。
従って、
（06）
② ∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝
③ ∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝
に於いて、
② ならば、③ であるが、
③ ならば、② ではない。
といふ風に、予想される。
然るに、
（07）
（ⅱ）
１　　（１）∃ｘ{少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝　Ａ
　２　（２）　　　少女ａ＆∀ｙ（少年ｙ→愛ｙａ）　 Ａ
　２　（３）　　　少女ａ　　　　　　　　　　　　　 ２＆Ｉ
　２　（４）　　　　　　　∀ｙ（少年ｙ→愛ｙａ）　 ２＆Ｉ
　２　（５）　　　　　　　　　　少年ｂ→愛ｂａ　　 ４ＵＥ
　　６（６）　　　　　　　　　　少年ｂ　　　　　　 Ａ
　２６（７）　　　　　　　　　　　　　　愛ｂａ　　 ５６ＭＰＰ
　２６（８）　　　　　　　　　　少女ａ＆愛ｂａ　　 ３７＆Ｉ
　２６（９）　　　　　　　∃ｘ（少女ｘ＆愛ｂｘ）　 ８ＥＩ
１ ６（ア）　　　　　　　∃ｘ（少女ｘ＆愛ｂｘ）　 １２９ＥＥ
１　　（イ）　　　少年ｂ→∃ｘ（少女ｘ＆愛ｂｘ）　 ６アＣＰ
１　　（ウ）∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝ １ＵＩ
といふ「計算」は、「正しい」。
然るに、
（08）
（ⅲ）
１　　（１）∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝　Ａ
１　　（２）　　　少年ｂ→∃ｘ（少女ｘ＆愛ｂｘ）　　１ＵＥ
　３　（３）　　　少年ｂ　　　　　　　　　　　　　　Ａ
１３　（４）　　　　　　　∃ｘ（少女ｘ＆愛ｂｘ）　　２３ＭＰＰ
　　５（５）　　　　　　　　　　少女ａ＆愛ｂａ　　　Ａ
　　５（６）　　　　　　　　　　少女ａ　　　　　　　５＆Ｅ
　　５（７）　　　　　　　　　　　　　　愛ｂａ　　　５＆Ｅ
の場合は、これ以上、「続けよう」が無い。
従って、
（08）により、
（09）
以下では、敢へて、「ルールを無視した、デタラメな計算」をすると、
１　　（１）∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝　　Ａ
１　　（２）　　　少年ｂ→∃ｘ（少女ｘ＆愛ｂｘ）　　１ＵＥ
　３　（３）　　　少年ｂ　　　　　　　　　　　　　　Ａ
１３　（４）　　　　　　　∃ｘ（少女ｘ＆愛ｂｘ）　　２３ＭＰＰ
　　５（５）　　　　　　　　　　少女ａ＆愛ｂａ　　　Ａ
　　５（６）　　　　　　　　　　少女ａ　　　　　　　５＆Ｅ
　　５（７）　　　　　　　　　　　　　　愛ｂａ　　　５＆Ｅ
　　５（８）　　　　　　　　　　少年ｂ→愛ｂａ　　　３７ＣＰ　　は「マチガイ１」。
　　５（９）　　　　　　　∀ｙ（少年ｙ→愛ｙａ）　　８ＵＩ　　　は「マチガイ２」。
　　５（ア）　　　少女ａ＆∀ｙ（少年ｙ→愛ｙａ）　　６９＆Ｉ
　　５（イ）∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｃ）｝　アＥＩ
１　　（ウ）∃ｘ｛少女ａ＆∀ｙ（少年ｙ→愛ｙａ）｝　４５イＥＥ　は「マチガイ３」。
従って、
（09）により、
（10）
１　　（１）∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝　Ａ
１　　（２）　　　少年ｂ→∃ｘ（少女ｘ＆愛ｂｘ）　　１ＵＥ
　３　（３）　　　少年ｂ　　　　　　　　　　　　　　Ａ
１３　（４）　　　　　　　∃ｘ（少女ｘ＆愛ｂｘ）　　２３ＭＰＰ
　　５（５）　　　　　　　　　　少女ａ＆愛ｂａ　　　Ａ
　　５（６）　　　　　　　　　　少女ａ　　　　　　　５＆Ｅ
　　５（７）　　　　　　　　　　　　　　愛ｂａ　　　５＆Ｅ
　　５（８）　　　　　　　　　　少年ｂ→愛ｂａ　　　３７ＣＰ
　　５（９）　　　　　　　∀ｙ（少年ｙ→愛ｙａ）　　８ＵＩ
　　５（ア）　　　少女ａ＆∀ｙ（少年ｙ→愛ｙａ）　　６９＆Ｉ
　　５（イ）∃ｘ｛少女ａ＆∀ｙ（少年ｙ→愛ｙａ）｝　アＥＩ
１　　（ウ）∃ｘ｛少女ａ＆∀ｙ（少年ｙ→愛ｙａ）｝　４５イＥＥ
といふ「計算」は、「マチガイ」を「３つ」犯しているため、「マチガイ」である。
従って、
（04）（06）（07）（10）により、
（11）
果たして、
② ∃ｘ｛少女ｘ＆∀ｙ（少年ｙ→愛ｙｘ）｝＝少女為全少年所愛。
③ ∀ｙ｛少年ｙ→∃ｘ（少女ｘ＆愛ｙｘ）｝＝少年皆有其所愛少女。
に於いて、
② ならば、③ であるが、
③ ならば、② ではない。
（12）
｛ｘの変域が、三人の人｝＝｛ａ、ｂ、ｃ｝
であるとして、
② ∃ｙ∀ｘ（愛ｘｙ）＝（愛ａａ＆愛ｂａ＆愛ｃａ）∨（愛ｂｂ＆愛ａｂ＆愛ｃｂ）∨（愛ｃｃ＆愛ａｃ＆愛ｂｃ）
③ ∀ｘ∃ｙ（愛ｘｙ）＝（愛ａａ∨愛ａｂ∨愛ａｃ）＆（愛ｂｂ∨愛ｂａ∨愛ｂｃ）＆（愛ｃｃ∨愛ｃａ∨愛ｃｂ）
に於いて、それぞれ、
② すべての人によって愛される人がゐる。
③ すべての人はある人を愛してゐる。
といふ「意味」である「理由」は、以下の通りである。
（13）
② （愛ａａ＆愛ｂａ＆愛ｃａ）∨（愛ｂｂ＆愛ａｂ＆愛ｃｂ）∨（愛ｃｃ＆愛ａｃ＆愛ｂｃ）＝∃ｙ∀ｘ（愛ｘｙ）
の場合は、例へば、
② （愛ａａ＆愛ｂａ＆愛ｃａ）
が「真（本当）」であれば、それだけで、「真（本当）」である。
然るに、
（14）
② （愛ａａ＆愛ｂａ＆愛ｃａ）
であるならば、
② 愛ａａ⇒ ａは、ａ自身によって、愛されてゐる。
② 愛ｂａ⇒ ａは、ｂによって、愛されてゐる。
② 愛ｃａ⇒ ａは、ｃによって、愛されてゐる。
然るに、
（12）により、
（15）
｛ｘの変域が、三人の人｝＝｛ａ、ｂ、ｃ｝
である。といふことは、
｛ａ、ｂ、ｃ｝＝｛すべての人｝
である。
従って、
（14）（15）により、
（16）
② ａは、すべての人によって愛されてゐる。
のだから、
② すべての人によって愛される人がゐる。
といふ、ことになる。
従って、
（12）～（16）により、
（17）
② ∃ｙ∀ｘ（愛ｘｙ）＝（愛ａａ＆愛ｂａ＆愛ｃａ）∨（愛ｂｂ＆愛ａｂ＆愛ｃｂ）∨（愛ｃｃ＆愛ａｃ＆愛ｂｃ）
③ ∀ｘ∃ｙ（愛ｘｙ）＝（愛ａａ∨愛ａｂ∨愛ａｃ）＆（愛ｂｂ∨愛ｂａ∨愛ｂｃ）＆（愛ｃｃ∨愛ｃａ∨愛ｃｂ）
に於いて、
② すべての人によって愛される人がゐる。
である。
然るに、
（18）
③ （愛ａａ∨愛ａｂ∨愛ａｃ）＆（愛ｂｂ∨愛ｂａ∨愛ｂｃ）＆（愛ｃｃ∨愛ｃａ∨愛ｃｂ）＝∀ｘ∃ｙ（愛ｘｙ）
の場合は、例へば、
③ （愛ａｂ）＆（愛ｂａ）＆（愛ｃｂ）
が「真（本当）」であれば、それだけで、「真（本当）」である。
然るに、
（19）
③ （愛ａｂ）＆（愛ｂａ）＆（愛ｃｂ）
であるならば、
③ 愛ａｂ⇒ ａは、ｂを愛してゐる。
③ 愛ｂａ⇒ ｂは、ａを愛してゐる。
③ 愛ｃｂ⇒ ｃは、ｂを愛してゐる。
従って、
（15）（19）により、
（20）
③ すべての人は、ある人を愛してゐる。
従って、
（17）（20）により、
（21）
② ∃ｙ∀ｘ（愛ｘｙ）＝（愛ａａ＆愛ｂａ＆愛ｃａ）∨（愛ｂｂ＆愛ａｂ＆愛ｃｂ）∨（愛ｃｃ＆愛ａｃ＆愛ｂｃ）
③ ∀ｘ∃ｙ（愛ｘｙ）＝（愛ａａ∨愛ａｂ∨愛ａｃ）＆（愛ｂｂ∨愛ｂａ∨愛ｂｃ）＆（愛ｃｃ∨愛ｃａ∨愛ｃｂ）
に於いて、
② すべての人によって愛される人がゐる。
③ すべての人は、ある人を愛してゐる。
といふ、ことになる。
令和元年０５月２７日、毛利太。