小编Arp*_*ora的帖子

我目前正在阅读德克萨斯大学奥斯汀分校关于Predicate Logic的这篇文章,并坚持以下内容:

关于嵌套量词的注释:对于谓词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结婚]

我怀疑这个例子的答案.此外,一些关于∃和∀运营商的排序的解释将不胜感激.