第二章一阶逻辑学案.pptVIP

计算机科学与工程学院 示范性软件学院 第2章 一阶逻辑(谓词逻辑) 例如(著名的苏格拉底三段论) （1）所有的人都是要死的； （2）苏格拉底是人。 （3）苏格拉底是要死的。 苏格拉底三段论 要反映这种内在联系，就要对命题逻辑进行分析,分析出其中的个体词、谓词和量词，再研究它们之间的逻辑关系，总结出正确的推理形式和规则，这就是一阶(谓词)逻辑的研究内容。 办法：将命题再次细分。 本章内容 2.1 本章学习要求 2.1.1 谓词逻辑中的基本概念与表示 命题是具有真假意义的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。 谓词 更一般地， F(x)：x是四川师范大学的学生。 个体词与谓词 个体词：在原子命题中，可以独立存在的客体（句子中的主语、宾语等），称为个体词(Individual)。 谓词：而用以刻划客体的性质或客体之间的关系即是谓词(Predicate)。 个体词的分类 表示具体的或特定的个体词称为个体常项(Individual Constant)，一般个体词常量用带或不带下标的小写英文字母a, b, c，…，a1, b1, c1,…等表示； 表示抽象的或泛指的个体词称为个体变项(Individual Variable)，一般用带或不带下标的小写英文字母x, y, z, …, x1, y1, z1, …等表示。 例子 个体域 定义 个体词的取值范围称为个体域(或论域) (Individual Field)，常用D表示；个体域可以是有限事物集合，也可以是无限事物的集合。 宇宙间的所有个体域聚集在一起所构成的个体域称为全总个体域(Universal Individual Field)。 谓词 表示具体性质或关系的谓词为谓词常项，用大写英文字母F，G，..表示。 表示抽象的或泛指的谓词称为谓词变项，也用F，G，…表示。 当个体变项x具有性质F，记作F(x). n元谓词 例2.1 设有如下命题，并用n元谓词进行表示。 P：王童是一个三好学生； Q：李新华是李兰的父亲； S：武汉位于北京和广州之间; R: 如果2大于3，则2大于4； 结论 谓词中个体词的顺序是十分重要的，不能随意变更。如命题F(b, c)为“真”，但命题F(c, b)为“假”； 一元谓词用以描述某一个个体的某种特性，而n元谓词则用以描述n个个体之间的关系。 0元谓词(不含个体词的)实际上就是一般的命题； 结论（续） 具体命题的谓词表示形式和n元命题函数(n元谓词)是不同的，前者是有真值的，而后者不是命题，它的真值是不确定的。如上例中S(a)是有真值的，但S(x)却没有真值； 一个n元谓词不是一个命题，但将n元谓词中的个体变元都用个体域中具体的个体取代后，就成为一个命题。而且，个体变元在不同的个体域中取不同的值对是否成为命题及命题的真值有很大的影响。 2.1.2 量词 例 符号化下述命题： （1）所有的中国人都爱国； （2）每一个大学生都会说英语； （3）所有的人都长着黑头发； （4）有一些人登上过月球； （5）有一些自然数是素数。 量词含义 全称量词与存在量词 定义 称(?x)为全称量词（Universal Quantifier），(?x)为存在量词（Existential Quantifier），其中的x称为作用变量（Function Variable）。一般将其量词加在其谓词之前，记为(?x)F(x)，(?x)F(x)。此时，F(x)称为全称量词和存在量词的辖域(Scope)。 例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)为“假”。 不便之处的根源 特