我目前正在德克萨斯大学奥斯汀分校阅读这篇关于谓词逻辑的文章，并坚持以下几点：
关于嵌套量词的注释：对于谓词P（x，y）：∀x∀yP（x，y）与∀y∀xP（x，y）具有相同的含义。 ∃x∃yP（x，y）与∃y∃xP（x，y）含义相同。
我们不能像这样交换∀和position的位置！
示例：U =已婚人士的集合。对或错？
1。 ∀x∃y[x与y结婚]
2.∃y∀x[x与y结婚]
我对这个例子的答案表示怀疑。此外，一些关于∃和∀运营商的排序的解释将不胜感激。
答案 0 :(得分：6)
1）∀x∃y：每x都有一个y（这样......） 2）∃y∀x：每个x都存在一个y（这样）...
分别使用婚姻例子：
1）每个人都与某人结婚（即，每个人都有一个他/她结婚的人） 2）有人与所有人结婚（即，有人与所有人结婚）