第4章_一阶逻辑.ppt

* 例3：证: (?x) (P(x)?Q(x)) ? (?x) P(x)?(?x)Q(x) (1)（ ?x） P(x) 引入前件 (2) （?x） (P(x)?Q(x)) P (3)P(c) ?Q(c) ES (4) P(c) US (5) Q(c) T (6) （?x）Q(x) EG (7) （?x ）P(x)?（?x）Q(x) CP 一阶逻辑推理理论的推理理论 * 例4：证明： ?（?x）(P(x)?Q(x)), （?x）P(x) ? ?（ ?x）Q(x) (1) ?? （?x）Q(x) 假设前提 (2) （?x）Q(x) T (3) Q(c) US (4) （?x）P(x) P (5) P(c) US (6) P(c)?Q(c) T (7) （?x）(P(x)?Q(x)) UG (8) ?（?x）(P(x)?Q(x)) P (9) （?x）(P(x)?Q(x)) ? ?（?x）(P(x)?Q(x))