>>402
任意の(∀)…に対して或る(∃)…が存在して　と　或る(∃)…に対して任意の(∀)…
において2つの記号∀、∃の入れ替えは出来ないけど
∀…∀…の2つの∀を入れ替え出来ることや
∃…∃…の2つの∃を入れ替え出来ること位は知っとる