离散数学（虞慧群）12predicatelogic.pptVIP

* * * * 几类等值式 （1） 命题公式的推广 e.g. P(x) ? Q(x) ? ? P(x) ? Q(x) （2）否定深入 ? ? x P(x) ? ? x(? P(x)) ? ? xP(x) ? ? x (? P(x)) * （3）量词作用域的扩张与收缩 设B中不含x的自由出现，则 ? x(A(x)? B) ? ? x A(x) ? B ? x(A(x)? B) ? ? x A(x) ? B ? x(A(x)? B) ? ? x A(x) ? B ? x(A(x)? B) ? ? x A(x) ? B * （4）? x(A(x) ? B(x)) ? ? x A(x) ? ? x B(x) ? x(A(x) ? B(x)) ? ? x A(x) ? ? x B(x) （5）多个量词的使用 ? x ? y A(x,y) ? ? y ? x A(x,y) ? x ? y A(x,y) ? ? y ? x A(x,y) * 置换规则 设?(A)是含A的公式, 那么, 若A?B, 则?(A)??(B). 换名规则 设A为一公式，将A中某量词辖域中个体变项的所有约束 出现及相应的指导变元换成该量词辖域中未曾出现过的个 体变项符号，其余部分不变，设所得公式为A?，则A??A. * 4、前束范式 概念： 前束范式 前束范式：如果谓词公式A有如下形状： Q1x1…QnxnM 其中 Qixi或者是?xi，或者是?xi，i=1，…，n，M是不含量词的公式， Q1x1…Qnxn称为首标，M称为母式。 对于任意谓词公式，都存在与它逻辑等价的前束范式。 例、 ?x?y?z(P(x，y)?Q(x，z))； ?x?y?zP(x，y，z) 均为前束范式。 步3. 将量词符号移至公式最外层。 步1. 对约束出现的变元进行必要的换名，使得约束出现 的变元互不相同且不与任何自由变元同名。 步2. 将所有的否定号?深入到量词后面。 ??x A= ?x ?A ? ? x A= ?x ? A 前束范式的算法： ?x A?B= ?x(A?B ) ?x A?B= ?x(A?B ) ?x A?B= ?x(A?B ) ?x A?B= ?x(A?B ) ?x A?B= ? x(A ?B ) ?x A ?B= ?x(A ?B ) A ? ?xB= ?x(A ?B ) A ? ?x B= ?x(A ?B ) x不在B中自由出现 x不在A中自由出现 例、 (??xP(x)? ?x ?y Q(x,y))??x ?yR(x,y) =(??xP(x)? ?w?y Q(w,y))??u ?vR(u,v) =(?x ?P(x)? ?w?y Q(w,y))??u ?vR(u,v) =?x ( ?P(x)? ?w?y Q(w,y))??u ?vR(u,v) 换名 ?深入 量词符号前移 =(?x ?w?y ( ?P(x)? Q(w,y)))??u ?vR(u,v) = ?u ?v (?x ?w?y ( ?P(x)? Q(w,y)) ?R(u,v) ) = ?u ?v ?x ?w ?y (( ?P(x)? Q(w,y)) ?R(u,v) ) 例、 ?x?y(?z(P(x,z)?P(y,z))??uQ(x,y,u)) =?x?y(?(?z(P(x,z)?P(y,z)))??uQ(x,y,u)) =?x?y(?z(?P(x,z)??P(y,z))??uQ(x,y,u)) =?x?y?z(?P(x,z)??P(y,z)??uQ(x,y,u)) =?x?y?z?u(?P(x,z)??P(y,z)?Q(x,y,u)) 5、谓词逻辑推理理论 概念： 逻辑蕴含式，有效结论，?-规则（US），?+规则（UG）， ?-规则(ES)，?+规则(EG), 推理 逻辑蕴含式 A ? C：当且仅当A?C是有效的。 有效结论 设A、C是两个谓词公式，若A ? C，称C是A的有效结论。 推广:若H1 ? …? Hn ? C, 称C是一组前题H1,…,Hn的有效结论。 * * 几类逻辑蕴涵式 第一组 命