离散数学 谓词逻辑.pptVIP

第二章 谓词逻辑 在命题逻辑中,原子命题是进行演算的基本单位,不研究命题的内部结构以及命题之间的内在联系,因而,命题逻辑中的推理有很大的局限性。例如,著名的苏格拉底三段论： 所有的人都是要死的, 苏格拉底是人, 所以苏格拉底是要死的。 符号化： 分别用P、Q、R表示以上三个命题,则P∧Q→R表示这一推理过程。 蕴含式P∧Q→R不是重言式,虽然凭我们的直觉这个论断正确,在内部逻辑中却无法证明。 谓词逻辑的任务就是对原子命题作进一步的分析,研究其内部的逻辑结构,并在此基础上更深入地刻画推理。 2.1谓词的概念与表示 谓词逻辑：原子命题＝客体词＋谓词 命题所陈述的对象称为客体词。它可以是一个具体的事物,也可以是一个抽象的概念。例如,李明、自然数、思想等都可以作为客体词。 定义用来刻画客体词的性质或客体词之间的关系的词称为谓词。 例如： π是无理数。 小李是计算机系的学生。 李明比王宏高2厘米。 “π”、“小李”、“李明”、“王宏”都是客体词； “……是无理数”“……是计算机系的学生”“……高2厘米”都是谓词。前两个谓词表示客体词的性质,而后一个谓词描述客体词之间的关系。 谓词的表示 客