・「∀x∈YMO ∀y∈Perfume ( x loves y )」は、
変項xのみを含む一項述語
「∀y∈Perfume ( x loves y )」
について、
変項xも全称量化子で束縛して普遍量化した
命題「∀x∈YMO (∀y∈Perfume ( x loves y ) )」
の略記。
・「∀x∈YMO ∀y∈Perfume ( x loves y )」 は、
「YMO,Perfumeから、どのメンバーを選んでも、
YMOから選んだメンバーを変項xへ、
Perfumeから選んだメンバーを変項yへ
代入すると、
x-y間に関係・条件" x loves y "が成り立つ。」
と主張する命題になる。
・「∀x∈YMO ∀y∈Perfume ( x loves y )」 の読み下し例。
「YMOの誰もが、Perfumeの誰もを愛している」
（本橋『新しい論理序説』p.64を参考に自作。）
は、
「∀x ( x∈YMO ⇒ ∀y ( y∈Perfume ⇒ x loves y ) )」
の省略表現。
※なぜ？→説明
・「∀x∈YMO ∀y∈Perfume ( x loves y )」
は、
「『"細野晴臣 loves 大本" かつ "細野晴臣 loves 西脇" かつ "細野晴臣 loves 樫野" 』
かつ
『"高橋幸宏 loves 大本" かつ "高橋幸宏 loves 西脇" かつ "高橋幸宏 loves 樫野" 』
かつ
『"坂本龍一 loves 大本" かつ "坂本龍一 loves 西脇" かつ "坂本龍一 loves 樫野" 』」
に言い換えてよい。
※なぜ？
・YMO ＝ { 細野晴臣
, 高橋幸宏
, 坂本龍一 }・Perfume
＝ { 大本, 西脇, 樫野 } であるから、
集合S,Tが外延的に定義された有限集合である場合の「∀x∈S ∀y∈T P(x,y)」意味
にしたがって。