离散数学第2版全套教学课件.pptx

第1章 命题逻辑 Prop;数理逻辑 Mathematic;数理逻辑简史;数理逻辑简史;数理逻辑中的语言;学历类考试 MBA(MPA);公务员考试行测;命题逻辑 / 命题演算 Pro;学习要点;PowerPoint 演示文稿;§1-1-1 命题 真值 ;PowerPoint 演示文稿;§1-1-2 原子命题 复;复合命题 Compound P;§1-2-1 否定联结词 N;§1-2-1 否定联结词;§1-2-2 合取联结词 Co;PowerPoint 演示文稿;命题符号化之练习;§1-2-3 析取联结词 Di;PowerPoint 演示文稿;命题符号化之练习;§1-2-4 蕴含联结词 Im;PowerPoint 演示文稿;PowerPoint 演示文稿;命题符号化之练习;命题符号化之练习;总 结;§1-2-5 等价联结词 Bi;PowerPoint 演示文稿;命题符号化之练习;练习答案;逻辑联结词的优先级 Prece;§1-3-2 命题符号化;PowerPoint 演示文稿;PowerPoint 演示文稿;思 考;§1-3-1 命题公式的概念;§1-3-1 命题公式的概念;合式公式的递归式定义;PowerPoint 演示文稿;关于括号的约定;§1-3-2 命题公式的指派 ;§1-3-3 命题公式真值表;构造真值表的步骤;PowerPoint 演示文稿;§1-3-4 命题公式的类型;可满足式;真值表的用途;PowerPoint 演示文稿;公式类型之练习;§1-3-5 重言式的性质;PowerPoint 演示文稿;重言式的代入规则 用途 不;§1-4-1 等价关系 Log;PowerPoint 演示文稿;PowerPoint 演示文稿;PowerPoint 演示文稿;§1-4-2 基本等价式;§1-4-2 基本等价式;§1-4-2 基本等价式;思考：对偶;§1-4-3 置换规则;注意区别;PowerPoint 演示文稿;PowerPoint 演示文稿;PowerPoint 演示文稿;等价式之练习;PowerPoint 演示文稿;PowerPoint 演示文稿;PowerPoint 演示文稿;§1-5-1 析取范式与合取范;§1-5-1 析取范式与合取范;§1-5-1析取范式与合取范式;PowerPoint 演示文稿;PowerPoint 演示文稿;§1-5-2 主析取范式 ;§1-5-2 主析取范式 ;PowerPoint 演示文稿;PowerPoint 演示文稿;§1-5-2 主析取范式 ;主范式的求法1 公式化归法;PowerPoint 演示文稿;主范式的求法2 真值表法;PowerPoint 演示文稿;PowerPoint 演示文稿;由公式的主析取范式求主合取范式;重言式与矛盾式的主合取范式;1-5-3 主范式的应用;1-5-3 主范式的应用;练习;1-5-3 主范式的应用;1-5-3 主范式的应用;§1-6-1 蕴含关系;§1-6-2 证明蕴含关系的方;PowerPoint 演示文稿;§1-6-3 基本蕴含式;§1-7-1 论证的有效性;§1-7-1 论证的有效性;有效论证 无效论证 Val;PowerPoint 演示文稿;§1-7-2 有效论证的判断方;§1-7-2 有效论证的判断方;PowerPoint 演示文稿;PowerPoint 演示文稿;PowerPoint 演示文稿;§1-7-3 自然推理系统;推理规则①～③;推理规则④～⑦;推理规则⑧～?;推理规则?～?;§1-7-4 自然推理系统中构;§1-7-4 自然推理系统中构;方法一：直接证明法;PowerPoint 演示文稿;PowerPoint 演示文稿;PowerPoint 演示文稿;方法二：附加前提证明法;PowerPoint 演示文稿;方法三：归谬法/反证法;PowerPoint 演示文稿;本章小节;第2章 谓词逻辑 Predic;PowerPoint 演示文稿;§2-1-1 命题逻辑的局限;FROM LS TO LP;主要内容;学习要求 重点 难点;§2-1-2 谓词逻辑三要素;? 个体词;个体域（论域） Domain ;? 谓词 Predicate;PowerPoint 演示文稿;命题的谓词形式;??元谓词／??元命题函数 P;0元谓词（??=0）;??元谓词（??0）;示例1;示例2;PowerPoint 演示文稿;PowerPoint 演示文稿;??元谓词的全总论域;特性谓词;? 量词 Quantifier;量词的引入;全称量词（?） Univers;存在量词（?） Existen;存在唯一量词（?! 或?1） ;嵌套量词 Nested Qua;练习;优先级的比较 量词 vs 逻辑;几点注意;几点注意;几点注意;几点注意