そうかな。
自分は∀-x-∃-y-や∃-x-∀-y-と、集合A,B(A∋x, B∋y)の対応図を見てから理解できるようになったが。