离散数学及其算法.pptVIP

离散数学及算法;;课程简介;课程简介;课程简介;课程简介;课程简介;教材及参考书;学习方式;考试成绩;内容安排;第一篇 数理逻辑;第一章 命题逻辑;1.1引言;;第一章 命题逻辑;1.2命题与命题逻辑联结词;1.2.1命题;1.2.1命题;1.2.1命题;;1.2命题与命题逻辑联结词;1.2.2逻辑联结词;否定——;否定——;否定——;合取——∧;合取——∧;合取——∧;析取——∨;析取——∨;析取——∨;异或——? ;单条件——→;单条件——→;单条件——→;双条件——?;双条件——?;1.2.2逻辑联结词;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;句子到逻辑表达式的翻译;第一章 命题逻辑;1.3命题变元和合式的公式;1.3命题变元和合式的公式;1.3命题变元和合式的公式;1.3命题变元和合式的公式;真值表;;逻辑难题;;应用;应用;应用;应用;公式的等价性;真值表判定公式等价性;;第一章 命题逻辑;1.4重言式和永真蕴含式;1.4.1有关重言式的讨论;1.4重言式和永真蕴含式;1.4.2重言式与恒等式;1.4.2重言式与恒等式;;基本的等价公式;基本的等价公式;基本的等价公式;1.4重言式和永真蕴含式;1.4.4代入规则和替换规则;1.4.4代入规则和替换规则;1.4.4代入规则和替换规则;1.4.4代入规则和替换规则;1.4.4代入规则和替换规则;1.4.4代入规则和替换规则;1.4重言式和永真蕴含式;1.4.3永真蕴含式的定义和常用永真蕴含式;证明永真蕴含式;证明永真蕴含式;常用永真蕴含式;等价式和蕴含式的关系;全功能联结词集合;全功能联结词集合;全功能联结词集合;全功能联结词集合;全功能联结词集合;全功能联结词集合;全功能联结词集合;全功能联结词集合;全功能联结词集合;第一章 命题逻辑;1.5对偶原理;1.5对偶原理;1.5对偶原理;1.5对偶原理;1.5对偶原理;1.5对偶原理;1.5对偶原理;1.5对偶原理;1.5对偶原理;1.5对偶原理;1.5对偶原理;第一章 命题逻辑;1.6范式和判定问题;1.6范式和判定问题;1.6.1析取范式和合取范式;1.6.1析取范式和合取范式;1.6.1析取范式和合取范式;1.6.1析取范式和合取范式;1.6.1析取范式和合取范式;1.6.1析取范式和合取范式;1.6.1析取范式和合取范式;1.6.1析取范式和合取范式;1.6.1析取范式与合取范式;1.6范式和判定问题;1.6.2主???取范式和主合取范式;主析取范式;主析取范式;主析取范式;主析取范式;主析取范式;主析取范式;主析取范式;主析取范式;主合取范式;主合取范式;;主合取范式;主合取范式;主合取范式;主合取范式;主合取范式;主合取范式;极小项和极大项的关系;主析取范式和主合取范式;主析取范式和主合取范式;主析取范式和主合取范式;主析取范式和主合取范式;主析取范式和主合取范式;应用;;;应用;应用;应用;;;第一章 命题逻辑;1.7命题演算的推理理论;有效结论;有效结论;证明有效结论的方法;真值表法;真值表法;例：一份统计表格的错误或者是由于材料不可靠，或者是由于计算有错误；这份统计表格的错误不是由于材料不可靠，所以这份统计表格是由于计算有错误。 解：设 P:一份统计表格的错误是由于材料不可靠。 Q:一份统计表格的错误是由于计算有错误。 于是问题可符号化为：(P?Q)??P?Q;真值表法;例：如果张老师来了，这个问题可以得到解答，如果李老师来了，这个问题也可以得到解答，总之张老师或李老师来了，这个问题就可以得到解答。 解：设P:张老师来了。 Q:李老师来了。 R:这个问题可以得到解答。 于是问题可符号化为： (P→R)∧(Q→R)∧(P∨Q) ?R;真值表法;直接证法;常用永真蕴含式;常用等价式;常用等价式;直接证法;直接证法;直接证法;直接证法;直接证法;间接证法;间接证法;例：证明R?S是前提P?(Q?S),?R?(P?Q)的有效结论 解：原证明即证:P?(Q?S), ?R?(P?Q)?R?S 1、 R P规则（附加前提） 2、 ?R?(P?Q) P规则 3、 P?Q T规则及1和2 4、 P T规则和3 5、 P?(Q?S) P规则 6、 Q?S T规则及4和5 7、 Q T规则和3