离散数学历年考点归纳

简介：
本书系统总结了历年离散数学考试的重点和难点，提炼出关键知识点与解题技巧，旨在帮助学生高效备考。适合相关课程复习使用。 一、知识框架图 二、数理逻辑 1. 命题符号化 - 定义：命题是指能够判断真假的陈述句。 - 要素包括两个方面，即陈述句以及能被判定为真或假的能力。 - 符号化的步骤： 1) 对于难以理解的联结词或表达方式进行必要的文字翻译。 2) 确定所有原子命题并进行符号化处理。 3) 使用适当的逻辑连接符将这些原子命题组合起来，必要时加入括号以明确运算顺序。 2. 真值表 - 定义：设A是一个命题公式, P1, P2...为其中的变元，则真值表可以用来展示所有可能情况下该公式的真假情况。