离散数学讲义第三章谓词逻辑.pptxVIP

  1. 1、本文档共10页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多

在命题逻辑中,命题被当作一个基本的,不可分割的单位,只研究由原子命题和联结词所组成的复合命题;因而无法研究命题的内部结构及命题之间内在的联系。本章介绍的谓词逻辑,对原子命题的成份、结构和原子命题间的共同特性等作了进一步分析。引入了个体词、谓词、量词、谓词公式等概念,在此基础上研究谓词公式间的等值关系和蕴含关系,并且对命题逻辑中的推理规则进行扩充和进行谓词演绎。第三章谓词逻辑3.2谓词的概念与表示;命题函数和量词~3.5谓词演算的合适公式;变元的约束;谓词公式的解释谓词演算的永真式谓词演算的推理理论主要内容如下:

3.1、3.2谓词、命题函数和量词例判断下述论断的正确性1“苏格拉底三段论”:2凡人都是要死的,3苏格拉底是人,4所以苏格拉底是要死的。5类似的例子还有许多。例如:6所有的人都要呼吸,所有的正整数都大于0,7李莉是人,3是正整数,8所以李莉要呼吸。所以3大于0。9

一、谓词在谓词演算中,可将原子命题分解为谓词与个体词两部分。定义个体是指可以独立存在的客体。注个体可以是抽象的,也可是具体的。个体通常在一个命题里表示思维对象。定义用来刻划个体的性质或个体之间关系的词称为谓词,刻划一个个体性质的词称为一元谓词;刻划n个个体之间关系的词称为n元谓词。例1(1)李明是学生;(2)张亮比陈华高;陈华坐在张亮与李明之间。在这三个命题中,李明、张亮、陈华都是个体;“…是学生”是一元谓词,“…比…高”是二元谓词,“…坐…与…之间”是三元谓词。

通常,我们用大写字母表示谓词,小写字母表示个体。01一般地,一个由n个个体和n元谓词所组成的命题可表示为F(a1,a2,…,an),其中F表示n元谓词,a1,a2,…,an分别表示n个个体。02上述命题可分别表示为Q(a),P(b,c),

R(c,b,a)。03注意:a1,a2,…,an的排列次序是重要的。04

二、个体变元和命题函数二、个体变元和命题函数个体常元表示具体或特定的个体的个体词称为个体常元。个体变元表示抽象的,或泛指的(或者说取值不确定的)个体称为个体变元。例2设H是表示谓词“…能够到达山顶”,若个体w:王红;t:老虎;s:汽车,则H(w),H(t),H(s)分别表示“王红能够到达山顶。”“老虎能够到达山顶。”“汽车能够到达山顶。”这里w、t、s均是个体常元。H(x):x能够到达山顶。这里的x是泛指的,不确定的,x可在一定的范围内取值。故x是个体变元。例3L(x,y,z)表示“x+y=z”,其中x,y,z为个体变元。L(3,2,5)表示真命题“3+2=5”,而L(1,2,4)表示假命题“1+2=4”。

定义由一个谓词和若干个个体变元组成的命题形式称为简单命题函数,表示为P(x1,x2,…,xn)。由一个或若干个简单命题函数以及逻辑联结词组成的命题形式称为复合命题函数。例如H(x),L(x,y,z)均是简单命题函数。在命题函数中,个体变元的取值范围称为个体域。例4P(x,y)表示“2x+y=1”,若x,y的个体域为正整数集,则总是假;若x,y的个体域为有理数集,则y=1―2x,对任意的有理数k,在x=k,y=1―2k时,P(k,1―2k)为真。(P(x,y)∨L(x,y,z))P(y,x)是一复合命题函数

三、量词和全总个体域量词在命题里表示数量的词。1.量词使用前面介绍的概念,还不足以表达日常生活中的各种命题。例如:对于命题“所有的正整数都是素数”和“有些正整数是素数”仅用个体词和谓词是很难表达的。(1)全称量词“x”如“所有人都是要死的。”可表示为xD(x),x的个体域为全体人的集合。

(2)存在量词“x”(3)存在唯一量词“!x”如“有些有理数是整数。”令I(x):x是整数;于是命题可表示为xI(x)其中x的个体域为有理数集合。如“方程x+1=0存在唯一的整数解。” 令P(x):x是x+1=0的整数解

文档评论(0)

zhang1745 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档