离散数学2.3-4分析.pptVIP

2.3 一阶逻辑等值式 等值式 基本等值式 量词否定等值式 量词辖域收缩与扩张等值式 量词分配等值式 前束范式 等值式与基本等值式 基本等值式: 命题逻辑中16组基本等值式的代换实例 如，?xF(x)??yG(y) ? ??xF(x)??yG(y) ?(?xF(x)??yG(y)) ? ??xF(x)???yG(y) 等 消去量词等值式 设D={a1,a2,…,an} ?xA(x)?A(a1)?A(a2)?…?A(an) ?xA(x)?A(a1)?A(a2)?…?A(an) 基本等值式(续) 量词否定等值式: (1) ??xF(x) ? ?x?F(x) (2) ??xF(x) ? ?x?F(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) 基本等值式(续) ?、 ?在?、 ?联接词下，辖域可以扩充到一 切不含该指导变元的任意原子公式上，推广 地有： ?x(A(x)?B(y)) ? ?xA(x)?B(y) 两个条件：1、B中不含指导变元x 2、只能与?、 ? 基本的等值式(续) 量词分配等值式 ?x(A(x)?B(x))??xA(x)??xB(x) ?x(A(x)?B(x))??xA(x)??xB(x) 注意：?对?无分配律，?对?无分配律 基本等值式(续) (1) ?x?yF(x,y) ? ?y?xF(x,y) (2) ?x?yF(x,y) ? ?y?xF(x,y) 基本的等值式(续) 例 将下面命题用两种形式符号化 (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、将公式中的?等化掉 2、利用德摩根律等将?移到原子公式前 3、如需要将约束变量改名 4、量词辖域扩充、分配律等 公式的前束范式 需要改名的情况： 1、 ?x对?， ?x对?，量词不能合并 如?xA(x) ? ?xB(x) 2、两个不同性质量词，用同一指导变元 如?xA(x) ? ?xB(x) 3、x既是自由变元，又是约束变元 如?xA(x) ? B(x,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)