离散数学总复习.pdfVIP

《离散数学》总复习 2018/6/20 大纲 • 命题逻辑 • 谓词逻辑 • 集合 • 关系与函数 • 图论 命题逻辑 • 等值式与等值演算。 • 基本的等值式，其中含：双重否定律、幂等律、交换律、结合律、 分配律、德·摩根律、吸收律、零律、同一律、排中律、矛盾律、 蕴含等值式、等价等值式、假言易位、等价否定等值式、归谬论。 • 与主析取范式及主合取范式有关的概念：简单合取式、简单析取 式、析取范式、合取范式、极小项、极大项、主析取范式、主合 取范式。 • 推理的形式结构与证明 命题逻辑学习要求 (1) • 深刻理解等值式的概念。 • 牢记基本等值式，这是等值演算的基础；能熟练地应用它们进行 等值演算。 • 了解简单析取式、简单合取式、析取范式、合取范式的概念。 • 深刻理解极小项及极大项的定义及它们的名称，及名称下角标与 成真赋值的关系。 • 熟练掌握求公式的主析取范式的方法。 • 熟练掌握由公式的主析取范式求公式的主合取范式的方法。 • 会用公式的主析取范式（主合取范式）求公式的成真赋值、成假 赋值。 命题逻辑学习要求 (2) • 理解并记住推理的形式结构的三种等价形式，即 ①{A ,A ,…,A }├B 1 2 k ②A ∧A ∧…∧A →B 1 2 k ③前提：A ,A ,…,A 1 2 k 结论：B 在判断推理是否正确时，用②；在推理系统中构造证明时用③。 • 熟练掌握判断推理是否正确的三种方法（真值表法，等值演算法，主析取范式法）。 • 牢记推理系统中的各条推理规则。 • 对于给定的正确推理，要求在推理系统中给出严谨的证明序列。 • 会用附加前提证明法、归谬法与归结证明法。 命题逻辑典型习题 • 用等值演算法证明重言式和矛盾式 • 用等值演算法证明等值式 • 求公式的主析取范式和主合取范式 • 用主范式判断公式类型及两个公式是否等值 • 求解实际问题 基本等值式（一） 双重否定律 AA 幂等律 AAA, AAA 交换律 ABBA, ABBA 结合律 (AB)CA(BC) (AB)CA(BC) 分配律 A(BC)(AB)(AC) A(BC) (AB)(AC) 德摩根律 (AB)AB (AB)AB 吸收律 A(AB)A, A(AB)A 基本等值式（二） 零律 A11, A00 同一律 A0A, A1A 排中律 AA1 矛盾律 AA0 蕴涵等值式 A→BAB 等价等值式 AB(A→B)(B→A ) 假言易位 A→BB→A 等价否定等值式 ABAB 归谬论 (A→B)(A→B) A 等值演算的应用：证明两个公式等值 例：证明：(p→q)→r  (p∨r)∧(┐q∨r) (p→q)→r  (┐p∨q)→r （蕴含等值式、置换规则）  ┐(┐p∨q)∨r （