离散一阶逻辑等值演算和推理讲解.pptVIP

10/22/05 XHL,SCAU F06 ?命题逻辑中的公式 A(p1, p2, …, pn) 的赋值的个数是有限的(2n 个), 可以通过枚举(例如用真值表)来判断其是否重言式. 而一阶逻辑中的公式解释的个数是无限的(不可枚举), 且解释是多样的(难以归纳); 要判断其永真性, 主要是运用等值演算法. 第一组 代换实例 命题逻辑中的重言式的代换实例都是一阶逻辑中的永真式, 因而命题逻辑中的等值式?给出的代换实例都是一阶逻辑的等值式. 例如 A ? ??A 的代换实例: ?xF(x) ? ???xF(x) ?x?y(F(x, y)?G(x, y)) ? ???x?y(F(x, y) ? G(x, y)) 又如 A ? B ? ?A ? B 的代换实例: F(x) ? G(y) ? ?F(x) ? G(y), ?x(F(x) ? G(y)) ? ?zH(z) ? ??x(F(x)?G(y)) ? ?zH(z)) 第二组 与量词有关的等值式 1.消去量词等值式 设个体域为有限域 D = {a1, a2, …, an}, 则有 (1) ?xA(x) ? A(a1) ? A(a2) ? … ? A(an) (2) ?xA(x) ? A(a1) ? A(a2) ? …? A(an)???? (5.1) 2.量词否定等值式 (1) ??xA(x) ? ?x?A(x) (2) ??x