「量化子（quantifiers）の関係」。

―「先程（令和０２年０６月２２日）の記事」を補足します。―
（01）
（ⅰ）
１　　（１）　～∀ｘ（　Ｆｘ）　　Ａ
　２　（２）　～∃ｘ（～Ｆｘ）　　Ａ
　　３（３）　　　　　～Ｆａ　　　Ａ
　　３（４）　　∃ｘ（～Ｆａ）　　３ＥＩ
　２３（５）　～∃ｘ（～Ｆｘ）＆
　　　　　　　　∃ｘ（～Ｆｘ）　　２４＆Ｉ
　２　（６）　　　　～～Ｆａ　　　３５ＲＡＡ
　２　（７）　　　　　　Ｆａ　　　６ＤＮ
　２　（８）　　∀ｘ（　Ｆｘ）　　７ＵＩ
１２　（９）　～∀ｘ（　Ｆｘ）＆
　　　　　　　　∀ｘ（　Ｆｘ）　　１８＆Ｉ
１　　（ア）～～∃ｘ（～Ｆｘ）　　２９ＲＡＡ
１　　（イ）　　∃ｘ（～Ｆｘ）　　アＤＮ
（ⅱ）
１　　（１）　　∃ｘ（～Ｆｘ）　　Ａ
　２　（２）　　∀ｘ（　Ｆｘ）　　Ａ
　　３（３）　　　　　～Ｆａ　　　Ａ
　２　（４）　　　　　　Ｆａ　　　１ＵＥ
　２３（５）　　～Ｆａ＆Ｆａ　　　３４＆Ｉ
　　３（６）　～∀ｘ（　Ｆｘ）　　２５ＲＡＡ
１　　（７）　～∀ｘ（　Ｆｘ）　　１３６ＥＥ
（ⅲ）
１　　（１）　～∃ｘ（　Ｆｘ）　　Ａ
　２　（２）　～∀ｘ（～Ｆｘ）　　Ａ
　　３（３）　　　　　　Ｆａ　　　Ａ
　　３（４）　　∃ｘ（　Ｆｘ）　　３ＥＩ
１　３（５）　～∃ｘ（　Ｆｘ）＆
　　　　　　　　∃ｘ（　Ｆｃ）　　１４＆Ｉ
１　　（６）　　　　　～Ｆａ　　　３５ＲＡＡ
１　　（７）　　∀ｘ（～Ｆｘ）　　６ＵＩ
１２　（８）　～∀ｘ（～Ｆｘ）＆
　　　　　　　　∀ｘ（～Ｆｘ）　　２７＆Ｉ
１　　（９）～～∀ｘ（～Ｆｘ）　　２８ＲＡＡ
１　　（ア）　　∀ｘ（～Ｆｘ）　　９ＤＮ
（ⅳ）
１　　（１）　　∀ｘ（～Ｆｘ）　　Ａ
　２　（２）　　∃ｘ（　Ｆｘ）　　Ａ
１　　（３）　　　　　～Ｆａ　　　１ＵＥ
　　４（４）　　　　　　Ｆａ　　　Ａ
１　４（５）　　～Ｆａ＆Ｆａ　　　３４＆Ｉ
１２　（６）　　～Ｆａ＆Ｆａ　　　２４５ＥＥ
１　　（７）　～∃ｘ（　Ｆｘ）　　２６ＲＡＡ
従って、
（01）により、
（02）
① ～∀ｘ（　Ｆｘ）≡すべてのｘがＦである。といふわけではない。
② 　∃ｘ（～Ｆｘ）≡Ｆでないｘが存在する。
③ ～∃ｘ（　Ｆｘ）≡Ｆであるｘは存在しない。
④ 　∀ｘ（～Ｆｘ）≡すべてのｘはＦでない。
に於いて、
①＝② であって、
③＝④ である。
従って、
（02）により、
（03）
① ～∀ｘ｛∀ｙ（愛ｘｙ）｝≡∃ｘ｛～∀ｙ（愛ｘｙ）｝≡∃ｘ｛∃ｙ（～愛ｘｙ）｝
② ～∀ｘ｛∃ｙ（愛ｘｙ）｝≡∃ｘ｛～∃ｙ（愛ｘｙ）｝≡∃ｘ｛∀ｙ（～愛ｘｙ）｝
③ ～∃ｘ｛∀ｙ（愛ｘｙ）｝≡∀ｘ｛～∀ｘ（愛ｘｙ）｝≡∀ｘ｛∃ｘ（～愛ｘｙ）｝
④ ～∃ｘ｛∃ｙ（愛ｘｙ）｝≡∀ｘ｛～∃ｘ（愛ｘｙ）｝≡∀ｘ｛∀ｘ（～愛ｘｙ）｝
然るに、
（04）
｛ｘとｙの変域｝が、｛人間｝であるならば、
① ∀ｘ｛∀ｙ（愛ｘｙ）｝≡すべての人は（、自分を含めて）すべての人を愛す。≡すべての人は（、自分を含めて）すべての人によって愛される。
② ∀ｘ｛∃ｙ（愛ｘｙ）｝≡すべての人は（、自分を含めて）ある人を　　愛す。
③ ∃ｘ｛∀ｙ（愛ｘｙ）｝≡　　ある人は（、自分を含めて）すべて人を　愛す。
④ ∃ｘ｛∃ｙ（愛ｘｙ）｝≡　　ある人は（、自分を含めて）ある人を　　愛す。≡　　　ある人（、自分を含めて）　　ある人によって愛される。
従って、
（04）により、
（05）
① ∀ｘ｛∀ｙ（～愛ｘｙ）｝≡すべての人は（、自分を含めて）すべての人を愛さない。
② ∀ｘ｛∃ｙ（～愛ｘｙ）｝≡すべての人は（、自分を含めて）ある人を　　愛さない。
③ ∃ｘ｛∀ｙ（～愛ｘｙ）｝≡　　ある人は（、自分を含めて）すべて人を　愛さない。
④ ∃ｘ｛∃ｙ（～愛ｘｙ）｝≡　　ある人は（、自分を含めて）ある人を　　愛さない。
従って、
（03）（04）（05）により、
（06）
① ～∀ｘ｛∀ｙ（愛ｘｙ）｝≡すべての人がすべての人を愛する。といふことはない。≡ある人は　　　　ある人を愛さない。
② ～∀ｘ｛∃ｙ（愛ｘｙ）｝≡すべての人が　　ある人を愛する。といふことはない。≡ある人は　　すべての人を愛さない。
③ ～∃ｘ｛∀ｙ（愛ｘｙ）｝≡　　ある人がすべての人を愛する。といふことはない。≡すべての人は　　ある人を愛さない。
④ ～∃ｘ｛∃ｙ（愛ｘｙ）｝≡　　ある人が　　ある人を愛する。といふことはない。≡すべての人はすべての人を愛さない。
といふ「等式」が、成立する。
従って、
（06）により、
（07）
①（ある人が、　　　　ある人を愛さない。）といふことはない。⇔ すべての人は、すべての人を愛す。
②（ある人が、　　すべての人を愛さない。）といふことはない。⇔ すべての人は、　　ある人を愛す。
③（すべての人が、　　ある人を愛さない。）といふことはない。⇔ ある人は、　　すべての人を愛す。
④（すべての人が、すべての人を愛さない。）といふことはない。⇔ ある人は、　　　　ある人を愛す。
といふ「等式」が、成立する。
然るに、
（08）
教えて！ｇｏｏ：キリスト教って博愛主義なんじゃないの？
質問者：noname#72832質問日時：2006/02/02 05:11回答数：26件
私は幼稚園がキリスト教でした。
小学生の頃は日曜学校にも行っていて、ページェントもやりました。
そこで習ったことはなんとなくですが今でも覚えています。
「右頬を殴られたら左頬を差し出せ」
「たとえ気に入らなくても一生懸命あなたの隣人を愛しなさい」
「求める者には惜しみなく与えよ」
たしかこんなことだったと思います。
先生からはこれらの言葉やイエス・キリストの最期を通して、嫌な相手を憎むのではなく愛して許すことや人を傷つけてはならないということを教えられました。
子供ながらに「イエス様って優しいなぁすごいなぁ」と思ったものです。
神様（いわゆる天の上にいて私達を見守っているもの）はいないと思っている今でも、イエス・キリストのそんな考え方は尊敬しているし、実践できたらいいなと思います。（そんなに心が広くはないのでまだ出来てませんが。）
従って、
（07）（08）により、
（09）
③ ある人は、すべての人を愛す。⇔（すべての人が、ある人を愛さない。）といふわけではない。
に関して言へば、
③ イエスといふ人（Son of Man、アダムの子）は、（自分の敵を含めて）すべての人を愛す。従って、
③（イエスが、さうであるため、すべての人が、ある、特定の人を愛さない。）といふことにはならない。
といふ「例」で考へると、「分かりやすい」。
令和０２年０６月２２日、毛利太。