第4章谓词逻辑导论.ppt

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