第5章谓词逻辑的等值与推理演算.pptVIP

举例 例3 前提(?x)P(x)→(?x)((P(x)?Q(x))→R(x))，(?x)P(x) 结论(?x)(?y)(R(x)?R(y)) 证明 (1) (?x)P(x)→(?x)((P(x)?Q(x))→R(x)) 前提 (2) (?x)P(x) 前提 (3) (?x)((P(x)?Q(x))→R(x)) (1)，(2)分离 (4) P(c) (2)存在量词消去 (5) P(c)?Q(c)→R(c) (3)全称量词消去 (6) P(c)?Q(c) (4) (7) R(c) (5)，(6)分离 (8) (?x)R(x) (7)存在量词引入 (9) (?y)R(y) (7)存在量词引入 (10)(?x)R(x)?(?y)R(y) (8)，(9) (11)(?x)(?y)(R(x)?R(y)) (10)置换 举例 例4 分析下述推理的正确性 (1)(?x)(?y)(xy) 前提 (2)(?y)(zy) 全称量词消去, y与z有关 (3)zb 存在量词消去, b依赖z (4)(?z)(zb) 全称量词引入, b不依赖z (5)bb 全称量词消去 (6)(?x)(xx) 全称量词引入 推理(1)到(2)，应明确指出y