离散数学(第五章)解释.pptVIP

§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)