离散数学课件.pptxVIP

离散数学;WhatisDiscret;WhatisDiscret;WhatisDiscret;WhystudyDiscr;WhystudyDiscr;UsesofDiscret;Somequestions;Somequestions;Somequestions;软件工程的离散数学基础;软件工程的离散数学基础;软件工程的离散数学基础;软件工程的离散数学基础;软件工程的离散数学基础;软件工程的离散数学基础;软件工程的离散数学基础;软件工程的离散数学基础;软件工程的离散数学基础;软件工程的离散数学基础;软件工程的离散数学基础;用数学方法研究推理的规律和形式;主要内容;命题（Proposition）;例;例(续);PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;逻辑联结词;1.否定词┐(～，negati;例;2.合取词∧(Conjunct;PowerPoint演示文稿;3.析取词∨(disjunct;例;4.条件词→(蕴涵,蕴含,co;例;因果关系;在自然语言中，条件和结论往往有;PowerPoint演示文稿;例;5.双条件词?(等值，Bico;联结词的注意事项;练习：填空;命题演算的合适公式;命题公式;命题公式(命题演算的合适公式,;例(P→(?(Q∨;例;PowerPoint演示文稿;命题符号化(翻译);PowerPoint演示文稿;练习;PowerPoint演示文稿;真值表;重言式/矛盾式/可满足式;重言式的性质;PowerPoint演示文稿;命题公式的等价与蕴含;常用逻辑恒等式;公式等价的证明;永真蕴含式(implicati;PowerPoint演示文稿;用真值表证明蕴含关系;例证明：┐Q∧(P→Q)?;例证明：(P→(Q→R));例证明：(P→(Q→R))∧;永真蕴含式;等价和蕴含的性质;证明;等价变换;代入规则和替换规则;简单地说，命题公式A(X1,X;PowerPoint演示文稿;等价变换（等值演算）;例;例;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;功能完备集及其他联结词;Q1：可定义多少个联结词？;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;联结词的归约;完备集;不完备集;其他联接词;对偶原理;对偶式;PowerPoint演示文稿;PowerPoint演示文稿;范式;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;例;例;主析取范式和主合取范式;PowerPoint演示文稿;PowerPoint演示文稿;三个变元八个小项的真值表;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;例求G=?(R?P)?(Q?;利用主范式证明两公式等价;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;例:求G=?(R?P)?(Q?;利用主范式判定公式类型;例：求公式A=(Q?(P?Q);PowerPoint演示文稿;PowerPoint演示文稿;练习;Answers;PowerPoint演示文稿;范式的应用;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;主析取范式的个数;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;PowerPoint演示文稿;推理规则和证明方法;PowerPoint演示文稿;如何判断由一个前提集合能否推出;推理规则;例：求证P→Q，Q→R，P;例：求证?(P∧Q)∧(Q∨R;例：用命题逻辑推理方法证明下面;PowerPoint演示文稿;例：求证P→(Q→S),?R∨;练习;例:A?B∧C,?B∨D;证明方法;附加前提证明法;PowerPoint演示文稿;例:A?B∧C,?B∨D;例：用形式推理方法证明下面推理;PowerPoint演示文稿;反证法（归谬法）;PowerPoint演示文稿;例P→Q,(?Q∨R)∧?R;例证明：R→?Q,;命题逻辑小结;原子命题不能细分吗？(能否对原;谓词和量词;例;练习;PowerPoint演示文稿;命题函数;Power