谓词逻辑的基本概念.ppt
《谓词逻辑的基本概念.ppt》由会员分享,可在线阅读,更多相关《谓词逻辑的基本概念.ppt(37页珍藏版)》请在三一文库上搜索。
1、,第二章 谓词逻辑,第一讲,原因是三个原子命题不能把第1个命题和第2命题的共同属性“人”表示出来。苏格拉底是人,所有“人”具有的共同属性“死亡”他也应该有,但在命题逻辑中无法实现。这就是命题逻辑的局限性。为了解决这个问题需要引入谓词逻辑的有关概念。,21 谓词逻辑的基本概念 211 谓词及其表示 命题是一个有唯一真值的陈述句。陈述句主要由主语、谓语、宾语和补语组成。其中主语、谓语是句子的主要成份。 主语是谓语描述的对象,称为个体或客体。 谓语用于描述主语的性质和关系,是陈述句的主体部分。,定义2-1 可以独立存在的人、物、事称为个体或客体。,定义2-2 在谓词逻辑中,刻划个体性质和关系的 谓语
2、称为谓词。,例2-1: 张三是大学生。 李四是大学生。 我们 用大写字母S表示“是大学生”, 用小写字母a、b分别表示“张三”和“李四”。 上述两个命题可表示为: S(a):张三是大学生。 S(b):李四是大学生。,谓词可分为一元谓词和多元谓词。在命题中若谓词只联系一个客体,则称之为一元谓词。一元谓词表示客体的属性。若谓词联系着n个客体,则称之为n元谓词。多元谓词表示客体之间的联系。,例2-2 冰比水密度小。 4大于3 解: 用D表示 比密度小, G表示大于, 则上述谓词命题可以表示为: D(冰,水)和G(4,3)。 不难发现,在多元谓词中,个体在谓词中出现的次序不是任意的,它将直接影响谓词命
3、题的真值。在多元谓词公式中,个体在谓词公式出现的次序一旦约定就不能更改。 如果更改便变成不同的命题,其真值也发生变化。如上例中改为D(水,冰)和G(3,4),变成命题“水比冰密度小”和“3大于4”,其真值都为假。,21 常元与变元 在谓词逻辑中,表示特定个体的词称为个体常元。个体常元可以是代表个体的标识符,也可以直接引用个体的名称。如上述例2-1中a代表“张三”,b代表“李四”;在例2-中直接使用个体的名称,如“水”、“冰”、“”、“”等。 在谓词逻辑中,用来表示未知或泛指的个体的词称为个体变元。其标识符常用小写字母x,y,z表示。例如用(x)表示x是素数,Q(x)表示x是有理数。(x) 和Q
4、(x)不是命题,只有用具体的个体取代其中的个体变元后才是命题,才有真值。,22 命题 函数及量化 221 命题 函数 单独的谓词不是命题,在谓词后面的括号中填上代表个体的标识符所得的式 子 称为谓词填式 。 如果在谓词填式 的括号中填入的是个体常元,则该谓词填式 是一个命题。在谓词填 式 的括号中填入的是个体变元,则称该谓词 填式为命题函数。,定义2-3 由一个谓词和一些个体变元组成的表达式 称为原子命题函数。用逻辑联结词把一个或多个原子命题函数连接而成的表达式 称为复合命题函数。,如上述所举例子中S(x)、D(x,y)、G(x,y)都是简单命题函数,其中x、y为个体变元。,把不含个体变元的命
5、题函数称为0元谓词。例如,上述的D(冰,水)和G(4,3)等都是0元谓词, 0元谓词本身就是命题。 命题逻辑中的原子命题都可以用0元谓词表示,因此,可以将命题逻辑看成是谓词逻辑的特殊情况。 值得注意的是,在谓词演算中逻辑联结词的含义与命题演算中完全相同,且命题演算中的公式在谓词演算中完全适用。,例2-3 将下列命题 符号化: (1)存在既是素数又是偶数的数。 解:令:F(x):x是素数; G(x):x是偶数; 则命题 符号化为:F(x)G(x)。,(2)只有努力学习才能取得好成绩。 解: 令: G(x):x想取得好成绩; H(x):x 努力学习; 则命题 符号化为: (3)在实数域中,若x比y
6、大,y比大z,则x比z大。 解:设x、y、z是实数。 令:P(x,y): x比y大。 则命题 符号化为: P(x,y)P(y,z)P(x,z),定义2-4 个体变元的论述范围称为个体域(或论域)。 各种个体域综合在一起作为论述范围称为全总个体域。 个体域和全总个体域是相对的,它根据你讨论的问题而定,同时它可以是有限的,也可以是无限的。,222 个体域,223 量 化 用具体个体的名称取代个体变元,使命题函数成为命题的过程称为代换,通过代换而得到的命题称为命题函数的代换实例。由代换实例得到的命题是个别命题。 除代换外,我们还可以采用量化的办法来确定命题,采用量化确定的命题是一个命题集合。 所谓量
7、化是指出个体变元在个体域中的取值方式。 在谓词逻辑中,个体域中个体变元的取值方式常用的有以下两种:,1.全称量词 如果命题函数个体变元在个体域中的取值方式是考虑论域中的所有个体,则这种量化称为全称量化。 如日常语言中的“所有的”、“任意的”、“每一个”等词。 我们把“所有的”的英语短语“For All”中的“All”的第一个字母“A”倒写为“” 作为全称量词符号。“x ”表示个体域中的所有个体,其中的“x”称为指导变元。例如,“xP(x) ”就表示个体域中的所有个体都具有性质P 。,例如:设论域为人类 H(x):表示x是要呼吸的。 则xH(x)表示: 所有人都是要呼吸的。 例如:所有的自然数都
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 谓词 逻辑 基本概念
链接地址:https://www.31doc.com/p-2160950.html