离散数学-数理逻辑2.3-4.pptVIP

2.3 一阶逻辑等值式 等值式 基本等值式 量词否定等值式 量词辖域收缩与扩张等值式 量词分配等值式 前束范式 等值式与基本等值式 基本等值式: 命题逻辑中16组基本等值式的代换实例 如， ?xF(x) ? ?xF(x) ? ?xF(x) ?xF(x)??yG(y) ? ??xF(x)??yG(y) ?(?xF(x)??yG(y)) ? ??xF(x)???yG(y) 基本等值式(续) 量词辖域收缩与扩张等值式 设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) 基本的等值式(续) 量词分配等值式 ?x(A(x)?B(x))??xA(x)??xB(x) ?x(A(x)?B(x))??xA(x)??xB(x) 注意：?对?无分配律，?对?无分配律 基本的等值式(续) 例 将下面命题用两种形式符号化 (1) 没有不犯错误的人 (2) 不是所有的人都爱看电影 解 (1) 令F(x)：x是人，G(x)：x犯错误. ??x(F(x)??G(x)) ??x(F(x)?G(x)) 请给出演算过程，并说明理由. (2) 令F(x)：x是人，G(x)：爱看电影. ??x(F(x)?G(x)) ??x(F(x)??G(x)) 给出演算过程，并说明理由. 前束范式 例如，?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)) 不是前束范式， 公式的前束范式 定理（前束范式存在定理）一阶逻辑中的任何公 式都存在与之等值的前束范式 注意: 公式的前束范式不惟一 求公式的前束范式的方法: 利用重要等值式、 置换规则、换名规则、代替规则进行等值演算. 换名规则与代替规则 换名规则: 将量词辖域中出现的某个约束出现的 个体变项及对应的指导变项，改成另一个辖域中未 曾出现过的个体变项符号，公式中其余部分不变， 则所得公式与原来的公式等值. 代替规则: 对某自由出现的个体变项用与原公式 中所有个体变项符号不同的符号去代替，则所得公 式与原来的公式等值. 公式的前束范式(续) 例 求下列公式的前束范式 (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(G(x,y)??H(y)) ??zF(z)??y(G(x,y)??H(y)) （换名规则） ??z?y(F(z)?(G(x,y)??H(y))) （为什么？） 例(续) 或 ??xF(x)??y(G(z,y)??H(y)) （代替规则） ??x?y(F(x)?(G(z,y)??H(y))) (5) ?x(F(x,y)??y(G(x