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

电大离散数学期末复习题

同学们，离散数学作为计算机科学与技术等专业的核心基础课程，其概念抽象、逻辑性强，一直是大家学习的难点，也是期末考试的重点。临近考试，如何高效复习，抓住重点，突破难点，是大家普遍关心的问题。本文结合电大离散数学课程的特点和历年考试情况，精选了一些具有代表性的复习题，并辅以详细解析，希望能帮助大家巩固所学知识，提升解题能力，顺利通过考试。

一、数理逻辑

数理逻辑是离散数学的基石，主要研究命题、联结词、谓词、量词以及推理规则。这部分内容在考试中通常以命题符号化、真值表、等值演算、范式、推理证明等形式出现。

核心知识点回顾：

*命题与联结词：掌握命题的定义，熟练运用否定、合取、析取、蕴涵、等价等联结词。

*真值表：会构造命题公式的真值表，并利用真值表判断公式的类型（重言式、矛盾式、可满足式）及进行简单推理。

*等值演算：牢记基本的等值式，能熟练运用等值演算法化简公式或证明等值式。

*范式：理解合取范式和析取范式的概念，掌握求主合取范式和主析取范式的方法（真值表法、等值演算法）。

*命题逻辑的推理理论：掌握自然推理系统中的推理规则（P规则、T规则、CP规则等），能进行有效推理证明。

*谓词逻辑：理解个体词、谓词、量词的概念，掌握谓词公式的符号化，以及量词的消去与引入规则。

精选例题：

例题1：命题符号化

将下列自然语言命题符号化：

(1)只要今天天气好，我就去公园散步。

(2)只有努力学习，才能取得好成绩。

(3)并非所有人都喜欢吃辣椒。

分析：命题符号化的关键在于准确理解自然语言中的逻辑关系，选择合适的联结词。对于蕴涵联结词“→”，要注意其前后件的逻辑关系，“只要P就Q”是P→Q，“只有P才Q”是Q→P。对于量词，要注意全称量词“?”和存在量词“?”的使用，以及“并非所有”对应“存在不”，“并非存在”对应“所有不”。

解答：

(1)设P：今天天气好，Q：我去公园散步。符号化为：P→Q。

(2)设P：努力学习，Q：取得好成绩。符号化为：Q→P。(或?P→?Q，两者等值)

(3)设M(x)：x是人，F(x)：x喜欢吃辣椒。符号化为：??x(M(x)→F(x))（或?x(M(x)∧?F(x))，两者等值）。

例题2：等值演算与范式

(1)用等值演算法判断公式(P→Q)∧P→Q的类型。

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

分析：

(1)判断公式类型，可以通过等值演算将其化简为最简形式，看是否为重言式（永真式）、矛盾式（永假式）或可满足式。

(2)求主析取范式和主合取范式，方法有多种。等值演算法是常用方法，即先将公式化为析取范式（合取范式），再利用同一律、排中律、矛盾律等扩展为极小项（极大项）的析取（合取）。

解答：

(1)(P→Q)∧P→Q

?(?P∨Q)∧P→Q（蕴涵等值式）

??[(?P∨Q)∧P]∨Q（蕴涵等值式）

??(?P∨Q)∨?P∨Q（德摩根律）

?(P∧?Q)∨?P∨Q（德摩根律）

?(P∨?P)∧(?Q∨?P)∨Q（分配律，对第一个析取项与?P进行分配）

?1∧(?P∨?Q)∨Q（排中律）

?(?P∨?Q)∨Q（同一律）

??P∨(?Q∨Q)（结合律）

??P∨1（排中律）

?1（零律）

该公式为重言式。

(2)(P∨Q)→R

??(P∨Q)∨R（蕴涵等值式）

?(?P∧?Q)∨R（德摩根律）这是析取范式。

求主析取范式，需要将其表示为极小项的析取。

(?P∧?Q)=(?P∧?Q∧(R∨?R))=(?P∧?Q∧R)∨(?P∧?Q∧?R)（添加缺少的命题变元R）

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

合并同类项，得：

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

即m0∨m1∨m3∨m5∨m7(假设P、Q、R的次序为P、Q、R，极小项脚标按二进制数PQR取值)。

主合取范式可由主析取范式的编码求出，即剩余的极大项的合取：M2∧M4∧M6。

也可直接计算：

(?P∧?Q)∨R

?(?P∨R)∧(?Q∨R)（分配律）这是合取范式。

?P∨R=?P