二項述語二重量化∀x ∃y P(x,y)

二項述語・2変項命題関数の二重量化∀x ∃y P(x,y)の定義・意味・読み。
冒頭に要旨。一部加筆修正。