记得有一回丘在电视上说这两个是一样的，与顺序无关，各位以为如何
\[
\exists x\forall y(F(x,y)),\quad \forall y\exists x(F(x,y))
\]
--
修改:supproton FROM 117.155.183.*
FROM 117.155.183.*