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

其实这个数理逻辑和集合论有冲突，康托不被德国人承认很正常。有兴趣看我的合集。
--
修改:supproton FROM 117.155.183.*
FROM 117.155.183.*

是很不一样。
\[
\exists x(F(x))=\bigvee_xF(x),\quad\forall x(F(x)=\bigwedge_xF(x)
\]
--
修改:supproton FROM 117.155.183.*
FROM 117.155.183.*