第二章谓词逻辑-最终版详解.ppt

（五）其它公式 3.(?x)(A(x)? B(x))?(?x)A(x)?(?x)B(x) 量词的添加与删除 5. (?x)A(x) ?A(y) y是x个体域中任一元素 6. A(y) ?(?x)A(x) 7. (?x)A(x) ? (?x)A(x) 语句 何时为真 何时为假 ?x?y P(x,y) 对每一对x,y，P(x,y)均为真 有一对x,y， 使P(x,y)均为假 ?y?x P(x,y) ?x?y P(x,y) 对每个x，都有y使得 P(x,y)为真 有一个x，使P(x,y) 对每个y总是假 ?x?y P(x,y) 有一个x，使P(x,y)对所有y均为真 对每个x都有y使得 P(x,y)为假 ?x?y P(x,y) 有一对x,y使P(x,y)为真 对每一对x,y，P(x,y) 均为假 ?y?x P(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?y)(?x)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?x)(?y)A(x,y) 例：A(x,y)表示x和y同姓，个体域：x是甲班人，y是乙班人 甲班所有人与乙班所有人同姓。 乙班所有人与甲班所有人同姓。 甲班和乙班有人同姓。 乙班和甲班有人同姓。 存在一个(些)甲班的人，乙班所有人与之同姓。 乙班所有人，甲班都有人与之同姓 存在一个(些)乙班的人，甲班所有人与之同姓。 甲班所有人，乙班都有人与之同姓 (?x)(?y)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?y)(?x)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) （六）多个量词的公式(主要讨论两个量词) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) 总结： 1、全称量词可以移到存在量词前面，反之不行。 2、全称量词可推出存在量词，反之不行。 若两个量词是相同的，它们的次序是无关紧要，但若不同，它们的次序就不可以随便交换。 (?x)(?y)A(x,y)?(?y)(?x)A(x,y)证明 用谓词逻辑推理方法很容易证明上面的蕴含式。下面证明公式1：(?x)(?y)A(x,y)?(?y)(?x)A(x,y) 。 证明：设个体域为{a1,a2,....,an}，则 (?x)(?y)A(x,y) ?(?y)A(a1,y)∧(?y)A(a2,y)∧…∧(?y)A(an,y) ?(A(a1,a1)∧A(a1,a2)∧…∧A(a1,an))∧ (A(a2,a1)∧A(a2,a2)∧…∧A(a2,an))∧…∧ (A(an,a1)∧A(an,a2)∧…∧A(an,an)) ?(A(a1,a1)∧A(a2,a1)∧…∧A(an,a1))∧ (A(a1,a2)∧A(a2,a2)∧…∧A(an,a2))∧…∧ (A(a1,an)∧(A(a2,an)∧…∧A(an,an)) ?(?x)A(x,a1)∧(?x)A(x,a2)∧…∧(?x)A(x,an) ?(?y)(?x)A(x,y) 演算 (P(a1，a1) ∧ P(a2，a1))∨(P(a1，a2) ∧ P(a2，a2)) ? (P(a1，a1) ∨(P(a1，a2)) ∧ (P(a1，a1) ∨ P(a2，a2)) ∧ (P(a2，a1) ∨ P(a1，a2)) ∧ (P(a2，a1) ∨ P(a2，a2)) ?(P(a1，a1) ∨ P(a1，a2) ∧(P(a2，a1)