成人教育离散数学期末复习资料全集.docxVIP

成人教育离散数学期末复习资料全集

前言

离散数学作为计算机科学与技术、软件工程等相关专业的核心基础课程，其概念抽象、逻辑性强，对后续课程的学习及逻辑思维能力的培养至关重要。本次期末复习旨在帮助各位学员系统梳理离散数学的核心知识点，巩固学习成果，提升解题能力与应试技巧。本资料将围绕集合论、数理逻辑、代数系统及图论等主要模块展开，力求内容精炼、重点突出、条理清晰，希望能为大家的期末备考提供有力支持。请各位学员结合课堂笔记与教材，辅以适量练习，深入理解基本概念，掌握基本方法，以从容应对期末考试。

第一部分：数理逻辑

1.1命题与联结词

数理逻辑的研究始于对命题的分析。命题是指一个具有唯一真值的陈述句，要么为真（True），要么为假（False），二者必居其一。例如，“雪是白色的”是真命题，“今天下雨并且今天不下雨”是假命题，而“你好吗？”则不是命题。

联结词是构成复合命题的基本工具，常用的有以下五种：

*否定联结词（?）：表示“非”。若命题P为真，则?P为假；反之亦然。

*合取联结词（∧）：表示“并且”。复合命题P∧Q为真，当且仅当P与Q均为真。

*析取联结词（∨）：表示“或者”（可兼或）。复合命题P∨Q为假，当且仅当P与Q均为假。

*蕴涵联结词（→）：表示“如果…那么…”。复合命题P→Q只有当P为真且Q为假时才为假，其余情况均为真。理解这一点对于掌握逻辑推理至关重要，需特别注意“善意的推定”这一特性。

*等价联结词（?）：表示“当且仅当”。复合命题P?Q为真，当且仅当P与Q的真值相同（即P与Q同真或同假）。

复习要点：准确理解各联结词的逻辑含义，特别是蕴涵联结词的真值表；能够将自然语言描述的简单命题符号化。

1.2命题公式与等值演算

由命题常项、命题变项和联结词按照一定规则组成的符号串称为命题公式。命题公式的真值取决于其中变项的赋值。

等值演算是数理逻辑的重要内容，指利用已知的等值式（如双重否定律、幂等律、交换律、结合律、分配律、德摩根律、吸收律、零律、同一律、排中律、矛盾律、蕴含等值式P→Q??P∨Q、等价等值式P?Q?(P→Q)∧(Q→P)等），将一个命题公式变换为与之等值的另一个公式。等值演算的目的在于化简公式、判断公式类型（重言式、矛盾式、可满足式）以及证明等值式。

重言式（永真式）是指无论对其命题变项作何种赋值，其真值总为真的命题公式。矛盾式（永假式）则相反，其真值总为假。可满足式是指至少存在一组赋值使其真值为真的命题公式。

复习要点：熟记常用基本等值式；掌握运用等值演算化简公式和判断公式类型的方法；理解重言式、矛盾式、可满足式的概念及关系。

1.3范式

范式是命题公式的标准形式，有助于判定两个公式是否等值以及判定公式的类型。

*析取范式：由有限个简单合取式构成的析取式。

*合取范式：由有限个简单析取式构成的合取式。

*主析取范式：在析取范式的基础上，每个简单合取式都是极小项，且按一定顺序排列。极小项是指包含公式中所有命题变项或其否定一次且仅一次的简单合取式。

*主合取范式：在合取范式的基础上，每个简单析取式都是极大项，且按一定顺序排列。极大项是指包含公式中所有命题变项或其否定一次且仅一次的简单析取式。

任一命题公式（非矛盾式）都存在唯一的主析取范式；任一命题公式（非重言式）都存在唯一的主合取范式。通过主范式可以清晰地看出公式的成真赋值和成假赋值。

复习要点：理解极小项、极大项的概念及性质；掌握用等值演算法或真值表法求命题公式的主析取范式和主合取范式；利用主范式判断公式类型及进行等值判断。

1.4命题逻辑的推理理论

推理是从前提推出结论的思维过程。在命题逻辑中，有效推理是指如果前提都是真的，那么结论必然是真的。判断推理是否有效的方法主要有：

*真值表法：列出所有前提和结论的真值表，检查当所有前提为真时，结论是否一定为真。

*等值演算法：将前提合取，看是否能等值演算得到结论；或证明(前提1∧前提2∧…∧前提n)→结论为重言式。

*自然推理系统P：运用公认的推理规则（如前提引入规则、结论引入规则、置换规则、假言推理规则(ModusPonens)、附加规则、化简规则、拒取式规则(ModusTollens)、假言三段论规则、析取三段论规则、构造性二难规则等），从前提逐步推导出结论。

复习要点：理解有效推理的概念；熟练掌握自然推理系统P中的推理规则；能够运用自然推理系统进行推理证明，这是本章的重点和难点。

1.5谓词逻辑基本概念与一阶逻辑等值式

命题逻辑的局限性在于它不能刻画命题内部的逻辑结构。谓词逻辑引入了个体词、谓词和量词，从而能更精确地表达知识。

*个体词：表示独立存在的具体或抽象的客体。

*谓词：表示个体词的性质或个体词之间的