离散数学习题集及详细解答.docxVIP

离散数学习题集及详细解答

总序

离散数学作为计算机科学与技术、软件工程、人工智能等众多学科的理论基础，其重要性不言而喻。它不仅培养学生的抽象思维能力和逻辑推理能力，更为后续专业课程的学习提供了必要的数学工具。本习题集旨在通过系统的练习，帮助学习者巩固离散数学的基本概念、基本理论和基本方法，提升分析问题和解决问题的能力。

本习题集内容涵盖离散数学的核心模块：数理逻辑、集合论、关系与函数。选题力求典型性与代表性，既有基础巩固题，也有少量拓展提高题。解答部分注重思路引导与过程规范，希望能为学习者提供清晰的指引。建议读者在使用本习题集时，先独立思考，尝试解答，再对照答案进行查漏补缺，如此方能事半功倍。

---

第一部分数理逻辑

内容提要与学习目标

数理逻辑是用数学方法研究思维规律和推理过程的学科，主要包括命题逻辑和谓词逻辑。本部分要求学习者掌握命题的表示与联结词的运算，理解命题公式的等价、蕴含关系及范式，熟练运用自然推理系统进行命题演算和谓词演算的推理证明。

习题

1.考虑如下命题：

P：今天天气晴朗。

Q：我们去郊游。

R：我们去看电影。

试用符号表示下列复合命题：

(1)如果今天天气晴朗，我们就去郊游，否则去看电影。

(2)今天天气晴朗，我们去郊游或者去看电影。

(3)我们去郊游当且仅当今天天气晴朗且我们不去看电影。

2.试判断下列命题公式的类型（重言式、矛盾式或可满足式），并简述理由。

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

(2)(P∨Q)→(P∨Q∨R)

(3)(P→Q)?(?Q→?P)

3.利用真值表法求命题公式(P→Q)∧R的主析取范式和主合取范式。

4.在命题逻辑自然推理系统中，构造下列推理的证明：

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

结论：Q

5.将下列自然语言语句符号化到谓词逻辑中。

(1)所有计算机系的学生都学过离散数学。

(2)存在一些自然数是偶数，但并非所有自然数都是偶数。

(3)每个人都有自己的爱好。

6.设个体域为整数集Z，函数f(x,y)=x+y，g(x,y)=x*y，谓词F(x,y)表示x=y。试用上述符号表示下列命题：

(1)对于任意整数x和y，x+y=y+x。

(2)存在整数x，使得对于任意整数y，x*y=x。

详细解答

1.解答：

这道题主要考察命题联结词的理解与符号化能力。我们需要根据自然语言的语义，选择合适的联结词将原子命题组合起来。

(1)“如果...就...，否则...”是一种常见的条件语句结构。“如果P就Q”表示为P→Q；“否则R”意味着当P不成立时R成立，即?P→R。两者合起来，整个命题表示为(P→Q)∧(?P→R)。也可以理解为(P∧Q)∨(?P∧R)，这两种形式是等价的。

(2)“P，Q或者R”这里“天气晴朗”是前提，后面是并列的两种选择。所以先肯定P，然后Q与R用析取联结，即P∧(Q∨R)。注意，这里不是(P∧Q)∨R，因为原句强调的是在天气晴朗的前提下的两个选择。

(3)“Q当且仅当P且非R”，“当且仅当”是双条件联结词?，“且”是合取联结词∧。所以表示为Q?(P∧?R)。

2.解答：

判断命题公式的类型，通常可以通过分析其真值表是否恒真（重言式）、恒假（矛盾式）或有真有假（可满足式），或者利用已知的等价式进行化简推导。

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

我们知道P→Q等价于?P∨Q。所以原式等价于(?P∨Q)∧P∧?Q。利用分配律，(?P∧P∧?Q)∨(Q∧P∧?Q)。由于P∧?P为假，Q∧?Q为假，所以整个式子为假∨假=假。因此，该公式为矛盾式。

(2)(P∨Q)→(P∨Q∨R)

设A=P∨Q，则原式变为A→(A∨R)。我们知道，对于任意命题A和R，A→(A∨R)总是真的，因为如果A为真，则A∨R为真；如果A为假，则条件式本身为真。因此，该公式为重言式。

(3)(P→Q)?(?Q→?P)

P→Q的逆否命题是?Q→?P，而一个命题与其逆否命题是等价的。所以(P→Q)等价于(?Q→?P)，因此它们的双条件式是重言式。

3.解答：

主析取范式和主合取范式是命题公式的标准形式，真值表法是求解它们的一种直观方法。主析取范式由所有成真赋值对应的极小项的析取组成，主合取范式由所有成假赋值对应的极大项的合取组成。

首先，列出命题公式(P→Q)∧R的真值表。该公式包含