第四讲谓词逻辑的推理演算.pptVIP

;主要内容 ; 1. 由命题逻辑推理定律推广而来的谓词逻辑推理定律 利用代入定理将命题逻辑中的推理定律推广而得到谓词逻辑中的推理定律。 如在命题逻辑中有公式： α?β?α，α?α?β， 可推广而得： ?xA(x)??yB(y)??xA(x)， ?xA(x)??xA(x)??yB(y) 等等。; 2. 由基本等值式生成的推理定律 前面给出的等值式中的每个等值式可生成两个推理定律。例如， ?xA(x)????xA(x)，???xA(x)??xA(x) 和??xA(x)??x?A(x), ?x?A(x)???xA(x) 等等。; 3. 一些特有的重要推理定律 （1）?xA(x)??xB(x)??x(A(x)?B(x)) （2）?x(A(x)?B(x))??xA(x)??xB(x) （3）?x(A(x)?B(x))??xA(x)??xB(x) （4）?x(A(x)?B(x))??xA(x)??xB(x) 等等。;1. 全称量词消去规则（US） （1）?xA(x)?A(y) 或 （2）?xA(x)?A(c) 2. 全称量词引入规则（UG） A(y)??xA(x) 3. 存在量词消去规则（ES） ?xA(x)?A(c) 4. 存在量词引入规则（EG） A(c)??xA(x) ;直接证法 前提+推理规则+推理定律 ? 结论 间接证法（反证法 、CP规则 ） 反证法 结论的否定+前提+推理规则+推理定律 ? 矛盾 CP规则（条件：结论为蕴含式） 蕴含的前件+前提+推理规则+推理定律 ? 蕴含的后件; 示例1 任何人如果违反交通规则，就要被处罚；总有些人违反了交通规则。因此有些人被处罚。（使用全总个体域） 令P(x)：x是人 Q(x)：x违反交通规则 R(x)：x被处罚 则： 前提： ?x((P(x)∧Q(x))→R(x)), ?x(P(x)∧Q(x)) 结论： ?x(P(x)∧R(x)) 推理形式： ?x((P(x)∧Q(x))→R(x)), ?x(P(x)∧Q(x)) ? ?x(P(x)∧R(x));证明 (1) ?x(P(x)∧Q(x)) P (2) P(a)∧Q(a) ES,(1) (3) P(a) T,I,(2) (4) ?x((P(x)∧Q(x))→R(x)) P (5) (P(a)∧Q(a))→R(a) US,(4) (6) R(a) T,I,(2),(5) (7) P(a)∧R(a) T,I,(3),(6) (8) ?x(P(x)∧R(x)) EG,(7);示例2 ?x(P(x)?Q(x))??xP(x)??xQ(x) 证明 用反证法 (1) ?(?xP(x)??xQ(x)) P(附加) (2) ?x?P(x)??x?Q(x) R,E,(1) (3) ?x?P(x) T,I,(2) (4) ?P(a) ES,(3) (5) ?x?Q(x) T,I,(2) (6) ?Q(a) US,(5) (7) ?x(P(x)?Q(x)) P (8) P(a)?Q(a) US,(7) (9) Q(a) T,I,(4),(8) (10) Q(a)??Q(a) T,I,(6),(9),矛盾 因此，假设不成立，原推理形式正确。 ;示例3 ?x(P(x)→Q(x))??xP(x)→?xQ(x) 证明 用CP规则 (1) ?xP(x) P(附加) (2) P(a) US,(1) (3) ?x(P(x)→Q(x))