离散数学课件：2-1 谓词逻辑命题符号化的有关概念与方法.ppt

谓词公式 谓词演算的等价式与蕴含式 本章要点 谓词逻辑命题符号化的有关概念与方法 前束范式 谓词演算的推理理论 第二章 谓词逻辑 由第一章命题逻辑的学习了解到：命题逻辑主要研究命题和命题演算，研究的基本单位是原子命题，并认为原子命题不能再分解，但进一步研究发现，某些情况下必须对原子命题进行再次分析，否则某些推理无法用命题逻辑表示。 直觉判断该结论是真，但在命题逻辑中无法解决。故必须对原子命题的成分，结构和命题间的共同属性等作进一步分析. 著名的“苏格拉底三段论”：所有的人都是要死的，苏格拉底是人，所以苏格拉底总是要死的。 为了在命题演算中，反映命题的内在联系，常常要将简单命题分解成客体、谓词、量词等，并对它们的形式结构及逻辑关系加以研究，总结出正确的推理形式和规则，这就是本章谓词逻辑要研究的内容。 命题作为反映判断的句子，由主语和谓语两部分组成，这里分别称为客体和谓词： 在原子命题中所描述的对象称为客体，既可以是抽象的概念，也可以是具体的事物(常用小写字母a, b, c表示) ； 如：李明、3、唯物主义 用以描述客体性质或客体间关系的部分称为谓词(常用大写字母A, B, C表示)； 如：张三是个大学生；4大于3；点a在b和c之间. 一、谓词逻辑命题符号化的有关概念与方法 (一) 客体与谓词 与客体相关的几个概念 客体常量：指具体或特定的客体，用小写字母a, b, c,……表示. 客体变元：表示抽象的或泛指的客体，用x, y, z,……表示. 个体域: 客体变元的取值范围，又称论域. 个体域可以是有限的，也可以是无限的. 宇宙间的一切事物组成的个体域称为全总个体域. 一、谓词逻辑命题符号化的有关概念与方法 与谓词相关的几个概念 谓词常量: 表示具体性质或关系的谓词，用大写字母A, B, C,……表示. 谓词变元: 表示抽象的或泛指的性质或关系的谓词，也用大写字母表示. 客体变元x具有性质A：记作A(x)； 客体变元x、y具有关系B：记作B(x, y)； 客体变元x、y、z具有关系C：记作C(x, y, z). 我们把A(x)称为一元谓词， B(x, y)称为二元谓词， C(x, y, z)称为三元谓词，依次类推. 通常把二元以上谓词称为多元谓词. 一、谓词逻辑命题符号化的有关概念与方法 0元谓词即命题. 谓词填式 单独一个谓词不是完整的命题. 把谓词字母后填以客体所得的式子称为谓词填式. 如果A为n元谓词，a1, a2,…, an是客体常量，则A(a1, a2,…, an)就成为一个命题. 一、谓词逻辑命题符号化的有关概念与方法 0元谓词即命题. 例如，若A(x)表示“x是个大学生”，c表示“张三”，e表示“李四”，则 A(c)表示 “张三是个大学生”； A(e)表示 “李四是个大学生”； 又如，若B(x, y)表示“x大于y”，则 B(2,1)表示 “2大于1”， B(4,5)表示 “4大于5”， 谓词填式 这一讨论问题的方式类似于”函数”概念. 一、谓词逻辑命题符号化的有关概念与方法 是命题，且真值为 T. 是命题，且真值为F. 简单命题函数：由(1)一个谓词，(2)一些客体变元，组成的表达式. n元谓词，就是有n个客体变元的命题函数； 复合命题函数：由一个或n个简单命题函数以及逻辑联结词(?, ?, ?, ?, ?等 )组合而成的表达式. 逻辑联结词的意义与命题演算中的解释相同. (二) 命题函数 一、谓词逻辑命题符号化的有关概念与方法 命题函数不是命题. 只有客体变元取特定的常量时，才能成为一个命题. 例如，Q(x, y)表示“x比y重”，当x, y指人或物时，它是一个命题；但若x, y指实数时，就不是一个命题. 个体域(客体变元的取值范围)对命题函数的真值有影响. 例如，A(x)表示x是个大学生. 当x的个体域是某大学的一个班级时， A(x)为永真；当x的个体域是某中学的一个班级时， A(x)为永假；当x的个体域是一个剧场中的观众时， A(x)有真有假. 个体域之于命题函数，类似于定义域之于函数. 命题函数 一、谓词逻辑命题符号化的有关概念与方法 全称量词(?)： 对所有的，每一个，对任一个 ； ?是Any的第一个字母 的倒写. 存在量词(?)：存在一些，至少有一个，对于一些 ； ?是Exist是第一个字母的反写. (?x)F(x)：个体域中所有个体具有性质 F ； (?x)F(x)：存在着个体域中某个个体具有性质 F . (三)量词 符号化以下两命题：(1) 所有的人都要死的. (2)有的人活百岁以上. 一、谓词逻辑命题符号化的有关概念与方法 第一种情况，考虑个体域为人类集合 (1)