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

Discrete Math. , Chen Chen CHAPTER FIVE Discrete Math. , Chen Chen * Discrete Math. , Chen Chen * 离散数学 Discrete Mathematics * Discrete Math. , Chen Chen * 第五章 一阶逻辑等值演算与推理 5.1 一阶逻辑等值式与置换规则 5.2一阶逻辑的前束范式 5.3一阶逻辑的推理理论 * Discrete Math. , Chen Chen * 一、等值式 定义5.1 设A, B是一阶逻辑中任意两个公式，若 A?B是永真式， §5.1 一阶逻辑等值式与置换规则 在一阶逻辑中，有些命题可以有不同的符号化形式。 如：没有不犯错误的人。 令：F(x):x是人。G(x):x犯错误。 有如下两种不同的符号化形式： (1),(2)都等价于原命题， (2) ? x(F(x)→G(x)) (1) ┐?x(F(x)∧┐G(x)) 是正确的， 我们称(1)与(2)是等值的。 注：判断公式A与B是否等值，等价于判断公式A?B是否为永真式。 则称A与B是等值的， 记做A? B 。并称它为等值式。 这个问题目前尚没有一般的解决方法。但是，人们已经证明了一些重要的等值式。 利用这些等值式和推演规则，可以推演出更多的等值式。 * Discrete Math. , Chen Chen * 二、基本等值式 §5.1 一阶逻辑等值式与置换规则 第一组：第二章中的16组等值式模式的代换实例都是一阶逻辑的等值式。如 ? xF(x) ? ┐┐? xF(x) 1. 消去量词等值式： (1) ?xA(x) 设个体域为D={a1,a2,…,an},则 (2) ?xA(x) ? A(a1)∧A(a2)∧…∧A(an)； ? A(a1)∨A(a2)∨…∨A(an). 第二组：一阶逻辑特有的基本等值式 ?x?y(F(x,y)→G(x,y)) ? ┐┐?x?y(F(x,y)→G(x,y)) F(x)→G(y) ? ┐F(x)∨G(y) ?x(F(x)→G(y))→?z H(z) ? ┐?x(F(x)→G(y))∨?z H(z) ?x F(x) ? ?x F(x)∨?x F(x) ?x F(x)∨┐?x F(x) ? 1 ?x F(x)∧┐?x F(x) ? 0 等。 (5.1) * Discrete Math. , Chen Chen * §5.1 一阶逻辑等值式与置换规则 (1) ┐?xA(x) 2. 量词否定等值式： 设A(x)含自由出现个体变项x，则 ??x┐A(x)。 ??x┐A(x)； (2) ┐?xA(x) (5.2) 对(1)式： 令F(x)：x是偶数。个体域D=N。 而“所有的自然数都是偶数。”的否定“至少存在一个自然数不是偶数。”符号化为 故 ┐?xF(x) ??x┐F(x)； 而?x ┐F(x) 意为“所有的自然数都不是偶数。”仍是假命题，故 “不是所有的x都有性质A” “存在x没有性质A” 与 是一回事。 如：“所有的自然数都是偶数。”是假命题， 其否定为 “至少存在一个自然数不是偶数。” “不是所有的自然数都是偶数。” 或 是真命题。 “所有的自然数都是偶数。” 符号化为 真值为0 . ?xF(x), 其否定式为 真值为1 . ┐?xF(x), ?x┐F(x)。 * Discrete Math. , Chen Chen * 对于(1)的证明： 对(2)式： 设“不存在有性质A的x。”(┐?xA(x))是真命题， 在无穷个体域D， 在有限个体域D，可利用削去量词等值式展开证明。 所以，? x┐A(x)为真。 设┐?xA(x)为真， 根据全称量词的定义， 至少存在一个个体a， 使A(a)为假，或┐A(a)为真， 则?xA(x)为假。 “不存在有性质A的x。” 是一回事。 与 “所有x都没有性质A。” 我们看：“存在x没有性质A。”(?x┐A(x))也是真命题， 是不是有 ┐? xA(x)??x┐A(x) 。 答案是否定的， ┐?xA(x)＝ ? x┐A(x) ??x┐A(x)。 ┐?xA(x) 设“存在x没有性质A。”是真命题， 因为反过来不成立。 推不出 “所有x都没有性质A。”也是真命题。 故只有 基本等值式 * Discrete Math. , Chen Chen * 3. 量词辖域收缩与扩张等值式： 基本等值式 设A(x)含自由出现的个体变项x， B中不含x的出现，则 (1) ?x(A(x)∨B) (2) ?x(A(x)∨B