我觉得这俩是不一样的，第一个能推出第二个，反之不行。

\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.*