第4章 谓词逻辑 电子科大离散数学内部教学课件.ppt

计算机科学与工程学院 示范性软件学院 第4章 谓词逻辑 例如(著名的苏格拉底三段论) （1）所有的人都是要死的； （2）苏格拉底是人。 （3）苏格拉底是要死的。 苏格拉底三段论 P：所有的人都是要死的； Q：苏格拉底是人。 R：所以，苏格拉底是要死的。 本章内容 4.1 本章学习要求 4.2 谓词逻辑中的基本概念与表示 命题是具有真假意义的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。 谓词 更一般地， P(x)：x是电子科技大学的学生。 个体词与谓词 定义4.2.1 在原子命题中，可以独立存在的客体（句子中的主语、宾语等），称为个体词(Individual)。而用以刻划客体的性质或客体之间的关系即是谓词(Predicate)。 例子 个体词的分类 （1）表示具体的或特定的个体词称为个体常量(Individual Constant)，一般个体词常量用带或不带下标的小写英文字母a, b, c，…，a1, b1, c1,…等表示； （2）表示抽象的或泛指的个体词称为个体变量(Individual Variable)，一般用带或不带下标的小写英文字母x, y, z, …, x1, y1, z1, …等表示。 个体域 定义4.2.2 （1）个体词的取值范围称为个体域(或论域)(Individual Field)，常用D表示； （2）而宇宙间的所有个体域聚集在一起所构成的个体域称为全总个体域(Universal Individual Field)。 n元谓词 例4.2.1 设有如下命题，并用n元谓词进行表示。 P：王童是一个三好学生； Q：李新华是李兰的父亲； R：张强与谢莉是好朋友； S：武汉位于北京和广州之间。 例4.2.1（续） 用符号表示个体词： a：王童；b：李新华； c：李兰；d：张强； e：谢莉；f：武汉； g：北京；h：广州。 结论 （1）谓词中个体词的顺序是十分重要的，不能随意变更。如命题F(b, c)为“真”，但命题F(c, b)为“假”； （2）一元谓词用以描述某一个个体的某种特性，而n元谓词则用以描述n个个体之间的关系。 （3）0元谓词(不含个体词的)实际上就是一般的命题； 结论（续） （4）具体命题的谓词表示形式和n元命题函数(n元谓词)是不同的，前者是有真值的，而后者不是命题，它的真值是不确定的。如上例中S(a)是有真值的，但S(x)却没有真值； （5）一个n元谓词不是一个命题，但将n元谓词中的个体变元都用个体域中具体的个体取代后，就成为一个命题。而且，个体变元在不同的个体域中取不同的值对是否成为命题及命题的真值有很大的影响。 4.2.2 量词 例4.2.2 符号化下述命题： （1）所有的老虎都要吃人； （2）每一个大学生都会说英语； （3）所有的人都长着黑头发； （4）有一些人登上过月球； （5）有一些自然数是素数。 例4.2.2(续) 解 设立如下谓词： P(x)：x会吃人；Q(x)：x会说英语； R(x)：x长着黑头发；S(x)：x登上过月球； T(x)：x是素数。 则有：（1）所有的x，P(x) x∈ {老虎｝； （2）每一个x，Q(x) x∈{大学生}； （3）所有的x，R(x) x∈{人}； （4）有一些x，S(x) x∈{人}； （5）有一些x，T(x) x∈{自然数}。 量词含义 全称量词与存在量词 定义4.2.4 称(?x)为全称量词（Universal Quantifier），(?x)为存在量词（Existential Quantifier），其中的x称为作用变量（Function Variable）。一般将其量词加在其谓词之前，记为(?x)F(x)，(?x)F(x)。此时，F(x)称为全称量词和存在量词的辖域(Scope)。 例4.2.2(续) （1）所有的老虎都要吃人 (?x)P(x) x∈ {老虎} ； （2）每一个大学生都会说英语 (?x)Q(x) x∈{大学生}； （3）所有的人都长着黑头发 (?x)R(x) x∈{人}； （4）有一些人登上过月球 (?x)S(x) x∈{人}； （5）有一些自然数是素数 (?x)T(x) x∈{自然数}。 不便之处 （1）从书写上十分不便，总要特别注明个体域； （2