离散数学重点考点梳理与习题集.docxVIP

离散数学重点考点梳理与习题集

离散数学作为现代数学的重要分支，是计算机科学与技术、软件工程等学科的理论基础。其核心思想在于运用离散结构来描述和解决问题，培养逻辑推理、抽象思维和问题建模能力。本文旨在梳理离散数学的重点考点，并辅以针对性习题，帮助读者系统掌握核心知识，提升解题技能。

一、数理逻辑(MathematicalLogic)

数理逻辑是研究推理形式结构和规律的科学，是离散数学的基石。

重点考点梳理

1.命题与联结词：

*命题：能判断真假的陈述句。

*联结词：否定(?)、合取(∧)、析取(∨)、蕴涵(→)、等价(?)。需深刻理解各联结词的逻辑含义，特别是蕴涵联结词“→”的真值表（仅当前件真后件假时为假）。

*命题公式与真值表：由命题变元和联结词构成的合法表达式。真值表是判断公式类型（重言式、矛盾式、可满足式）和进行等值演算的基础工具。

2.等值演算与范式：

*等值式：在任何赋值下真值都相同的公式。牢记基本等值式（如双重否定律、幂等律、交换律、结合律、分配律、德摩根律、吸收律、零律、同一律、排中律、矛盾律、蕴含等值式、等价等值式、假言易位、等价否定等值式、归谬论等）。

*等值演算：利用等值式化简公式、判断公式类型、证明等值式。

*范式：命题公式的标准形式。

*析取范式与合取范式：由简单合取式（简单析取式）通过析取（合取）联结词构成。

*主析取范式与主合取范式：在析取（合取）范式的基础上，要求每个简单合取式（简单析取式）包含所有命题变元或其否定，且按一定顺序排列。主范式具有唯一性，是判断公式等值、求成真赋值和成假赋值的有力工具。

3.命题逻辑的推理理论：

*推理的形式结构：若(A?∧A?∧...∧A?)→B为重言式，则称由前提A?,A?,...,A?推出结论B的推理正确。

*推理规则：掌握P规则（前提引入）、T规则（结论引入，即由前面公式推出的结论）、置换规则，以及常用的推理定律（如假言推理、拒取式、析取三段论、假言三段论、等价三段论、构造性二难等）。

*构造证明法：直接证明法、附加前提证明法（CP规则，用于结论为蕴涵式）、归谬法（反证法，假设结论否定为真，推出矛盾）。

4.一阶逻辑（谓词逻辑）：

*基本概念：个体词（个体常项、个体变项、个体域、全总个体域）、谓词（一元谓词、多元谓词）、量词（全称量词?、存在量词?）。

*一阶逻辑合式公式（谓词公式）：项、原子公式、合式公式的递归定义。理解量词的辖域、约束变元与自由变元。

*一阶逻辑的解释与赋值：给定解释和赋值后，谓词公式的真值可唯一确定。

*一阶逻辑等值式与置换规则：量词否定等值式、量词辖域收缩与扩张等值式、量词分配等值式。

*一阶逻辑的推理理论：除命题逻辑的推理规则外，增加量词有关的推理规则（全称指定US、全称推广UG、存在指定ES、存在推广EG），注意这些规则的使用条件。

习题

1.概念辨析与基础计算

*指出下列语句中哪些是命题：

1.请勿吸烟！

2.明天会下雨吗？

3.雪是黑色的。

4.x+y=5。

*设P:今天天气晴朗,Q:我们去郊游。将下列命题符号化：

1.如果今天天气晴朗，我们就去郊游。

2.今天天气晴朗，但是我们没去郊游。

3.我们去郊游当且仅当今天天气晴朗。

*用真值表判断公式(P∨Q)→(P∧Q)的类型，并求出其主析取范式和主合取范式。

2.等值演算与推理证明

*用等值演算法证明：?(P?Q)?(P∨Q)∧?(P∧Q)。

*在命题逻辑中构造下面推理的证明：

前提：P→(Q∨R),?S→?R,P∧?S

结论：Q

*在一阶逻辑中，将下列命题符号化：

1.所有的人都会呼吸。

2.有些人喜欢数学。

*在一阶逻辑中构造下面推理的证明：

前提：?x(F(x)→G(x)),?xF(x)

结论：?xG(x)

（习题答案与提示见文末）

二、集合论(SetTheory)

集合论是现代数学的基础，离散数学中的许多概念都建立在集合之上。

重点考点梳理

1.集合的基本概念与表示：

*集合：具有某种共同属性的对象的全体。元素与集合的属于关系（∈）。

*集合的表示方法：列举法、描述法、文氏图。

*特殊集合：空集(?)、全集(E)、集合的基数（元素个数，|A|）。

*集合间的关系：包含(?)、真包含(?)、相等(=)。掌握集合相等的证明方法（双向包含）。

2.集合的基本运算：

*并(∪)、交(∩)、