电大离散数学期末复习重点题.docxVIP

电大离散数学期末复习重点题

离散数学作为计算机科学与技术领域的基础学科，其概念抽象、逻辑性强，一直是电大学员期末复习的难点。本文旨在梳理期末复习的核心知识点与重点题型，通过典型例题的解析，帮助学员巩固概念、掌握解题方法，提升应试能力。复习过程中，建议结合教材例题与课后习题，注重理解而非死记硬背，方能举一反三。

一、数理逻辑：推理的基石

数理逻辑是离散数学的开篇内容，主要研究命题及其推理。这部分内容是后续学习的基础，也是期末考试的重点。

（一）命题逻辑基本概念与等值演算

核心知识点：

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

*联结词：否定（?）、合取（∧）、析取（∨）、蕴含（→）、等价（?），需熟练掌握其真值表。

*命题公式：由命题变元和联结词构成的合法表达式。

*等值演算：利用基本等值式（如双重否定律、幂等律、交换律、结合律、分配律、德摩根律、吸收律、蕴含等值式、等价等值式等）对命题公式进行化简或证明两个公式等值。

*范式：合取范式与析取范式，特别是主合取范式与主析取范式。通过真值表法或等值演算法求取主范式，是命题逻辑的重要考点。

重点题型与解析：

1.例题：用等值演算法证明命题公式?(P∨Q)→(?P∧?Q)是重言式。

解析：要证明一个公式是重言式，即证明其所有赋值下均为真。我们可以从等值演算入手，将其化简为“1”（真）。

证明：?(P∨Q)→(?P∧?Q)

根据蕴含等值式A→B??A∨B，可得：

???(P∨Q)∨(?P∧?Q)

根据双重否定律??A?A，可得：

?(P∨Q)∨(?P∧?Q)

此时，观察到(?P∧?Q)是?(P∨Q)的德摩根律形式，但此处是析取。我们可以将(P∨Q)看作一个整体，或者对(?P∧?Q)进行展开。

另一种思路：对(P∨Q)∨(?P∧?Q)使用分配律（对∨分配∧）：

?(P∨Q∨?P)∧(P∨Q∨?Q)

因为P∨?P?1，Q∨?Q?1，所以：

?(1∨Q)∧(P∨1)

又因为1∨A?1，所以：

?1∧1?1

即该公式等值于“真”，因此是重言式。

2.例题：求命题公式(P→Q)∧R的主析取范式和主合取范式。

解析：主析取范式是极小项的析取，主合取范式是极大项的合取。通常可先通过真值表法求出成真赋值或成假赋值，再写出对应的范式；或通过等值演算得到。

方法一（等值演算）：

首先将蕴含联结词化为基本联结词：

(P→Q)∧R?(?P∨Q)∧R

现在进行展开，求主析取范式，需要合取式中的每一项都包含所有命题变元（P,Q,R）。

?(?P∧R)∨(Q∧R)（分配律）

对?P∧R，缺少Q：??P∧(?Q∨Q)∧R?(?P∧?Q∧R)∨(?P∧Q∧R)

对Q∧R，缺少P：?(?P∨P)∧Q∧R?(?P∧Q∧R)∨(P∧Q∧R)

合并同类项（?P∧Q∧R出现两次）：

?(?P∧?Q∧R)∨(?P∧Q∧R)∨(P∧Q∧R)

这就是主析取范式，对应的极小项编码为m1(001)、m3(011)、m7(111)，可记为∑(1,3,7)。

主合取范式可由主析取范式的成假赋值得到。该公式含3个变元，共有8个赋值。成真赋值为001,011,111，故成假赋值为000,010,100,101,110。对应的极大项编码为M0,M2,M4,M5,M6。

因此主合取范式为：(P∨Q∨R)∧(P∨?Q∨R)∧(?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨?Q∨R)，可记为∏(0,2,4,5,6)。

（二）命题逻辑的推理理论

核心知识点：

*推理的形式结构：A1∧A2∧...∧Ak→B。若该式为重言式，则推理有效。

*推理规则：P规则（前提引入）、T规则（结论引入，即由前提或中间结论通过等值式或蕴含式推出新结论）、CP规则（附加前提法，用于结论为蕴含式时）。

*推理方法：直接证明法、附加前提法、归谬法（反证法）。

重点题型与解析：

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

前提：P∨Q，P→?R，S→T，?S→R，?T

结论：Q

解析：这类题目需要逐步应用推理规则，从前提推出结论。

证明：

(1)?T前提引入(P)

(2)S→T前提引入(