∃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值.