∃x(∀y[∃z F(x,y,z)])和∀y(∃x[∃z F(x,y,z)])表达的意思一样吗?

题目

∃x(∀y[∃z F(x,y,z)])和∀y(∃x[∃z F(x,y,z)])表达的意思一样吗?

答案

不一样...∃x(∀y[∃z F(x,y,z)])是说的每个y值相对一个x值...∀y(∃x[∃z F(x,y,z)])是说有个x值相对所有y值.