离散数学期末复习要点与重点-（最新版）.pdfVIP

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