离散数学期末复习要点重点.pdfVIP

离散数学期末复习要点与重点大纲 （复习以课本和笔记为主。 文中标红为需重点掌握的， 祝大家都 能取得好成绩！） 第 1 章 命题逻辑 复习要点 1．理解命题概念，会判别语句是不是命题．理解五个基本联结 词：否定 P、析取 、合取 、条件 、和双条件 及其真值 表，理解其他联结词的定义及基本等价式， 会将简单命题符号化． 具有确定真假意义的陈述句称为命题． 命题必须具备：其一，语句是陈述句；其二，语句有唯一确 定的真假意义 . 2．理解公式的概念 (公式、 赋值、 成真指派和成假指派 )和公式真 值表的构造方法． 能熟练地作公式真值表． 理解永真式和永假式 概念，掌握其判别方法． 判定命题公式类型的方法：其一是真值表法，其二是等价演 算法 . 3．了解公式等价概念，掌握公式的重要等价式和判断两个公 式是否等价的有效方法： 等价演算法、 列真值表法和主范式方法． 4．理解析取范式和合取范式、极大项和极小项、主析取范式和 主合取范式的概念， 熟练掌握它们的求法 （真值表法和等价推导 法）． 命题公式的范式不惟一，但主范式是惟一的． 命题公式 A 有 n 个命题变元， A 的主析取范式有 k 个小项， 有 m 个大项，则 n k m 2 于是有 n n (1) 是永真式 =2 ( =0) ； (2) 是永假式 ＝2 ( =0) ； A k m A m k 5．了解 是前提集合 { , ,…, } 的有效结论或由 , , …, C A A Am A A Am 1 2 1 2 逻辑地推出 C 的概念． 要理解并掌握推理理论的规则、 重言蕴含 式和等价式，掌握命题公式的证明方法：真值表法、直接证法、 间接证法． 重点 ：命题与联结词，真值表，主析取 (合取 )范式，命题演算 1 / 9 的推理理论 . 第 2 章 谓词逻辑 复习要点 1．理解谓词、 量词、个体词、 个体域， 会将简单命题符号化． 原子命题分成个体词和谓词，个体词可以是具体事物或抽象 的概念， 分个体常项和个体变项． 谓词用来刻划个体词的性质或 之间的关系． 量词分全称量词 ，存在量词 . 命题符号化注意：使用全称量词 ，特性谓词后用 ；使用 存在量词 ，特性谓词后用 ． 2．了解原子公式、谓词公式、变元 (约束变元和自由变元