（950）∃ｘ∀ｙ（愛ｘｙ）⇒ ∀ｙ∃ｘ（愛ｘｙ）

（01）
ある人αは、個人である。
然るに、
（02）
ある人αは、すべての男性を愛し、尚且つ、
ある人αは、すべての女性を愛してゐる。
従って、
（01）（02）により、
（03）
① ある人αといふ人（個人）は、すべての人（すべての男性と女性）を愛す。
然るに、
（04）
① ある人αといふ人（個人）が、すべての人（すべての男性と女性）を愛す。
といふのであれば、
② すべての人（すべての男性と女性）は、ある人（α）によって、愛されてゐる。
然るに、
（05）
ある人βは、すべての男性だけを愛し、
ある人γは、すべての女性だけを愛す。
といふのであれば、この場合も、
② すべての人（すべての男性と女性）は、ある人（βかγ）によって愛されてゐる。
然るに、
（06）
ある人βは、すべての男性だけを愛し、
ある人γは、すべての女性だけを愛す。
といふのであれば、
βは、すべての人（すべての男女）を愛してゐる。といふわけではないし、
γも、すべての人（すべての男女）を愛してゐる。といふわけではない。
従って、
（05）（06）により、
（07）
② すべての人（すべての男性と女性）が、ある人によって愛されてゐる。
といふことが「真（本当）」であるからといって、
① ある、１人の人が、すべての人（すべての男性と女性）を愛してゐる。
とは、限らない。
従って、
（01）～（07）により、
（08）
① ある人は、すべての人を愛す。
② すべての人は、ある人によって愛されてゐる。
に於いて、
① ならば、② であるが、
② ならば、① であるとは、限らない。
然るに、
（09）
｛変域｝を、｛人間｝とするならば、
① ∃ｘ∀ｙ（愛ｘｙ）
② ∀ｙ∃ｘ（愛ｘｙ）
といふ「論理式」は、
① ある人は、すべての人を愛す。
② すべての人は、ある人によって愛されてゐる。
といふ「意味」である。
従って、
（08）（09）により、
（10）
① ∃ｘ∀ｙ（愛ｘｙ）
② ∀ｙ∃ｘ（愛ｘｙ）
に於いて、
① ならば、② であるが、
② ならば、① であるとは、限らない。
然るに、
（11）
｛変域｝を、｛ａ、ｂ、ｃ｝とするならば、
① ∃ｘ∀ｙ（愛ｘｙ）
② ∀ｙ∃ｘ（愛ｘｙ）
といふ「述語論理式は、
①（Ｆａａ＆Ｆａｂ＆Ｆａｃ）∨（Ｆｂａ＆Ｆｂｂ＆Ｆｂｃ）∨（Ｆｃａ＆Ｆｃｂ＆Ｆｃｃ）
②（Ｆａａ∨Ｆｂａ∨Ｆｃａ）＆（Ｆａｂ∨Ｆｂｂ∨Ｆｃｂ）＆（Ｆａｃ∨Ｆｂｃ∨Ｆｃｃ）
といふ「論理式」に、「展開」出来る。
然るに、
（12）
「＆」の「意味（働き）」と、
「∨」の「意味（働き）」からすれば、
①（Ｆａａ＆Ｆａｂ＆Ｆａｃ）∨（Ｆｂａ＆Ｆｂｂ＆Ｆｂｃ）∨（Ｆｃａ＆Ｆｃｂ＆Ｆｃｃ）
②（Ｆａａ∨Ｆｂａ∨Ｆｃａ）＆（Ｆａｂ∨Ｆｂｂ∨Ｆｃｂ）＆（Ｆａｃ∨Ｆｂｃ∨Ｆｃｃ）
に於いて、たしかに、
① ならば、② であるが、
② ならば、① であるとは、限らない。
といふことは、「一目瞭然」である。
従って、
（01）～（12）により、
（13）
① ある人は、すべての人を愛す。
② すべての人は、ある人によって愛されてゐる。
に於いて、
① ならば、② であるが、
② ならば、① であるとは、限らない。
といふことを、「理解」してゐる「人間の脳」の中には、
①（Ｆａａ＆Ｆａｂ＆Ｆａｃ）∨（Ｆｂａ＆Ｆｂｂ＆Ｆｂｃ）∨（Ｆｃａ＆Ｆｃｂ＆Ｆｃｃ）
②（Ｆａａ∨Ｆｂａ∨Ｆｃａ）＆（Ｆａｂ∨Ｆｂｂ∨Ｆｃｂ）＆（Ｆａｃ∨Ｆｂｃ∨Ｆｃｃ）
といふ「論理式」が、「格納」されてゐる。
といふことは、「本当」である？！？