东北大学离散数学复习总结(满分版).docx

方法、知识点总结（知识重点和考题重点）前三章重点内容（知识重点）：蕴含（条件）“→”的真值 P→Q的真值为假，当且仅当P为真，Q为 假。重言(永真)蕴涵式证明方法 1假设前件为真，推出后件也为真。 2假设后件为假，推出前件也为假。易错 等价公式和证明中运用重要公式重言蕴涵式：P∧Q = P or QP or Q = p∨QA-B =(A∧or∨C)-(B∧or∨C)其他是在此基础上演变等价公式：幂等律 P∧P=P P∨P=P 吸收律 P∧(P∨Q)=P P∨(P∧Q)=P 同一律 P∨F=P P∧T=P P∨T=T P∧F=FP - Q = (P-Q)∧(Q-P) = (P∧Q)∨(﹁P∧﹁Q)范式的写法（最方便就是真值表法）派遣人员、课表安排类算法：第一步：列出所有条件，写成符号公式第二步：用合取∧连接第三步：求上一步中的析取范式即可逻辑推理的写法直接推理论证：其中I公式是指 重言蕴涵式那部分其中E公式是指 等价公式部分条件论证: 形如 ~ , ~, ~ = R-S R P(附加条件)...S TR-S CP谓词基本内容注意：任意用— 连接 存在用 ∧ 连接量词的否定公式量词的辖域扩充公式量词分配公式其他公式带量词的公式在论域内的展开量词辖域的扩充公式 前束范式的写法 给定一个带有量词的谓词公式，