2015离散数学谓词演算与前束范式.pptVIP

谓词和量词 Predicates and Quantifiers 将下列命题符号化 （1）兔子比乌龟跑得快 （2）有的兔子比乌龟跑得快 （3）并不是所有的兔子都比乌龟跑得快 （4）不存在跑得同样快的两只兔子 将下列命题符号化 （1）有的汽车比有的火车跑得快 （2）有的火车比所有的汽车跑得快 （3）说所有的火车比所有汽车都跑得快是不对的 （4）说有的飞机比有的汽车慢也是不对的 将下列命题符号化 （1）火车都比汽车快 （2）有的火车比有的汽车快 （3）不存在比所有火车都快的汽车 （4）说凡是汽车就比火车慢是不对的 Two tasks: (1) 一些等值式 (2) 前束范式 消去量词等值式 设D={a1,a2,…,an} ?xA(x)?A(a1)?A(a2)?…?A(an) ?xA(x)?A(a1)?A(a2)?…?A(an) 消去下列公式的量词 设个体域 量词否定等值式 Negation: ??xP(x) ? ?x ?P(x). ??xQ(x) ? ?x ?Q(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)??xA(x)?B ?x(A(x)?B)??xA(x)?B ?x(A(x)?B)??xA(x)?B ?x(B?A(x))?B??xA(x) 量词分配等值式 Distributing ? through ∧ ?x (P(x) ∧ Q(x)) ? ?x P(x) ∧ ?x Q(x) Distributing ? through ∨ ?x (P(x) ∨ Q(x)) ? ?x P(x) ∨ ?x Q(x) Laws of quantifer distribution 1. (?x)A(x)∨(?x)B(x) ?(?x)(A(x)∨B(x)) 2.(?x)(A(x)∧B(x)) ? (?x)A(x)∧(?x)B(x) 量词次序蕴含式 1.(?x)(A(x)∨B(x)) ? (?x)A(x)∨(?x)B(x) 2.(?x)(A(x)∧B(x)) ? (?x)A(x)∧(?x)B(x) 前束范式prenex normal form 一个公式如果量词均包含在全式的开头，它们的作用域延伸到整个公式的末尾，则该公式叫做前束范式。 设A是一个谓词公式，如果A具有如下形式： (Q1x1)(Q2x2) …(Qnxn)B， 其中Qi (1≤i≤n）为?或?，xi为客体变元，B为不含量词的谓词公式，则称A是前束范式。 prenex normal form Any expression can be converted into prenex normal form. To do this, the following steps are needed: 1. Eliminate all occurrences of ? and ? from the formula in question. 2. Move all negations inward such that, in the end, negations only appear as part of literals. 3. Standardize the variables apart (when necessary). 4. The prenex normal form can now be obtained by moving all quantiers to the front of the formula. 求下列公式的前束范式 Basic Rules about Quantification US: ?xP(x)?P(c) 全称指定规则 Universal instantiation UG: P(x)??xP(x) 全称推广规则 Universal generalization ES: ?xP(x)?P(c) 存在指定规则 Existential instantiation EG: P(c)??xP(x) 存在推广规则 Existential generalization 斯柯伦范式skolem 每个存在量词均在全称量词之前 AI型斯柯伦范式