华中科技大学软件学院 离散数学CH10－谓词逻辑.pptVIP

例5 指出下面推理的错误。 证明 (1) ?xP(x) ? ?xQ(x) 前提 (2) ?xP(x) (1)；化简式 (3) ?xQ(x) (1)；化简式 (4) P(c) (2)；ES 规则 (5) Q(c) (3)；ES 规则 (6) P(c) ? Q(c) (4), (5)；A, B ? A ? B (7) ?x( P(x) ? Q(x) ) (6)；EG 规则 因此 ?xP(x) ? ?xQ(x) ? ?x( P(x) ? Q(x) ) 解：错在 (5) 中 c 非 (4) 中 c。 * 例6 指出下面推理的错误。 设 D(x, y) 表示 “x 可被 y 整除”，个体域为 {5, 7, 10, 11}。 因为 D(5, 5) 和 D(10, 5) 为真，所以 ?xD(x, 5) 为真。 因为 D(7, 5) 和 D(11, 5) 为假，所以 ?xD(x, 5) 为假。 但有下面的推理过程： (1) ?xD(x, 5) 前提 (2) D(z, 5) (1)；ES 规则 (3) ?xD(x, 5) (2)；UG 规则 因此， ?xD(x, 5) ? ?xD(x, 5) 例7 对多个量词的使用情况，观察下列推理过程。 证明：(1) ?x