(等值式和前束范式以及推理理论).pptVIP

一、等值式 二、基本等值式 第一组 命题逻辑中16组基本等值式的代换实例 由代换实例可知,命题逻辑中的等值式可以得到一类谓词逻辑中的等值式.例如 ?xF(x)??yG(y) ? ??xF(x)??yG(y) ?(?xF(x)??yG(y)) ? ??xF(x)???yG(y) 等 第二组 1、 消去量词等值式 设D={a1,a2,…,an} ?xA(x)?A(a1)?A(a2)?…?A(an) ?xA(x)?A(a1)?A(a2)?…?A(an) 三、量词否定等值式 2、量词否定等值式 设A(x)是含x自由出现的公式， (1) ? ?xA(x)??x ? A(x) (2) ? ?xA(x)? ?x ? A(x) 设A(x)是含x自由出现的公式， (1) ? ?xA(x)??x ? A(x) (2) ? ?xA(x)? ?x ? A(x) 设A(x)是含x自由出现的公式，B中不含x的出现 关于全称量词的： ?x(A(x)?B)??xA(x)?B ?x(A(x)?B)??xA(x)?B ?x(A(x)?B)??xA(x)?B ?x(B?A(x))?B??xA(x) 4、量词分配等值式 ?x(A(x)?B(x))??xA(x)??xB(x) ?x(A(x)?B(x))??xA(x)??xB(x) 注意：?对?无分配律，?对?无分配律 5、量词交换等值式 ?x?y A(x,y) ? ?y ?x A(x,y); ?x ?y A(x,y) ? ?y ?x A(x,y) . 例 将下面命题用两种形式符号化 (1) 没有不犯错误的人 (2) 不是所有的人都爱看电影 七、前束范式 例如，?x?y(F(x)?(G(y)?H(x,y))) ?x?(F(x)?G(x)) 是前束范式, 而 ?x(F(x)??y(G(y)?H(x,y))) ??x(F(x)?G(x)) 不是前束范式， 公式的前束范式 定理（前束范式存在定理）： 谓词逻辑中的任何公式都存在与之等值的前束范式。 换名规则与代替规则 换名规则: 将量词辖域中出现的某个约束出现的 个体变项及对应的指导变项，改成另一个辖域中未 曾出现过的个体变项符号，公式中其余部分不变， 则所得公式与原来的公式等值. 代替规则: 对某自由出现的个体变项用与原公式 中所有个体变项符号不同的符号去代替，则所得公 式与原来的公式等值. 换名规则与代替规则例子 分别用换名规则和代替规则对下列公式改名: ?x(F(x)?G(x)) ?H(x,y)) 解: (1)用换名规则: 由于x既是约束变项,又是自由变项,故将约束变项x改为z,得 ?z(F(z)?G(z)) ?H(x,y)) (2)用代替规则: 将公式中的自由变项x用z代替,得 ?x(F(x)?G(x)) ?H(z,y)) 公式的前束范式(续) 例 求下列公式的前束范式 (1) ??x(M(x)?F(x)) 解 ??x(M(x)?F(x)) ? ?x(?M(x)??F(x)) （量词否定等值式） ? ?x(M(x)??F(x)) 两步结果都是前束范式，说明前束范式不惟一. 例(续) (2) ?xF(x)???xG(x) 解 ?xF(x)???xG(x) ??xF(x)??x?G(x) （量词否定等值式） ??x(F(x)??G(x)) （量词分配等值式） 另有一种形式 ?xF(x)???xG(x) ??xF(x)??x?G(x) ??xF(x)??y?G(y) ( 换名规则 ) ??x?y(F(x)??G(y)) ( 量词辖域扩张 ) 两种形式是等值的 例(续) (3) ?xF(x)???xG(x) 解 ?xF(x)???xG(x) ??xF(x)??x?G(x) ??x(F(x)??G(x)) （为什么？） 或 ??x?y(F(x)??G(y)) （为什么？） (4) ?xF(x)??y(G(x,y)??H(y)) 解 ?xF(x)??y