北京邮电大学 计算机学院 离散数学 1.41.5- Predicates and Quantifiers.pptVIP

* * College of Computer Science Technology, BUPT 量词分配 ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) ?x(A(x)∨B(x)) ? ?xA(x)∨?xB(x) * * College of Computer Science Technology, BUPT 量词与联结词4 有一事物，它或是偶数或是素数 (?x) (P(x) ? Q(x)) 有一个偶数或者有一个素数 (?x) P(x) ? (?x) Q(x) 显然 (?x) (P(x) ? Q(x)) ? (?x) P(x) ? (?x) Q(x) * * College of Computer Science Technology, BUPT 量词与联结词5 一切事物，它既是可知的又是可模拟的 (?x) (P(x) ? Q(x)) 一切事物都是可知的同时一切事物都是可模拟的 (?x) P(x) ? (?x) Q(x) 显然 (?x) (P(x) ? Q(x)) ? ((?x) P(x) ? (?x) Q(x)) * * College of Computer Science Technology, BUPT 量词分配(反例) ?x(A(x)∨B(x)) ? ?xA(x)∨?xB(x) ?x(A(x)∨B(x)) ? ?xA(x)∨?xB(x) 个体域为全体自然数; A(x): x是偶数 B(x): x是奇数; 左?1, 右?0 ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) 个体域为全体自然数; A(x): x是偶数 B(x): x是奇数; 左?0, 右?1 * * College of Computer Science Technology, BUPT 量词与联结词3 若任意事物都是素数，则任意事物也都是奇数 (?x) P(x) ? (?x) Q(x) 对任意事物，若它是素数，则它是奇数 (?x) (P(x) ? Q(x)) 显然 (?x) (P(x) ? Q(x)) ? ((?x) P(x) ? (?x) Q(x)) (?x) (P(x) ? Q(x)) ?((?x) P(x) ? (?x) Q(x)) * * College of Computer Science Technology, BUPT 换名(rename)规则 把某个指导变项和其量词辖域中所有同名的约束出现, 都换成某个新的个体变项符号. 例如: ?x(A(x)∧B(x)) ? ?y(A(y)∧B(y)) ?xA(x)∧?xB(x) ? ?yA(y)∧?zB(z) H(x,y)∨?xF(x)∨?y(G(y)?H(x,y)) ? H(x,y)∨?zF(z)∨?u(G(u)?H(x,u)) * * College of Computer Science Technology, BUPT 代替(substitute)规则 把某个自由变项的所有出现, 都换成某个新的个体变项符号. 例如: A(x)∧B(x) ? A(y)∧B(y) ?xA(x)∧B(x) ? ?xA(x)∧B(y) H(x,y)∨?xF(x)∨?y(G(y)?H(x,y)) ? H(s,t)∨?xF(x)∨?y(G(y)?H(s,y)) * * College of Computer Science Technology, BUPT 谓词公式的范式 前束范式：一个公式，如果量词均在全式的开头，它们的作用域，延伸到整个公式的末尾，则该公式称为前束范式。 (?x)(?y)(?z)(Q(x,y) ? R(z)) (?y)(?x)(~P(x,y) ? Q(y)) 方法： 利用量词的收缩和扩张 * * College of Computer Science Technology, BUPT 习题 1. 设个体域D={a,b,c}, 消去下列各式的量词： (1) ?x?y(F(x)∧G(x)) (2) ?x(F(x,y)??yG(y)) 2. 证明等值式: ?xF(x)∨~?xG(x)??x?y(F(x)∨~G(y)) 3. 求前束范式: (1) ? xF(x) ∨ ? xG(x) (2) (?x) (?y)((?z)(P(x,z)∧P(y,z))?(?u)Q(x,y,u)) * * Explain the notion of a propositional form * * * * * * * * * * * * * * No matter how small you choose epsilon, you can