离散数学(第五章)解析.ppt

§2.4 一阶逻辑前束范式 例3： ?x ?y(?z P(x,z) ∧ P(y,z)) → ?u Q(x, y, u) 解: ?x ?y(?z P(x,z) ∧ P(y,z)) → ?u Q(x, y, u) ???x ?y(?z P(x, z) ∧ P(y,z)) ∨?u Q(x, y, u) /*置换规则*/ ??x?y(?z ?P(x, z) ∨?P(y, z)) ∨ ?u Q(x,y,u) /*量词转化律*/ ??x?y(?w ?P(x,w) ∨?P(y,z)) ∨ ?u Q(s, t, u) /*改名及代入规则*/ ??x ?y ?w ?u(?P(x,w) ∨?P(y,z) ∨ Q(s,t,u)) /*量词辖域扩张*/ §2.4 一阶逻辑前束范式 练1：(?x P(x,y) ? ?y Q(y)) ? ?xR(x) 解： 原式 ? ?(?x P(x,y) ? ?y Q(y)) ? ?xR(x) ? (?x?P(x,y) ? ?y?Q(y)) ? ?xR(x) /*量词转化律*/ ? (?x?P(x,t) ? ?y?Q(y)) ? ?zR(z) /*改名及代入规则*/ ? (?x ?y(?P(x,t) ? ?Q(y))) ? ?z R(z) /*辖域扩张*/ ? ?x ?y ?z ((?P(x,t) ??Q(y)) ? R(z) ) /*辖域扩张*/ §2.5 一阶逻辑的推理理论 推理规则(Rules of inference) 在谓词演算中，推理的形式结构仍为 H1?H2?H3?....?Hn?C 若 H1?H2?H3?....?Hn?C是永真式，则称由前提 H1,H2,H3,.…,Hn逻辑的推出结论C，但在谓词逻 辑中, H1,H2,H3,.…,Hn , C均为谓词公式。 命题演算中的推理规则，可在谓词推理理论中应用。 §2.5 一阶逻辑的推理理论 与量词有关的四条重要推理规则： 1、全称量词消去规则（US规则） 2、全称量词引入规则（UG规则） 3、存在量词消去规则（ES规则） 4、存在量词引入规则（EG规则） 注意：只能对前束范式适用上述规则。 §2.5 一阶逻辑的推理理论 1. 全称指定规则（ US ）： ?x P(x) ∴P(c) 使用此规则时要注意： （1）x是P(x)中的自由变元； （2）c是论域中的某个任意的客体. §2.5 一阶逻辑的推理理论 2.全称推广规则（UG）： P(y) ∴ ?x P(x) 使用此规则时注意: (1) y在P(y)中自由出现，且y取任何值时P均为真。 (2) x不在P(y)中约束出现. §2.5 一阶逻辑的推理理论 3.存在指定规则(ES): ?x P(x) ∴ P(c) 注:c是论域中的某些客体,c并不是任意的 使用此规则时应注意： c是使P为真的特定客体； §2.5 一阶逻辑的推理理论 (4)存在推广规则(EG): P(c) ∴ ?x P(x) 使用此规则时注意: (1) C是个体域中某个确定的个体。 (2) 代替C的x不能已在P(c)中出现。 §2.5 一阶逻辑的推理理论 2 推论规则及使用说明 命题逻辑中的P,T,CP规则和直接、间接证明法，都可以引用到谓词逻辑的推理中来，不过要注意对量词做适当处理. 其处理方法是：用US,ES在推导中去掉量词，用UG,EG使结论量化（加上量词）。 §2.5 一阶逻辑的推理理论 规则使用说明：（1）在使用ES,US时,谓词公式必须是前束范式（2）推导中连续使用US规则可用相同变元 ?xP(x) ?P(y), ?xQ(x) ?Q(y) （3）推导中既用ES，又用US， 则必须先用ES ，后用US