离散数学期末复习点与重点.docVIP

离散数学期末复习要点与重点大纲 （复习以课本和笔记为主。文中标红为需重点掌握的，祝大家都能取得好成绩！） 第1章 命题逻辑 复习要点 1．理解命题概念，会判别语句是不是命题．理解五个基本联结词：(、合取(、条件(、和双条件(及其真值表，理解其他联结词的定义及基本等价式，会将简单命题符号化． 具有确定真假意义的陈述句称为命题． 命题必须具备：其一，语句是陈述句；其二，语句有唯一确定的真假意义. 2．理解公式的概念(公式、赋值、成真指派和成假指派)和公式真值表的构造方法．能熟练地作公式真值表．理解永真式和永假式概念，掌握其判别方法． 判定命题公式类型的方法：其一是真值表法，其二是等价演算法. 3．了解公式等价概念，掌握公式的重要等价式和判断两个公式是否等价的有效方法：等价演算法、列真值表法和主范式方法． 4．理解析取范式和合取范式、极大项和极小项、主析取范式和主合取范式的概念，熟练掌握它们的求法（真值表法和等价推导法）． 命题公式的范式不惟一，但主范式是惟一的． 命题公式A有n个命题变元，A的主析取范式有k个小项，有m个大项，则 于是有 (1) A是永真式(k=2n(m=0)； (2) A是永假式(m＝2n(k=0)； 5．了解C是前提集合{A1,A2,…,Am}的有效结论或由A1, A2, …, Am 逻辑地推出C的概念．要理解并掌握推理理