- 1、本文档共155页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
1;绪论Preface
;现代数学的重要分支。;绪论PRAFACE;数理逻辑、集合论、代数结构、图论、
概率论、可计算性理论、组合数学、
自动机理论、拟阵论等等。;绪论PRAFACE;绪论PRAFACE;绪论PRAFACE;;“离散数学”
耿素云,屈婉玲,北京大学出版社
“离散数学及其应用”
(美)kennethH.Rosen
机械工业出版社;第四篇图论;第一篇
数理逻辑
MathematicsLogic
;;;苏格拉底三段论:;例如:;;逻辑演算(logicalcalculus〕;第四篇图论;命题逻辑
;1-1命题及其表示;1-1命题及其表示;命题:;命题逻辑命题及其表示;命题逻辑命题及其表示;命题常量:命题标识符代表某一确定的命题。
命题变元:命题标识符代表任意一个命题.变元
的取值范围(T,F).
变元的指派:当命题变元被特定命题代入,成为具有确定真值的命题时。称对命题变元的指派。
原子变元:命题变元代表原子命题时。;1-1命题及其表示;1-1命题及其表示;命题逻辑;1-1命题及其表示;;1.并非所有的自然数是偶数.?;定义1-2.2两个命题P和Q的合取是一个复合命题,记作P∧Q。当且仅当P、Q同时为T时,P∧Q
为T,在其他情况下,P∧Q的真值都是F。;新命题P?Q;;今晚我在家看电视,或去剧场看电影.;;例1如果某动物是哺乳动物,那么它必胎生.;;;命题逻辑逻辑连接词;命题符号化
用原子命题符号及连接词组成的符号串表示复合命题.;1-1命题及其表示;命题逻辑逻辑连接词;命题逻辑逻辑连接词;1-3命题公式与赋值;1-3命题公式与赋值;命题逻辑命题公式与赋值;1.公式最外层的括号可省略.
2.规定运算优先级为?,?,?,?,?,那么其中的括
号可省略.
3.同级的从左至右进行时,那么其中的括号可省略.;设P1,P2,...Pn是命题公式A中出现的所有分量,为P1,P2,...Pn指定一组真值称为对公式A的赋值,假设指定一组真值使A成为真命题,那么这组真值称为A的
成真赋值;否那么为A的成假赋值。;真值表:将公式的所有不同赋值及对应的取值情况汇列成表.;(3).含有n个命题变元的命题公式共有种赋值.;什么是命题公式?
什么是命题公式的赋值?
含有n个命题变元的命题公式共有种赋值?
如何求出命题公式的所有取值?
命题公式??哪几种类型?
命题公式的类型如何判断?
如何判断两个命题公式等价?
;命题逻辑命题公式与赋值;命题逻辑;1-4等价公式;A?B??(?A??B);定理1-4.1〔置换定理〕设X是合式公式A的子公式,且X?Y,如果将A中的X用Y来置换,所
得到的公式B与A等价,即A?B。;命题逻辑等价公式;命题逻辑等价公式;命题逻辑等价公式;1-5重言式;定义1-5.1、定义1-5.2给定一命题公式,假设
无论对分量作怎样的指派(赋值),其对应的真值永为T(永为F),那么称该命题公式为永真式(永假式),记作T(F).;利用代入定理可判定某些永真或永假式.;定理1-5.3设A、B为两个命题公式,A?B当且
仅当A?B为一个重言式。;命题逻辑等价公式;命题逻辑重言式;命题逻辑;1-6联结词的全功能集;(1).PQ??(P?Q);2.极小全功能集
;IF...THEN...ELSE;命题逻辑;本节讨论命题公式的标准形式。包括主析取范式和主合取范式,给出求主析和主合取方式的方法并通过范式获得其性质。
1)便于计算机处理命题和推理
2)通过化标准形便于判断公式等价及公式的类型3)通过真值表可写出的公式。;定义1-7.1在给定的命题公式A中,将联结词∨换成∧,将∧换成∨,假设有特殊变元F和T亦相互
取代,所得公式A*称为A的对偶式。;;定义1-7.2一个命题公式称为合取范式,当且仅当它具有形式:
A1∧A2∧...∧An,(n≥1)
其中A1,A2,...,An都是由命题变元或其否认所组成的析取式(简单析取式)。;定义1-7.3一个命题公式称为析取范式,当且仅当它具有形式:
A1?A2?…,?An,(n≥1)
其中A1,A2,...,An都是由文字所组成的合取式。;(1).将公式中的联结词化归成?、?、?。
(2).利用德摩根律将?移到各原子变元之前。
(3).利用分配律、结合律将公式归约为合取范式
或析取范式。;两个变元及其小项的真值表;三个变元及其小项的真值表;小项的性质;(1).将公式化归为析取范式。
(2).去掉析取范式中永假的小项。
(3).合并析取范式中重复的小项。
(4).对合取项
文档评论(0)