- 1、本文档共122页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
离散数学
DiscreteMathematics;在命题逻辑〔Ls〕中,把命题分解到原子命题为止,认为原子命题是不能再分解的,仅仅研究以原子命题为根本单位的复合命题之间的逻辑关系和推理,而无法解决与命题的结构和成分有关的推理问题。所以,有些推理用命题逻辑就难以确切地表示出来。;例如,著名的苏格拉底三段论:
所有的人都是要死的,
苏格拉底是人,
所以苏格拉底是要死的。
根据常识,认为这个推理是正确的。但是,假设用命题逻辑来表示,设P、Q和R分别表示这三个原子命题,那么有P,Q?R;然而,(P∧Q)→R并不是永真式,故上述推理形式又是错误的。一个推理,得出矛盾的结论,问题在哪里呢?问题就在于这类推理中,各命题之间的逻辑关系不是表达在原子命题之间,而是表达在构成原子命题的内部成分之间,即表达在命题结构的更深层次上。对此,Ls是无能为力的。所以,在研究某些推理时,有必要对原子命题作进一步分析,分析出其中的个体词,谓词和量词,研究它们的形式结构的逻辑关系、正确的推理形式和规那么,这些正是谓词逻辑〔简称为Lp〕的根本内容。;谓词逻辑研究内容;内容提要;内容提要;在谓词逻辑中,命题是具有真假意义的陈述句。从语法上分析,一个陈述句由主语和谓语两局部组成。在谓词逻辑中,为揭示命题内部结构及其不同命题的内部结构关系,就按照这两局部对命题进行分析,并且把主语称为个体或客体,把谓语称为谓词。;1.个体、谓词和命题的谓词形式
定义在原子命题中,所描述的对象称为
个体;用以描述个体的性质或个体间关系的局部
,称为谓词。;3.1个体、谓词和量词;(4)谓词,当与一个个体相联系时,它刻划了个体性
质;当与两个或两个以上个体相联系时,它刻划了个体
之间的关系。
表示特定谓词,称为谓词常元,表示不确定的谓词,
称为谓词变元,都用大写英文字母,如P,Q,R,…,或
其带上、下标来表示。
在本课程中,不对谓词变元作更多地讨论(即默认以
后本课程中遇到的谓词都是谓词常元)。;例:(1)张明是位大学生.
个体:张明;
谓词:是位大学生。
(2)武汉位于北京和广州之间.
个体:武汉、北京、广州;
谓词:…位于…和…之间。;例如,在命题“张明是位大学生”中,“张明”是个体,“是位大学生”是谓词,它刻划了“张明”的性质。设S:是位大学生,c:张明,那么“张明是位大学生”可表示为S(c),或者写成S(c):张明是位大学生。又如,在命题“武汉位于北京和广州之间”中,武汉、北京和广州是三个个体,而“…位于…和…之间”是谓词,它刻划了武汉、北京和广州之间的关系。设P:…位于…和…之间,a:武汉,b:北京,c:广州,那么P(a,b,c):武汉位于北京和广州之间。;定义一个原子命题用一个谓词(如P)和n个有次序的个体常元(如a1,a2,…,an)表示成P(a1,a2,…,an),称它为该原子命题的谓词形式或命题的谓词形式。
注意:命题的谓词形式中的个体出现的次序影响命题的真值,不是随意变动,否那么真值会有变化。如上述例子中,P(b,a,c)是假。;例:写出以下命题的谓词形式。
(1)离散数学是计算机的根底课程;
令a:离散数学;P:…是计算机的根底课程,
(1)的谓词形式:P(a)
(2)大鱼吃小鱼。
令b:大鱼;c:小鱼;Q:…吃…,
那么〔2〕的谓词形式:Q(b,c);2.原子谓词公式
原子命题的谓词形式还可以进一步加以抽象,比方在谓词右侧的圆括号内的n个个体常元被替换成个体变元,如x1,x2,···,xn,这样便得了一种关于命题结构的新表达形式,称之为n元原子谓词。;定义由一个谓词(如P)和n个个体变元(如x1,x2,…,xn)组成的P(x1,x2,…,xn),称为n元原子谓词或n元命题函数,简称n元谓词。;注2:一元谓词用以描述某一个个体的某种特性,而n元谓词那么用以描述n个个体之间的关系。
注3:具体命题的谓词表示形式和n元命题函数(n元谓词)是不同的,前者是有真值的,而后者不是命题,它的真值是不确定的。如上例中S(a)是有真值的,但S(x)却没有真值;;注4:n元谓词不是命题,只有其中的个体变元用个体常元替代时,才能成为一个命题。但个体变元在哪些论域取特定的值,对命题的真值极有影响。
例如,令S(x):x是大学生。假设x的论域为某大学的计算机系中的全体同学,那么S(x)是真的;假设x的论域是某中学的全体学生,那么S(x)是假的;假设x的论域是某剧场中的观众,且观众中有大学生也有非大学生的其它观众,那么S(x)是真值是不确定的。;注5:通常,把一个n元谓词中的每个个体的论域综合在一起作为它的论域。当一个命题没有指明论域时,一般都将全总论域作为其论域。而这时又常常要采用一个谓词如P(x)来限制
您可能关注的文档
最近下载
- 二零二五年度道路运输车辆安全生产责任书模板与操作规范.docx VIP
- 第一单元 阅读综合实践(教学设计)-2024-2025学年七年级语文下册(统编版2024).docx
- 宝钢股份董事会审计委员会议事规则.pdf VIP
- 2017年上海中考英语试题解析.doc VIP
- 37.2021年度企业所得税汇算清缴之《跨地区经营汇总纳税企业年度分摊企业所得税明细表》填报详解.pdf
- 新人教版七年级生物上册第一单元分章节练习题 .pdf VIP
- 2023—2024学年广东省中山市三鑫中学八年级下学期期中数学试卷.doc VIP
- 2015款比亚迪唐_汽车使用手册用户操作图解驾驶车主车辆说明书电子版.pdf
- 国家开放大学(电大)土木工程力学(本)形考任务3答案.pdf
- 2025年新版《GAMP5(良好自动化生产实践规范)指南》中英对照版.pdf VIP
文档评论(0)