离散数学讲义[第二章].pptVIP

天津财经大学 信息科学与技术系 王宁 ninglw@163.com;第二章 谓词逻辑;第二章 谓词逻辑; 本章包括以下内容：;在谓词演算中，将原子命题分解为 谓词 和 客体 两部分。;记号：;记号：;2-1 谓词的概念与表示（续）;2-2 命题函数与量词;定义：由一个谓词和一些客体变元所组成的表达式称为简单命题函数。;2-2 命题函数与量词（续）;2-2 命题函数与量词（续）;2-2 命题函数与量词（续）;个体变元：函数P(x)中的x。;量词：;例1：有如下命题：;例2：有如下命题： （a）存在一个数是质数。 （b）一些人是聪明的。 （c）有些人早饭吃面包。;合式公式：谓词演算公式的合式公式（wff）（简称谓词公式），可以由下述各条组成：;2-3 谓词公式与翻译（续）;2-3 谓词公式与翻译（续）;2-3 谓词公式与翻译（续）;几个名词：;例1：说明以下各公式的作用域与变元约束的情况。;c) (?x)(?y)(P(x,y)?Q(y,z))?(?x)P(x,y);2-4 变元的约束（续）;例2：对(?x)(P(x)?R(x,y)) ? Q(x,y)换名。;自由变元的代入规则：;2-4 变元的约束（续）;2-5 谓词演算的等价式与蕴含式;2-5 谓词演算的等价式与蕴含式（续）;（1）命题公式的推广;（2）量词与联结词?之间的关系;2-5 谓词演算的等价式与蕴含式（续）;上述公式在有限个体域上的证明：;（3）量词作用域的扩张与收缩;证明.（以公式1、5、6证明为例）;公式6：(?x)A(x)?B ? (?x)(A(x)?B);（4）量词与命题联结词之间的一些等价式;（5）量词与命题联结词之间的一些蕴涵关系;（6）多个量词的使用;2-5 谓词演算的等价式与蕴含式（续）;定理：任何一个谓词公式均等价于某个前束范式。;例1：(?x)P(x) ? (?x)Q(x);2-6 前束范式（续）;定义：如果一个谓词公式wff A具有如下形式，则称其为一个前束合取范式。 (□v1)(□v2)...(□vn)[(A11 ? A12 ? … ? A1l1) ? (A21 ? A22 ? … ? A2l2) ? … ? (Am1 ? Am2 ? … ? Amlm)];注意，联结词?的优先级高于?的优先级;第四步，将?深入：;定义：如果一个谓词公式wff A具有如下形式，则称其为一个前束析取范式。 (□v1)(□v2)...(□vn)[(A11 ? A12 ? … ? A1l1) ? (A21 ? A22 ? … ? A2l2) ? … ? (Am1 ? Am2 ? … ? Amlm)];命题演算的推理规则??谓词推理理论中仍可以用;谓词演算的推理规则：;（3）存在指定规则ES： (?x)P(x) ∴P(c);例1：证明(?x)(H(x) ? M(x)) ? H(s) ? M(s) 其中， H(x)：x是一个人。 M(x)：x是要死的。 s：苏格拉底。;例2：证明 (?x)(C(x)?W(x)?R(x))?(?x)(C(x)?Q(x)) ? (?x)(Q(x)?R(x));例3：证明(?x)(P(x) ? Q(x)) ? (?x)P(x) ? (?x)Q(x);证明2：利用CP规则，原题即为 (?x)(P(x) ? Q(x)) ? ?(?x)P(x) ? (?x)Q(x);例4：任何人违反交通规则，则要受罚款，因此，如果没有罚款，则没有人违反交通规则。;不严格推导：;2-7 谓词演算的推理理论（续）;2-7 谓词演算的推理理论（续）;2-7 谓词演算的推理理论（续）;2-7 谓词演算的推理理论（续）;符号集;? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?