江苏海洋大学20-21-2离散数学复习.docxVIP

江苏海洋大学20-21-2离散数学复习

离散数学作为计算机相关专业的基础理论课程，其概念抽象、逻辑性强，对后续课程学习及逻辑思维培养至关重要。为帮助同学们高效复习，本文结合课程特点与常见考点，梳理核心知识模块，提供复习建议，力求助力大家巩固基础、提升解题能力。

一、命题逻辑与谓词逻辑

这部分是数理逻辑的核心，也是理解后续内容的基础。

核心内容：

1.命题与联结词：深刻理解命题的概念及其真值，熟练掌握否定、合取、析取、蕴涵、等价等基本逻辑联结词的定义、真值表及运算规律。尤其要注意“蕴涵”联结词的逻辑含义，以及不同联结词之间的优先级顺序。

2.命题公式与赋值：理解命题公式的递归定义，掌握公式的真值表构造方法，能够判断公式的类型（重言式、矛盾式、可满足式）。

3.等值演算：牢记基本的等值式（如双重否定律、幂等律、交换律、结合律、分配律、德摩根律、吸收律、蕴涵等值式、等价等值式等），并能运用这些等值式进行公式的化简与证明。

4.范式：理解合取范式、析取范式、主合取范式和主析取范式的概念。掌握将命题公式转化为主析取范式和主合取范式的方法（真值表法、等值演算法），并能根据主范式判断公式的类型、进行公式间的等价性判断及解决实际逻辑推理问题。

5.命题逻辑的推理理论：熟练掌握推理的形式结构，理解有效推理的概念。牢记P规则、T规则以及常用的推理定律（如假言推理、拒取式、析取三段论