第一章 数理逻辑谓词逻辑.pptVIP

*存在示例规则ES(ExistentialSpecification)又称存在指定规则作用：去掉存在量词形式：?xA(x)?A(c)使用此规则时要注意： （1）c是使A为真的特定个体常元；（2）c不在A(x)中出现（3）如果A(x)中有其他自由变元出现，且x是随其他自由变元变化的，那么不能使用此规则例：设A(x,y)：xy，考查如下推理过程是否正确 ?x?yA(x,y) ?yA(z,y) A(z,c)第60页，共100页，星期日，2025年，2月5日*存在推广规则EG(ExistentialGeneralization)作用：添加存在量词形式：A(c)??xA(x)使用此规则时注意：(1)c是个体域中某个确定的个体(2)代替c的x不能已在A(c)中出现例：设A(x,y)：xy，对?x?yA(x,y)考查如下推理过程 A(x,c) ?xA(x,x) 错误第61页，共100页，星期日，2025年，2月5日*全称推广规则UG(UniversalGeneralization)作用：添加全称量词形式：A(y)??xA(x)使用此规则时注意：(1)y在A(y)中自由出现，且y取任何值时A均为真(2)x不在A(y)中约束出现例：设A(x,y)：xy，考查如下推理过程 ?xA(x,y) ?x?xA(x,x) 错误第62页，共100页，星期日，2025年，2月5日*量词四规则的使用限制条件非常重要ES,US,EG,UG四条规则都只有在量词的作用域是整个公式的情况下才能使用例：考察如下推理过程?xP(x)→?yQ(y)?xP(x)→Q(c) ES或P(z)→?yQ(y)US错误！第63页，共100页，星期日，2025年，2月5日*推理举例1.证明苏格拉底的三段论。令M(x):x是人。D(x):x是要死的。a:苏格拉底。符号化为：?x(M(x)→D(x)),M(a)?D(a)⑴?x(M(x)→D(x)) P⑵M(a)→D(a) US⑴⑶M(a) P⑷D(a) T⑵⑶I第64页，共100页，星期日，2025年，2月5日*2.所有自然数都是整数。有些数是自然数。因此有些数是整数。A(x)：x是自然数，B(x)：x是整数。?x(A(x)→B(x))，?xA(x)??xB(x)⑴?x(A(x)→B(x)) P⑵?xA(x) P⑶A(c)→B(c) US⑴⑷A(c) ES⑵⑸B(c) T⑶⑷I⑹?xB(x) EG⑸一般先做存在指定再做全称指定第65页，共100页，星期日，2025年，2月5日*⑴?x(A(x)→B(x)) P⑵?xA(x) P⑶A(c) ES⑵⑷A(c)→B(c) US⑴⑸B(c) T⑶⑷I⑹?xB(x) EG⑸第66页，共100页，星期日，2025年，2月5日*3.不认识错误的人，也不能改正错误。有些诚实的人改正了错误。所以有些诚实的人是认识了错误的人。设A(x):x是认识错误的人。B(x):x改正了错误。C(x):x是诚实的人。符号化为：?x(?A(x)→?B(x))，?x(C(x)∧B(x)),??x(C(x)∧A(x))第67页，共100页，星期日，2025年，2月5日*?x(?A(x)→?B(x)),?x(C(x)∧B(x))??x(C(x)∧A(x))⑴?x(C(x)∧B(x))P⑵C(c)∧B(c)ES⑴⑶C(c)T⑵I⑷B(c)T⑵I⑸?x(?A(x)→?B(x))P⑹?A(c)→?B(c)US⑸⑺??A(c)T⑷⑹I⑻A(c)T⑺E⑼C(c)∧A(c)T⑶⑻I⑽?x(C(x)∧A(x))EG⑼第68页，共100页，星期日，2025年，2月5日*观察以下推理过程，指出问题1：(1)?xP(x)∧?xQ(x) P(2)?xP(x) T(1)I(