（01）
① ∀ｙ∀ｘ（Ｆｘｙ）＝（Ｆａａ＆Ｆｂａ＆Ｆｃａ）＆（Ｆｂｂ＆Ｆａｂ＆Ｆｃｂ）＆（Ｆｃｃ＆Ｆａｃ＆Ｆｂｃ）
↓
② ∃ｙ∀ｘ（Ｆｘｙ）＝（Ｆａａ＆Ｆｂａ＆Ｆｃａ）∨（Ｆｂｂ＆Ｆａｂ＆Ｆｃｂ）∨（Ｆｃｃ＆Ｆａｃ＆Ｆｂｃ）
↓
③ ∀ｘ∃ｙ（Ｆｘｙ）＝（Ｆａａ∨Ｆａｂ∨Ｆａｃ）＆（Ｆｂｂ∨Ｆｂａ∨Ｆｂｃ）＆（Ｆｃｃ∨Ｆｃａ∨Ｆｃｂ）
↓
④ ∃ｘ∃ｙ（Ｆｘｙ）＝（Ｆａａ∨Ｆａｂ∨Ｆａｃ）∨（Ｆｂｂ∨Ｆｂａ∨Ｆｂｃ）∨（Ｆｃｃ∨Ｆｃａ∨Ｆｃｂ）
といふ風に書いてみて、初めて、『第11図、二項述語における量記号の交換の規則（沢田允茂、現代論理学入門、1962年、１４６頁）』が「正しい」といふことを、「文字通り、完全に、理解出来ました」。
（02）
｛ｘの変域が、三人の人｝＝｛ａ、ｂ、ｃ｝
であるとして、
① ∀ｙ∀ｘ（愛ｘｙ）＝すべての人は、（自分自身を含めて）すべての人を愛してゐる。
↓
② ∃ｙ∀ｘ（愛ｘｙ）＝ある人は、（自分自身を含めて）すべての人に愛されてゐる。
↓
③ ∀ｘ∃ｙ（愛ｘｙ）＝すべての人はある人を愛してゐる（が自分自身は愛してゐないかも知れない）。
↓
④ ∃ｘ∃ｙ（愛ｘｙ）＝ある人はある人を愛してゐる（が自分自身は愛してゐないかも知れない）。
といふ「順番」で、
① は、② を「含意」し、
② は、③ を「含意」し、
③ は、④ を「含意」する。
ただし、
（03）
「理由」に関しては、今回は、説明しません。「論理学の教科書」で、「＆（and）」と「∨（or）」に関する「説明」をよく読めば、（01）を「理解」することは、「難しくはない」と、思はれます。