记得有一回丘在电视上说这两个是一样的，与顺序无关，各位以为如何
\[
\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\forall y(F(x,y)),\quad \forall y\exists x(F(x,y))

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