大连理工大学软件学院离散数学习题答案

离散数学习题答案习题一及答案：（P14-15）14、将下列命题符号化：（5）李辛与李末是兄弟解：设p ：李辛与李末是兄弟，则命题符号化的结果是p （6）王强与刘威都学过法语解：设p ：王强学过法语；q ：刘威学过法语；则命题符号化的结果是p q∧（9）只有天下大雨，他才乘班车上班解：设p ：天下大雨；q ：他乘班车上班；则命题符号化的结果是q p →（11）下雪路滑，他迟到了解：设p ：下雪；q ：路滑；r ：他迟到了；则命题符号化的结果是()p q r∧→15、设p ：2+3=5. q ：大熊猫产在中国. r ：太阳从西方升起.求下列复合命题的真值：（4）()(())p q r p q r ∧∧⌝↔⌝∨⌝→解：p=1，q=1，r=0，，()(110)1p q r ∧∧⌝⇔∧∧⌝⇔(())((11)0)(00)1p q r ⌝∨⌝→⇔⌝∨⌝→⇔→⇔()(())111p q r p q r ∴∧∧⌝↔⌝∨⌝→⇔↔⇔19、用真值表判断下列公式的类型：（2）()p p q→⌝→⌝解：列出公式的真值表，如下所示：p qp⌝q⌝()p p →⌝()p p q→⌝→⌝001111011010100101110001由真值表可以看出公式有3个成真赋值，故公式是非重言式的可满足式。

20、求下列公式的成真赋值：（4）()p q q⌝∨→解：因为该公式是一个蕴含式，所以首先分析它的成假赋值，成假赋值的条件是：()10p q q ⌝∨⇔⎧⎨⇔⎩⇒0p q ⇔⎧⎨⇔⎩所以公式的成真赋值有：01，10，11。

习题二及答案：（P38）5、求下列公式的主析取范式，并求成真赋值：（2）()()p q q r ⌝→∧∧解：原式()p q q r ⇔∨∧∧q r ⇔∧()p p q r ⇔⌝∨∧∧，此即公式的主析取范式，()()p q r p q r ⇔⌝∧∧∨∧∧37m m ⇔∨所以成真赋值为011，111。

*6、求下列公式的主合取范式，并求成假赋值：（2）()()p q p r ∧∨⌝∨解：原式，此即公式的主合取范式，()()p p r p q r ⇔∨⌝∨∧⌝∨∨()p q r ⇔⌝∨∨4M ⇔所以成假赋值为100。

《离散数学》课后习题答案《离散数学》简介1、集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数2、图论部分：图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用3、代数结构部分：代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数4、组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理5、数理逻辑部分：命题逻辑、一阶谓词演算、消解原理离散数学被分成三门课程进行教学，即集合论与图论、代数结构与组合数学、数理逻辑。

教学方式以课堂讲授为主，课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。

《离散数学》学科内容随着信息时代的到来，工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化，离散数学的重要性逐渐被人们认识。

离散数学课程所传授的思想和方法，广泛地体现在计算机科学技术及相关专业的诸领域，从科学计算到信息处理，从理论计算机科学到计算机应用技术，从计算机软件到计算机硬件，从人工智能到认知系统，无不与离散数学密切相关。

由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系，因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型;又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。

离散数学是传统的逻辑学，集合论(包括函数)，数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数(包括代数系统，群、环、域等)，布尔代数，计算模型(语言与自动机)等汇集起来的一门综合学科。

离散数学的应用遍及现代科学技术的诸多领域。

离散数学也可以说是计算机科学的基础核心学科，在离散数学中的有一个著名的典型例子-四色定理又称四色猜想，这是世界近代三大数学难题之一，它是在1852年，由英国的一名绘图员弗南西斯格思里提出的，他在进行地图着色时，发现了一个现象，“每幅地图都可以仅用四种颜色着色，并且共同边界的国家都可以被着上不同的颜色”。

离散数学课后习题答案1. 第一章习题答案1.1 习题一答案1.1.1 习题一.1 答案根据题意，设集合A和B如下：Set A and BSet A and B在此情况下，我们可以得出以下结论：•A的幂集为{ {}, {a}, {b}, {a, b} }；•B的幂集为{ {}, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3} }；•A和B的笛卡尔积为{ (a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3) }。

因此，习题一.1的答案为：•A的幂集为{ {}, {a}, {b}, {a, b} }；•B的幂集为{ {}, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3} }；•A和B的笛卡尔积为{ (a, 1), (a, 2), (a, 3), (b, 1), (b,2), (b, 3) }。

1.1.2 习题一.2 答案根据题意，集合A和B如下所示：Set A and BSet A and B根据集合的定义，习题一.2要求我们判断以下命题的真假性：a)$A \\cap B = \\{ 2, 3 \\}$b)$\\emptyset \\in B$c)$A \\times B = \\{ (a, 2), (b, 1), (b, 3) \\}$d)$B \\subseteq A$接下来，我们来逐个判断这些命题的真假性。

a)首先计算集合A和B的交集：$A \\cap B = \\{ x\\,|\\, x \\in A \\, \\text{且} \\, x \\in B \\} = \\{ 2, 3 \\}$。

因此，命题a)为真。

b)大家都知道，空集合是任意集合的子集，因此空集合一定属于任意集合的幂集。

根据题意，$\\emptyset \\in B$，因此命题b)为真。

c)计算集合A和B的笛卡尔积：$A \\times B = \\{ (x, y) \\,|\\, x \\in A \\, \\text{且} \\, y \\in B \\} = \\{ (a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3) \\}$。

习题3.71. 列出关系}6|{=⋅⋅⋅∈><+d c b a d c b a d c b a 且，，，，，，Z 中所有有序4元组。

解}6|{=⋅⋅⋅∈><+d c b a d c b a d c b a 且，，，，，，Z ,2,1,3,1,3,1,2,1,2,3,1,1,3,2,1,1,1,1,1,6,1,1,6,1,1,6,1,1,6,1,1,1{><><><><><><><><= ><><><><><><><><2,1,1,3,3,1,1,2,1,2,1,3,1,3,1,2,1,1,2,3,1,1,3,2,1,2,3,1,1,3,2,12. 列出二维表3.18所表示的多元关系中所有5元组。

假设不增加新的5元组，找出二维表3.18所有的主键码。

解 略3. 当施用投影运算5,3,2π到有序5元组><d c b a ，，，时你能得到什么？解 略4. 哪个投影运算用于除去一个6元组的第一、第二和第四个分量？ 解 略5. 给出分别施用投影运算4,2,1π和选择运算Nadir航空公司＝σ到二维表3.18以后得到的表。

解5,3,2πNadir 航空公司＝6. 把连接运算3J 用到5元组二维表和8元组二维表后所得二维表中有序多元组有多少个分量？解 略7. 构造把连接运算2J 用到二维表3.19和二维表3.20所得到的二维表。

解 零件供应商二维表与零件数量和颜色代码二维表连接运算2结果第4章：群、环、域习题4.11. 判断下列集合对所给的二元运算是否封闭。

（1）集合}|{Z Z ∈⨯=z z n n 关于普通加法和普通乘法运算，其中n 是正整数。

（2）集合}12|{+∈-==Z n n x x S ，关于普通加法和普通乘法运算。

《离散数学》试题及标准答案解析⼀、填空题1设集合A,B，其中A＝{1,2,3}, B= {1,2}, 则A - B＝____________________; ρ(A) - ρ(B)＝ __________________________ .2. 设有限集合A, |A| = n, 则 |ρ(A×A)| = __________________________.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________.4. 已知命题公式G＝?(P→Q)∧R，则G的主析取范式是_________________________________________________________________________________________.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B＝_________________________; A?B＝_________________________;A－B＝ _____________________ .7. 设R是集合A上的等价关系，则R所具有的关系的三个特性是______________________, ________________________, _______________________________.8. 设命题公式G＝?(P→(Q∧R))，则使公式G为真的解释有__________________________，_____________________________, __________________________.9. 设集合A＝{1,2,3,4}, A上的关系R1= {(1,4),(2,3),(3,2)}, R2= {(2,1),(3,2),(4,3)}, 则R1?R2 = ________________________,R2? R1 =____________________________, R12 =________________________.10. 设有限集A, B，|A| = m, |B| = n, 则| |ρ(A?B)| = _____________________________. 11设A,B,R是三个集合，其中R是实数集，A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = __________________________ , B-A =__________________________ , A∩B = __________________________ , .13.设集合A＝{2, 3, 4, 5, 6}，R是A上的整除，则R以集合形式(列举法)记为__________________________________________________________________.14. 设⼀阶逻辑公式G = ?xP(x)→?xQ(x)，则G的前束范式是__________________________ _____.16. 设谓词的定义域为{a, b},将表达式?xR(x)→?xS(x)中量词消除，写成与之对应的命题公式是__________________________________________________________________________.17. 设集合A＝{1, 2, 3, 4}，A上的⼆元关系R＝{(1,1),(1,2),(2,3)}, S＝{(1,3),(2,3),(3,2)}。

可编辑修改精选全文完整版离散数学习题答案习题一：P121.判断下列句子哪些是命题？在是命题的句子中，哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？(1)中国有四大发明。

(2)5是无理数。

(3)3是素数或4是素数。

(4)x2+3<5，其中x是任意实数。

(5)你去图书馆吗？(6)2与3都是偶数。

(7)刘红与魏新是同学。

(8)这朵玫瑰花多美丽呀！(9)吸烟请到吸烟室去！(10)圆的面积等于半径的平方乘π。

(11)只有6是偶数，3才能是2的倍数。

(12)8是偶数的充分必要条件是8能被3整除。

(13)2025年元旦下大雪。

1、2、3、6、7、10、11、12、13是命题。

在上面的命题中，1、2、7、10、13是简单命题；1、2、10是真命题；7的真值现在还不知道。

2.将上题中是简单命题的命题符号化。

(1)p：中国有四大发明。

(2)q：5是无理数。

(7)r：刘红与魏新是同学。

(10)s：圆的面积等于半径的平方乘π。

(1)t：2025年元旦下大雪。

3.写出下列各命题的否定式，并将原命题及其否定式都符号化，最后指出各否定式的真值。

“5是有理数”的否定式是“5不是有理数”。

解：原命题可符号化为：p：5是有理数。

其否定式为：非p。

非p的真值为1。

4.将下列命题符号化，并指出真值。

(1)2与5都是素数。

(2)不但π是无理数，而且自然对数的底e也是无理数。

(3)虽然2是最小的素数，但2不是最小的自然数。

(4)3是偶素数。

(5)4既不是素数，也不是偶数。

a：2是素数。

b：5是素数。

c：π是无理数。

d：e是无理数。

f：2是最小的素数。

g：2是最小的自然数。

h：3是偶数。

i：3是素数。

j：4是素数。

k：4是偶数。

解：（1）到（5）的符号化形式分别为a∧b，c∧d，f∧非g，h∧i，非j∧非k。

这五个复合命题的真值分别为1，1，1，0，0。

5.将下列命题符号化，并指出真值。

a：2是偶数。

b：3是偶数。

c：4是偶数。

离散数学综合练习题答案一、 判断下列命题是否正确（1）错误； （2）错误； （3）正确； （4）错误； （5）错误； （6）正确； （7）错误； （8）正确； （9）正确； （10）错误； （11）正确；（12）正确；（13）正确；（14）正确；（15）正确； （16）正确；（17）正确；（18）正确；（19）正确；（20）正确； （21）正确；（22）错误；（23）正确；（24）正确；（25）正确； （26）正确；（27）正确；（28）正确；（29）正确；（30）错误； （31）正确；（32）错误；（33）错误；（34）错误；（35）错误； （36）正确；（37）正确；（38）正确；（39）错误；（40）错误.二、 填空题（1）n2； （2）}}}{,{}},{{},{,{φφφφφ； （3）3； （4）40； (5)12~~ρρο (6) ρρρ⊆ο； (7)a 称c 为外祖父； (8)5，9；(9)[赵]= {赵茵，赵萍}，[钱]= {钱小滨，钱浩，钱钰}，[孙]={ 孙丽春}， [李]= {李靖华，李秀娟，李惠芝，李莉}. (10)},,},{,}{},{,},{,}{},{,,,}{,,}{,,,{><><><><><><><><><=A A A b b b A a a a A b a φφφφφρ(11) S ,φ； (12) 1和2；(13)>⊕<6},0{，>⊕<6},3,0{，>⊕<6},4,2,0{，>⊕<66,I ；(14) x -； (15) –2； (16) 1，1； (17) b x a =⋅，b a y =⋅； (18) c b =； (19) e ； (20) 0； (21) 5； (22) m-n ＋1； (23) 1； (24) 0； (25) 1； (26) 2)1(-n n ； (27) m 2； (28) 11； (29) 1-k ； (30) 偶数； (31) q p ∧； (32) q p →⌝； (33) q p ⌝→⌝； (34) 0； (35) 0； (36) n22； (37))()()(21n a F a F a F ∨∨∨Λ； (38) ))()(()()((x G x F x N x ∨→∀； (39) )()(a G a F ∧； (40) ))()()(())()()((x G x F x x F x G x ⌝∧∃∧→∀.三、 选择题（1） A ； （2） C ； （3） C ； （4） B ； （5） B ； （6） A ； （7） B ； （8） D ； （9） B ； （10）B ； （11）B ； （12）D ； （13）B ； （14）D ； （15）D ； （16）C ； （17）C ； （18）D ； （19）C ； （20）A ； （21）A ； （22）B ； （23）B ； （24）C ； （25）B ； （26）B ； （27）B ； （28）A ； （29）B ； （30）C ； （31）B ； （32）C ； （33）B ； （34）A ； （35）A ； （36）D ； （37）D ； （38）B ； （39）B ； （40）B.四、 解答题1. 解 （1）ρ的关系矩阵为⎪⎪⎪⎪⎪⎭⎫⎝⎛=1100110000110011ρM （2）从ρ的关系矩阵可知：ρ是自反的和对称的。

第1章习题解答1．1 除（3），（4），（5），（11）外全是命题，其中，（1），（2），（8），（9），（10），（14），（15）是简单命题，（6），（7），（12），（13）是复合命题。

分析首先应注意到，命题是陈述句，因而不是陈述句的句子都不是命题。

本题中，（3）为疑问句，（5）为感叹句，（11）为祈使句，它们都不是陈述句，所以它们都不是命题。

其次，（4）这个句子是陈述句，但它表示的判断结果是不确定。

又因为（1），（2），（8），（9），（10），（14），（15）都是简单的陈述句，因而作为命题，它们都是简单命题。

（6）和（7）各为由联结词“当且仅当”联结起来的复合命题，（12）是由联结词“或”联结的复合命题，而（13）是由联结词“且”联结起来的复合命题。

这里的“且”为“合取”联结词。

在日常生活中，合取联结词有许多表述法，例如，“虽然……，但是… … ”、“不仅……，而且… … ”、“一面……，一面… … ”、“……和… … ”、“……与……”等。

但要注意，有时“和”或“与”联结的是主语，构成简单命题。

例如，（14）、（15）中的“与”与“和”是联结的主语，这两个命题均为简单命题，而不是复合命题，希望读者在遇到“和”或“与”出现的命题时，要根据命题所陈述的含义加以区分。

1．2 （1）p : 2是无理数，p 为真命题。

（2）p : 5能被2 整除，p 为假命题。

（6）p →q 。

其中，p : 2是素数，q：三角形有三条边。

由于p 与q 都是真命题，因而p →q 为假命题。

（7）p →q ，其中，p：雪是黑色的，q：太阳从东方升起。

由于p 为假命题，q 为真命题，因而p →q 为假命题。

（8）p : 2000年10 月1 日天气晴好，今日（1999 年2 月13 日）我们还不知道p 的真假，但p 的真值是确定的（客观存在的），只是现在不知道而已。

（9）p：太阳系外的星球上的生物。

它的真值情况而定，是确定的。

离散数学课后答案第一章离散数学基础题目1问题：证明集合A和集合B的笛卡尔积的基数等于集合A 和集合B的基数的乘积。

答案：设集合A的基数为|A|，集合B的基数为|B|。

我们要证明集合A和集合B的笛卡尔积的基数等于集合A和集合B的基数的乘积，即|(A x B)| = |A| * |B|。

首先，我们可以将集合A x B表示为{(a, b) | a∈A, b∈B}。

由于A和B是两个集合，集合A x B中的元素可以看作是将A 中每个元素与B中每个元素组成的有序对。

因此，集合A x B 中的元素个数等于A中元素的个数乘以B中元素的个数，即|(A x B)| = |A| * |B|。

题目2问题：对任意两个集合A和B，证明A∩(A∪B) = A。

答案：要证明A∩(A∪B) = A，首先我们需要理解集合的交和并的定义。

- 集合的交：集合A∩B表示同时属于集合A和集合B的元素组成的集合。

- 集合的并：集合A∪B表示属于集合A或集合B的元素组成的集合。

现在，我们开始证明。

首先，根据集合的并的定义，A∪B 表示属于集合A或集合B的元素组成的集合。

因此，任意属于集合A的元素也一定属于A∪B，即A⊆A∪B。

其次，根据集合的交的定义，A∩(A∪B)表示同时属于集合A和集合A∪B的元素组成的集合。

由于A⊆A∪B，所以A中的元素一定属于A∪B，因此A∩(A∪B) = A。

综上所述，对任意两个集合A和B，A∩(A∪B) = A成立。

第二章命题逻辑题目1问题：证明合取命题的真值表达式。

答案：合取命题的真值表达式表示命题P和命题Q同时为真时合取命题为真，否则为假。

假设命题P和命题Q的真值分别为真（T）或假（F），那么合取命题的真值可以通过以下真值表得出：P Q P∧QT T TT F FF T FF F F从上述真值表可以看出，只有P和Q都为真时，合取命题才为真。

如果其中一个或两个命题为假，则合取命题为假。

题目2问题：证明命题的等价关系。