Arp*_*ora 0 logic discrete-mathematics
我目前正在阅读德克萨斯大学奥斯汀分校关于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结婚]
我怀疑这个例子的答案.此外,一些关于∃和∀运营商的排序的解释将不胜感激.
Wil*_*ale 10
1)∀x∃y:每个x都存在ay(这样......)
2)∃y∀x:每个x都存在ay(这样)......
分别使用婚姻例子:
1)每个人都与某人结婚(即,每个人都有一个他/她结婚的人)
2)某人与每个人结婚(即有人与所有人结婚)