谓词逻辑 离散数学.pptVIP

第二章 谓词逻辑 为什么引入谓词逻辑？ 命题逻辑的特点： 1、其研究的基本单位是原子命题； 2、不再对原子命题进行分解； 3、原子命题之间通过联结词组合成为复合命题，并由原子命题的真值和联结词共同决定复合命题的真值； 4、原子命题本身之间并无实质联系。 命题逻辑的局限性： 1、颗粒度太大，无法研究命题的内部关系； 2、无法描述同一个体的多个性质； 3、无法描述具有共同属性（性质和关系）的命题之间的联系； 4、不能揭示某些有效的推论。 因此，需要对命题逻辑进行推广，导致谓词逻辑被引入。 为什么引入谓词逻辑（实例）？ 实例1（苏格拉底三段论）： 所有的人都是要死的，苏格拉底是人，所以苏格拉底是要死的。 P：所有的人都是要死； Q：苏格拉底是人； R：苏格拉底要死。 三段论表示为(P?Q)?R，但该公式在命题逻辑里不是重言式。 实例2： P：所有自然数有大于它的素数； Q：100是自然数； R： 100有大于它的素数。 从谓词逻辑的角度：实例中P和Q有联系；Q和R有联系；P和R也有联系。在学习谓词逻辑之后，将看到实例中的有效推论。 什么是谓词逻辑？ 1、回顾：什么是命题？ 2、由表及里看命题：命题由其基本成分（主、谓、宾等）构成。 3、判断：x=5 是否命题？ 4、通过量化，引入量词，可以把一部分非命题转化为命题。 因此，谓词逻辑研究的基本部件包括：个体（及其论域）、谓词、量词等。 谓词逻辑与命题逻辑之间的关系： 继承（联结词、等价公式、蕴含公式、推理规则…）； 发展（量词、新公式、新规则…） 。 2.1、2.2 谓词的概念与表示 概念1：个体词 个体词（主语或宾语等）——所研究对象中可以独立存在的具体（如：张三）或抽象（如：3，x）的客体。 分类： 个体常项：具体的事物，用a, b, c表示； 个体变项：抽象的事物，用x, y, z表示。 讨论对象： 个体域(论域)——个体变项的取值范围。 有限个体域，如 {a, b, c}, {1, 2}； 无限个体域，如 N, Z, R, … 全总个体域（默认）——由宇宙间一切事物组成。 概念2：谓词 谓词——表示个体词性质或相互之间关系的词 分类1： 谓词常项：表示具体性质或关系的谓词，如, F(a)：a是人 谓词变项：表示抽象或泛指的性质或关系的谓词，如, G(x)：x具有性质G 分类2：n（n?1）元谓词（含n个命题变元的谓词） 一元谓词(n=1)——表示性质； 多元谓词(n?2)——表示事物之间的关系； 如, L(x,y)：x与 y 有关系 L，L(x,y)：x?y，… 注意： 1、 0元谓词——不含个体变项的谓词, 即命题常项，因此，可将命题看成特殊的谓词； 2、个体的顺序不能任意调换，否则可能影响其真值； 3、个体域的选取决定谓词是否成为命题及其真值情况。 概念3：命题函数 简单命题函数——由一个谓词和若干个个体变元组成的命题形式称为简单命题函数，表示为P(x1,x2,…,xn)。 复合命题函数——由一个或若干个简单命题函数以及逻辑联结词组成的命题形式称为复合命题函数。 注意： 1、当所有的个体变元用特定的个体常元替换之后，命题函数成为一个命题（可见：命题函数不是一个命题）； 2、命题函数是一类函数，有定义域、值域； 3、命题函数与一般函数、真值函数的区别； 4、复合命题函数的真值由组成它的简单命题函数以及逻辑联结词决定。 概念4：量词(1/2) 量词——表示个体常量与个体变量之间数量关系的词, 起到把个体变量变成常量的作用（如：x=5）(? 和?的由来？) 全称量词?: 表示所有的. ?x : 对个体域中所有的x； 如, ?xF(x)表示个体域中所有的x具有性质F ； ?x?yG(x,y)表示个体域中所有的x和y有关系G ； 存在量词?: 表示存在, 有一个. ?x : 个体域中有一个x ； 如, ?xF(x)表示个体域中有一个x具有性质F ； ?x?yG(x,y)表示个体域中存在x和y有关系G ； ?x?yG(x,y)表示对个体域中每一个x都存在一个y使得 x和y有关系G ； ?x?yG(x,y)表示个体域中存在一个x使得对每一个y, x和y有关系G