第十章 离散数学.pptVIP

证明 （2） ② 由（2） ① 得 （2）① ② 即 即 故 证明 （1） 5.量词与联结词的关系 证明 因此在个体域中必存 在某个体a使B(a)为假，但A(a)为真。 证明 设 为假， 则 为真， 为假。 于是 为假，因此 为假。 故 由此 永真。 10.4 谓词演算的推理理论 一、推理规则 命题演算中的推理规则，可在谓词推理理论中应用。 在谓词演算中，推理的形式结构仍为 若 是永真式， 则称由前提 逻辑的推出结论C， 在此 , C均为谓词公式。 与量词有关的推理规则 1. US(全称特定化规则) 使用此规则时要注意： （1）x是A(x)中的自由变元； （2）y为任意不在A(x)中约束出现的个体变元； （3）c为任意的个体常元 。 关于（2）的反例： 设 则 , x,y的 个体域为R， 是一真命题. 若应用US得 ，则是错误的。 正确的做法是换成 使用此规则时应注意： （1）c 是使A为真的特定个体常元； （2）如果A(x)中有其他自由变元出现，且x是随其他自由变元变化的，那么不能使用此规则。 2. ES（存在特定化规则） 3. UG（全称一般化规则） 使用此规则时注意: (1) y在A(y)中自由出现，且y取任何值时A均为真。 (2) x不在A(y)中约束出现 4、EG（存在一般化规则） 使用此规则时注意: (1) C是个体域中某个确定的个体。 (2) 代替C的x不能已在A(c)中出现。 二、推理规则的应用 例1 证明苏格拉底的三段论。 解 令M(x):x是人; D(x):x是要死的; c:苏格拉底。 于是苏格拉底三段论可表示为： 证明（1）M(c) 前提 （2） 前提 （3） （1）；US （4）D(c) (1),(3); 例2 证明 （3） C(a) ∧ Q(a) （2）；ES 证明 （1） 前提 （2） 前提 （4） （1）；US （5） C(a) （3）；I1 （6） W(a) ∧ R(a) （4）,（5）；I11 （7） Q(a) （3）；I2 （8） R(a) （6）；I2 （9） Q(a) ∧ R(a) （7）,（8）；I9