第05章一阶逻辑等值演算与推理.pptVIP

第5章 一阶逻辑等值演算与推理 韩祥兰 浙江大学宁波理工学院 计算机系 5.1 一阶逻辑等值式 5.2 一阶逻辑前束范式 5.3 一阶逻辑推理理论 5.1 一阶逻辑等值式 等值式 基本等值式 消去量词等值式 量词否定等值式 量词辖域收缩与扩张等值式 量词分配等值式 等值式与基本等值式 基本等值式: 命题逻辑中16组基本等值式的代换实例 如，?xF(x)??yG(y) ? ??xF(x)??yG(y) P→Q??P∨Q ?(?xF(x)??yG(y)) ? ??xF(x)???yG(y)德摩根律等 基本等值式(续) 消去量词等值式 先看一个例子，令A(x)：表示x是整数，B(x)：表示x是奇数，设论域是{1,2,3,4,5}，谓词公式?xA(x)表示论域内所有的客体都是整数，显然公式?xA(x)的真值为真，因为A(1)、A(2)、A(3)、A(4)、A(5)都为真，于是有 ?xA(x)?A(1)∧A(2)∧A(3)∧A(4)∧A(5) 类似地，谓词公式?xB(x)表示论域内有些客体是奇数，显然公式?xB(x)的真值也为真，因为B(1)、B(3)、B(5)的真值为真，于是有 ?xB(x)?B(1)∨B(2)∨B(3)∨B(4)∨B(5) 一般地，设论域为{a1,a2,....,an}，则 1. ?xA(x)?A(a1)∧A(a2)∧......∧A(an) 2. ?xB(x)?B(a1)∨B(a2)∨......∨B(an) 量词否定等值式 我们还是先用一个例子说明这个问题。令 Ａ(x)表示x是优等生，论域是某班级的学生集合。 ??xA(x)表示：不是所有人都是优等生。 ?x?A(x)表示：有些人不是优等生。 ??xA(x)表示：没有人是优等生。 ?x?A(x)表示：所有人都不是优等生。 从这个例子可以看出 “不是所有人都是优等生。”与“有些人不是优等生。”是等价的。 “没有人是优等生。”与“所有人都不是优等生。”是等价的。于是有： 1. ??xA(x)??x?A(x) 2. ??xA(x)??x?A(x) 对这两个公式可以证明如下： 证明：设论域为{a1,a2,....,an}，则 ??xA(x)??(A(a1)∧A(a2)∧...∧A(an)) ??A(a1)∨?A(a2)∨...∨?A(an)??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) 基本等值式(续) 上述公式我们只证明三个。 证明：设论域为{a1,a2,....,an}， ?xA(x)∨B?(A(a1)∧A(a2)∧...∧A(an))∨B ? (A(a1)∨B)∧(A(a2)∨B)∧...∧(A(an)∨B) ? ?x(Ａ(x)∨Ｂ) ?xA(x)→B???xA(x)∨B??x?A(x)∨B ? ?x(?A(x)∨B)??x(A(x)→B) B→?xA(x)??B∨?xA(x)??x(?B∨A(x)) ? ?x(B→A(x)) 量词分配等值式 1. ?x(A(x)∨B(x))??xA(x)∨?xB(x) 2. ?x(A(x)∧B(x))??xA(x)∧?xB(x) 3. ?x(A(x)∧B(x))??xA(x)∧?xB(x) ?对?无分配律 4. ?xA(x)∨?xB(x)??x(A(x)∨B(x)) ?对?无分配律 证明：设论域为{a1,a2,....,an}， ?x(A(x)∨B(x)) ?(A(a1)∨B(a1))∨(A(a2)∨B(a2))∨… ∨(A(an)∨B(an)) ?(A(a1)∨A(a2)∨...∨A(an))∨ (B(a1)∨B(a2)∨...∨B(an)) ??xA(x)∨?xB(x) 注意公式3 和4 不是等价公式，而是永真蕴含式。 例如公式3 由?xA(x)∧?xB(x)不能推出?x(A(x)∧B(x))， 我们可以举一个反例，设A(x)和B(x)分别表示“x是奇数”和“x是偶数”，显然命题?xA(x)∧?xB(x)为真。而?x(A(x)∧B(x))是表示命题“存在一些数既是奇数，也是偶数”，显然不为真。