大连理工大学软件学院离散数学习题答案
大连理工大学软件学院离散数学习题答案
（2）C(x)US（1）
（3）(x)C(x)→(x)¬B(x)P
（4）C(x)→¬B(x)US（3）
（5）¬B(x)T（2）（4）
（6）(x)A(x)→(x)B(x)P
（7）A(x)→B(x)US（6）
（8）¬A(x)T（5）（7）
（9）(x)¬A(x)UG（8）
（10）(x)C(x)→ (x)¬A(x)CP（1）（9）
（（P∧┓P）∨（P∧Q））→Q
（F∨（P∧Q））→Q
（┓P∨┓Q）∨Q
┓P∨T
T
（3）原式（（┓P∨Q）∧（┓Q∨R））→（┓P∨R）
（P∧┓Q）∨（Q∧┓R）∨（┓P∨R）
（（P∧┓Q）∨Q）∧（（P∧┓Q）∨┓R）∨（┓P∨R）
（P∨Q）∧（┓Q∨Q）∧（P∨┓R）∧（┓Q∨┓R）∨（┓P∨R）
（5） P→QCP规则
第（2）、（4）小题方法相同，解答略。
24.（1）证明：
（1）┓┓PP规则（假设前提）
（2） PT规则（1）
（3） P→QP规则
（4） QT规则（2）（3）
（5） R→┓QP规则
（6）┓RT规则（4）（5）
（7） R∨SP规则
（8） ST规则（6）（7）
（9） S→┓QP规则
（10）┓QT规则（8）（9）
M1∧M2∧M3∧M4∧M5∧M6
∏（1,2,3,4,5,6）
第（2）、（4）小题方法相同，解答略。
18.（1）证明：
左侧（┓P∨Q）∧（┓P∨R）
（┓P∨Q∨R）∧（┓P∨Q∨┓R）∧（┓P∨Q∨R）∧（┓P∨┓Q∨R）
∏（4,5,6）
右侧┓P∨（Q∧R）…∏（4,5,6）
(完整版)离散数学习题答案
离散数学习题答案习题一及答案：（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答案
设 Z 为整数集合， 在 Z 上定义二元运算， 任意 x,y∈Z 有 x○y=x+y-2,那么 Z 与运算。 能否构成群？为什么？
2011-06-23 08:08 提问者： cici_y2013 |浏览次数：448 次 我来帮他解答
满意回答
2011-06-23 08:22
能。因为满足 1）封闭性； 2）结合律； 3）具有单位元 2； 4）每一个元素 x 也都有逆元 4-x. 符合群的定义，所以构成群。
ห้องสมุดไป่ตู้
第五题
与18互质的数有1，5，7，11，13，17，因此，1，5，7，11， 13，17是群Z18，18的生成元． 18的因数有1，2，3，6，9，18，因此，群Z18，18的子群有 1=Z18，18，
2={0，2，4，6，8，10，12，14，16}，18， 3={0，3，6，9，12，15}，18， 6={0，6，12}，18， 9={0，9}，18， 18={0}，18． Z18，18 的子群格为{18 ， 3，2，1}，，其哈斯图为 全下界为18，全上界为1， 18’=1，1’=18， 2’=9，9’=2，3和6没 18 有补元． 1 9，6，
第三题、设 H,K 分别为群 G 的两个 m 与 n 子群,证明:若(m,n)=1,则 H∩K={e}
H∩K 还是群，且分别是 H 和 K 的子群。 于是|H∩K|必分别整除 m 和 n 如果不为|H∩K|≠1，则与(m,n)=1 矛盾
4、
求群Z18，18的所有生成元和子群，画出Z18，18的子群 格，指出该子群格的全下界、全上界和有补元，并求其补 元．
2020年大连理工大学软件学院 离散数学 第六章 代数系统2
群中元素的幂
定义6(2).3 设G是群，a∈G，n∈Z，则a 的 n次幂.
e an an1a
(a1)m
n0 n0 n 0, n m
群中元素可以定义负整数次幂. 在<Z3, >中有
23 = (21)3 = 13 = 111 = 0 在<Z,+>中有
(2)3 = 23 = 2+2+2 = 6
(2) |ab| = |ba|
证 (1) 设 |a| = r，|b1ab| = t，则有
(b1ab)r (b1ab)(b1ab)...(b1ab)
r个
b1arb b1eb e
从而有t | r. 另一方面，由 a = (b1)1(b1ab)b1可知 r | t. 从而 有 |b1ab| = |a|.
14
6(2).2 子群与群的陪集分解
定义6(2).5 设G是群，H是G的非空子集， (1) 如果H关于G中的运算构成群，则称H是G的子群, 记作
H≤G. (2) 若H是G的子群，且HG，则称H是G的真子群，记作
H<G.
例如 nZ (n是自然数) 是整数加群<Z,+> 的子群. 当n≠1时, nZ是Z的真子群.
法. 这些半群中除<Z+,+>外都是独异点 (2) 设n是大于1的正整数，<Mn(R),+>和<Mn(R),·>都是半
群，也都是独异点，其中+和·分别表示矩阵加法和矩阵 乘法 (3) <P(B),>为半群，也是独异点，其中为集合对称差运算 (4) <Zn, >为半群，也是独异点，其中Zn={0,1,…,n1}， 为模n加法 (5) <AA,◦>为半群，也是独异点，其中◦为函数的复合运算 (6) <R*,◦>为半群，其中R*为非零实数集合，◦运算定义如 下：x, yR*, x◦y=y
离散数学课后习题答案 (2)
离散数学课后习题答案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)}。
离散数学课后习题答案(第一章)
习题 1-5 （1） 试证下列各式为重言式。 a) (P∧(P→Q))→Q 证明：(P∧(P→Q))→Q ⇔(P∧(┐P∨Q))→Q ⇔(P∧┐P)∨(P∧Q)→Q ⇔(P∧Q)→Q ⇔┐(P∧Q)∨Q ⇔┐P∨┐Q∨Q ⇔┐P∨T ⇔T b) ┐P→(P→Q) 证明：┐P→(P→Q) ⇔P∨(┐P∨Q) ⇔ (P∨┐P)∨Q ⇔T∨Q ⇔T
b) ¬( A � B) ⇔ ( A ∨ B) ∧ ¬( A ∧ B) 证明：┐(A↔B) ⇔┐((A∧B)∨(┐A∧┐B)) ⇔┐((A∧B)∨┐(A∨B)) ⇔(A∨B)∧┐(A∧B) 或 ┐(A↔B) ⇔┐((A→B)∧(B→A)) ⇔┐((┐A∨B)∧(┐B∨A)) ⇔┐((┐A∧┐B)∨(┐A∧A)∨(B∧┐B)∨(B∧A)) ⇔┐((┐A∧┐B)∨(B∧A)) ⇔┐(┐(A∨B))∨(A∧B) ⇔(A∨B)∧┐(A∧B) c) ¬( A → B) ⇔ A ∧ ¬B 证明：┐(A→B) ⇔ ┐(┐A∨B)⇔A∧┐B d) ¬( A � B) ⇔ ( A ∧ ¬B) ∨ (¬A ∧ B) 证明：┐(A↔B)⇔┐((A→B)∧(B→A)) ⇔┐((┐A∨B)∧(┐B∨A)) ⇔(A∧┐B)∨(┐A∧B) e) ((( A ∧ B ∧ C ) → D) ∧ (C → ( A ∨ B ∨ D ))) ⇔ ((C ∧ ( A � B )) → D ) 证明：(((A∧B∧C)→D)∧(C→(A∨B∨D))) ⇔(┐(A∧B∧C)∨D)∧(┐C∨(A∨B∨D)) ⇔(┐(A∧B∧C)∨D)∧(┐(┐A∧┐B∧C)∨D) ⇔ (┐(A∧B∧C)∧┐(┐A∧┐B∧C))∨D ⇔((A∧B∧C)∨(┐A∧┐B∧C))→D ⇔ (((A∧B)∨(┐A∧┐B))∧C)→D ⇔ ((C∧(A↔B))→D)
离散数学习题答案精选全文完整版
可编辑修改精选全文完整版离散数学习题答案习题一：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：-3rd
• 例6(1).4.1 给定<Z，+，×>，其中Z是整数集 合，+和×是一般加、乘法。假设Z中的关系R 定义如下： • i1Ri2：= | i1 | = | i2 | 其中i1、i2∈Z • 试问，R为该结构的同余关系吗？ • 其中| i1 | 表示i1的绝对值. • 相等关系是等价关系是明显的，只要证它满足 代换性即可．即证对任意的i1,i2,i3,i4Z和 i1Ri2i3Ri4 | i1 | = | i2 | | I3 | = | i4 | • | i1+i3 |= | i2+i4 | • 对i1=1, i2=1, I3 =3, i4=-3
• | i1+I3 |=4 • | i2+i4 | =2 • 即对+不满足代换性，即Ｒ不是 <Z，+，×>的 同余关系．
• 可见，考察一个等价关系E对于有多个运算的 代数结构是否为同余关系，这里有个次序先后 问题，选择得好，即你一下子就考察到了E对 某个运算是不具有代换性质，那么立刻便可断 定E不是该结构的同余关系，否则验证应继续 下去，直至遇到不具有代换性质的运算为止。 如果对于所有运算都有代换性质，则E为该结 构的同余关系。在例6.4.1中，首先发现R对于 +不具有代换性质，那么可断定R不是该结构的 同余关系。如果你首先验证是R对于×的代换 性质，结果R对于×有代换性质，至此你只是 有希望E是同余关系，但还得继续工作，考察R 对于+的代换性质，由此结果才能判定R是否为 该结构的同余关系。
定义6补.2 设*是定义在集合A上的二元运 算，如果对于任意的x，y∈A，都有x*y＝ y*x，则称该二元运算*是可交换的。 例题2 设Q是有理数集合，△是Q上的二 元运算，对任意的a，b∈Q，a△b＝a+ba· b，问运算△是否可交换。 解 因为 a△b＝a+b-a· b＝b+a-b· a＝b△a 所以运算△是可交换的。
离散数学综合练习题答案
离散数学综合练习题答案一、 判断下列命题是否正确（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）从ρ的关系矩阵可知：ρ是自反的和对称的。
大连理工大学软件学院离散数学试题
7、4 阶群必是 8பைடு நூலகம்下面偏序格是分配格的是
9、n 个结点的无向完全图 Kn 的边数为
，欧拉图的充要条件是 。
10、公式 ( P (P Q)) ((P Q) R 的根树表示为
。
二、选择 20% （每小题 2 分）
1、在下述公式中是重言式为（ ）
A． ( P Q) ( P Q) ；B． ( P Q) (( P Q) (Q P)) ； C． ( P Q) Q ； D． P ( P Q) 。 ） ，成真赋值的个数
087ynu 离散数学试题与答案试卷一
一、填空
20% （每小题 2 分）
1．设 A {x | ( x N )且( x 5)}, B {x | x E 且x 7} （N：自然数集，E+ 正偶 数） 则 A B 。
2．A，B，C 表示三个集合，文图中阴影部分的集合表达式为 。 A C 3．设 P，Q 的真值为 0，R，S 的真值为 1，则 B
1 0 0 0 0 1 0 0
0 1 0 0 1 0 0 0
1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0
，
M R 4 M R3
M t ( R ) M R M R 2 M R3 M R 4
若 < a, b > R ， < b, c > R 即 R 是传递的。 2、 证 则 < b, a > R b, c R < a , c > R
a, b C
1
，
有
f (a) g (a), f (b) g (b)
离散数学课后答案精编版
( P, Q, R) = (T , T ,×), ( F ,×,×) 。
（3） (¬¬P ∧ Q ) → ((Q → R ) ↔ ¬P ) 解 当P =T 时 原式= (¬¬T ∧ Q ) → ((Q → R ) ↔ ¬T ) = Q → ((Q → R ) ↔ F ) = Q → ¬(Q → R ) 当Q = T 时
( P, Q, R) = (T , T , F ) ，存在成假解释 ( P, Q, R) = (T , T , T ) ，故公式可满足，但非永真。
1.3 试求下列公式的成真解释和成假解释 （1） ¬(( P → Q ) → R ) ↔ (Q ∨ R ) 解 当Q = T 时 原式= ¬(( P → T ) → R ) ↔ (T ∨ R ) = ¬(T → R ) ↔ T = ¬R 当 R = T 时，上式= F ，当 R = F 时，上式= T 。 当Q = F 时 原式= ¬(( P → F ) → R ) ↔ ( F ∨ R ) = ¬(¬P → R ) ↔ R 当R =T 时 上式= ¬(¬P → T ) ↔ T = ¬T ↔ T =F 当R = F 时 上式= ¬(¬P → F ) ↔ F
P ∧ Q = ¬( P → ¬Q)
所以，联结词集合 {¬, →}可以表示集合 {¬,∧,∨}。 又因为，联结词集合 {¬,∧,∨} 是完备的，即 {¬,∧,∨} 可以表示任何一个命题演算公式， 所以 {¬, →}可以表示任何一个命题演算公式，故联结词集合 {¬, →}是完备的。 1.6 试证明联结词集合 {∧}, {→} 不是完备的。 证明 设 集 合
( P, Q, R) = (T , T , T ) 。
（4） (¬¬P → ¬Q ) ∧ (Q ∨ (¬R ∧ P )) 解 当P =T 时 原式= (¬¬T → ¬Q ) ∧ (Q ∨ (¬R ∧ T )) = (T → ¬Q ) ∧ (Q ∨ ¬R ) = ¬Q ∧ (Q ∨ ¬R ) 当Q = T 时 上式= ¬T ∧ (T ∨ ¬R ) =F ∧T =F 当Q = F 时 上式= ¬F ∧ ( F ∨ ¬R ) = T ∧ ¬R
离散数学课后习题答案
第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问题：证明命题的等价关系。
大连理工大学软件学院离散数学作业答案
A( x)
(x ) A ( x )
(x ) P ( x ) P( x)
P（假设前提） US（1）
（3） （4） （5） （6） （7）
(x ) (P (x ) Q (x ) ) P( x) Q( x) Q( x )
(x )Q ( x )
P US（3） T（2） （4） UG（5） CP（1） （6）
P
P
P 规则（假设前提） T 规则（1） P 规则 T 规则（2） （3） P 规则
P Q
Q
S Q
（6） （7） （8）
S
RS
R
T 规则（4） （5） P 规则 T 规则（6） （7） P 规则 T 规则（8） （9） F 规则（1） （10）
（9） R （10） R R （11） P
( A ( P Q)) C ( A (P Q)) C (A (P Q)) C A ( P Q ) C ( A C ) ( P Q )
因此， (( Q
A) C ) ( A ( P C )) ( A ( P Q )) C ，得证。
(x ) P ( x ) ( x ) Q (x )
（b） (x)( P( x) Q( x)) (x) P( x) (x)Q( x)
证明：由于
(x) P( x) (x)Q( x) (x)(Q( x)) (x) P( x) (x)(Q( x)) (x) P( x)
因此，原题等价于证明 (x)( P( x) Q( x)) (x)(Q( x)) (x) P( x) （1） （2） （3） （4） （5） （6） （7）
A) C ) ( A ( P C )) ( A ( P Q )) C
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
目录第一章命题逻辑 (2)第二章谓词逻辑 (9)第三章集合论习题答案 (13)第四章二元关系习题答案 (21)第五章函数习题答案 (42)第六章代数系统习题答案 (51)第七章群与环习题答案 (57)第八章格与布尔代数习题答案 (66)第九章图的基本概念及其矩阵表示 (71)第十章几种图的介绍 (82)第十一章树 (90)第一章命题逻辑1.（1）不是命题；（2）不是命题；（3）不是命题；（4）是命题；（5）是命题；2.（1）并非大连的每条街都临海；（2）2不是一个偶数或者8不是一个奇数；（3）2不是偶数并且-3不是负数；3.（1）逆命题：如果我去公园，那么天不下雨。
否命题：如果天下雨，我将不去公园。
逆否命题：如果我不去公园，那么天下雨。
（2）逆命题：如果我逗留，那么你去。
否命题：如果你不去，那么我不逗留。
逆否命题：如果我不逗留，那么你不去。
（3）逆命题：如果方程无整数解，那么n是大于2的正整数。
否命题：如果n不是大于2的正整数，那么方程有整数解。
逆否命题：如果方程有整数解，那么n不是大于2的正整数。
（4）逆命题：如果我不能完成这项任务，那么我不获得更多的帮助。
否命题：如果我获得更多的帮助，则我能完成这项任务。
逆否命题：如果我能完成这项任务，则我获得更多的帮助。
4.（1）T；（2）T；（3）T；（4）F；5.6.（1）P:他聪明；Q:他用功；命题：P∧Q。
（2）P:天气好；Q:我骑车上班；命题：Q→P。
（3）P:老李是球迷；Q:小李是球迷；命题：P∨Q。
（4）P:休息好；Q:身体好；命题：Q→P。
7.8.9.（1）（P∧Q）→R；（2）┓P；（3）（┓P∧┓Q）→┓R10.不依赖于命题变元的真值指派，而总取T（1）的命题公式，称为重言式（永真式）；不依赖于命题变元的真值指派，而总取F（0）的命题公式，称为永假式（矛盾式）；至少存在一组真值指派使得命题公式取值为T的命题公式称为可满足的。
本题可用真值表求解：（4）得真值表如下：1，故为重言式。
可见不论命题变元的真值指派如何，命题公式总取1，故为重言式。
其他小题可用同样的方法求解。
11.（2）原式⇔┓((P∨Q)∧R)∨P∨R⇔┓(P∨Q)∨┓R∨P∨R⇔┓(P∨Q)∨P∨T⇔ T（4）原式⇔ P∨（┓（┓Q∧R）∨P）⇔ P∨（Q∨┓R∨P）⇔ P∨Q∨┓R⇔┓（┓P∧┓Q∧R）第（1）、（3）、（5）小题方法相同，解答略。
12.（3）原式⇔┓P∧┓Q∧（R∨P）⇔（┓P∧┓Q∧R）∨（┓P∧┓Q∧P）⇔（┓P∧┓Q∧R）∨F⇔┓（P∨Q∨┓R）第（1）、（2）小题方法相同，解答略。
13.（2）左式⇔（P∨（┓Q∧Q））∧（┓P∨┓Q）⇔（P∨F）∧（┓P∨┓Q）⇔（P∧┓P）∨（P∧┓Q）⇔F∨（P∧┓Q）⇔P∧┓Q右式⇔ P∧┓Q故：左式⇔右式，证明完毕。
根据对偶式定义，该式的对偶式为：（P∧┓Q）∨（P∧Q）∨（┓P∧┓Q）第（1）、（3）小题方法相同，解答略。
14.（1）原式⇔（P∧（┓P∨Q））→Q⇔（（P∧┓P）∨（P∧Q））→Q⇔（F∨（P∧Q））→Q⇔（┓P∨┓Q）∨Q⇔┓P∨T⇔ T（3）原式⇔（（┓P∨Q）∧（┓Q∨R））→（┓P∨R）⇔（P∧┓Q）∨（Q∧┓R）∨（┓P∨R）⇔（（P∧┓Q）∨Q）∧（（P∧┓Q）∨┓R）∨（┓P∨R）⇔（P∨Q）∧（┓Q∨Q）∧（P∨┓R）∧（┓Q∨┓R）∨（┓P∨R）⇔（P∨（Q∧┓R））∧（┓Q∨┓R）∨（┓P∨R）⇔（（P∨（Q∧┓R））∧┓Q）∨（（P∨（Q∧┓R））∧┓R）∨（┓P∨R）⇔（P ∧┓Q）∨（Q∧┓R∧┓Q）∨（P ∧┓R）∨（Q∧┓R∧┓R）∨（┓P∨R）⇔（P ∧┓Q）∨（P ∧┓R）∨（Q∧┓R）∨┓（P ∧┓R）⇔（P ∧┓Q）∨（Q∧┓R）∨T⇔ T第（2）、（4）小题方法相同，解答略。
15.（1）证明：假设P∧Q为真，则P为真且Q为真，则P→Q为真。
所以：P∧Q ⇒P→Q。
（3）证明：右侧⇔┓P∨Q，假设┓P∨Q为假，则P为真且Q为假，则P→Q为假。
所以：P→Q ⇒P→P∧Q。
（5）证明：假设Q→R为假，则Q为真且R为假，则左侧为假。
所以：（P∨┓P→Q）→（P∨┓P→R）⇒Q→R。
第（2）、（4）、（6）小题方法相同，解答略。
16.（1）代入可得：（（（P→Q）→（（P→Q）→R））→（P→Q））→（P→Q）（2）代入可得：（（Q→┓P）→（┓P→Q））17.（1）主析取范式：原式⇔（P∧Q）∨（P∧┓Q）⇔ m2∨m3⇔∑（2,3）主合取范式：原式⇔（（P∧Q）∨P）∧（（P∧Q）∨┓Q）⇔P∧（P∨Q）∧（P∨┓Q）∧T⇔ P∨（Q∧┓Q）⇔M0∧M1⇔∏（0,1）（3）主析取范式：原式⇔（（（┓P∨Q）∧┓P）∨（（┓P∨Q）∧R））∧（（（P∨┓Q）∧P）∨（（P∨┓Q）∧┓R））⇔（┓P∨（┓P∧Q）∨（┓P∧R）∨（Q∧R））∧（（P∧Q）∨（P∧┓Q）∨（P∧┓R）∨（┓Q∧┓R））⇔（（┓P∧┓Q）∨（┓P∧Q）∨（┓P∧R）∨（Q∧R））∧（（P∧Q）∨（P∧┓Q）∨（P∧┓R）∨（┓Q∧┓R））⇔（（┓P∧（┓Q∨R））∨（Q∧（┓P∨R）））∧（（P∧（Q∨┓R）∨（┓Q∧（P∨┓R）））⇔F∨（Q∧（┓P∨R）∧P∧（Q∨┓R））∨（┓P∧（┓Q∨R）∧┓Q∧（P∨┓R））∨F⇔（P∧Q∧R∧Q）∨（P∧Q∧R∧┓R）∨（┓P∧┓Q∧┓R）∨（┓P∧┓R∧R）⇔（P∧Q∧R）∨（┓P∧┓Q∧┓R）⇔m0∨m7⇔∑（0,7）主合取范式：原式⇔（┓P∨（Q∧R））∧（P∨（┓Q∧┓R））⇔（┓P∨Q）∧（┓P∨R）∧（P∨┓Q）∧（P∨┓R）⇔（┓P∨Q）∨（R∧┓R）∧（┓P∨R）∨（Q∧┓Q）∧（P∨┓Q）∨（R∧┓R）∧（P∨┓R）∨（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）⇔M1∧M2∧M3∧M4∧M5∧M6⇔∏（1,2,3,4,5,6）第（2）、（4）小题方法相同，解答略。
18.（1）证明：左侧⇔（┓P∨Q）∧（┓P∨R）⇔（┓P∨Q∨R）∧（┓P∨Q∨┓R）∧（┓P∨Q∨R）∧（┓P∨┓Q∨R）⇔∏（4,5,6）右侧⇔┓P∨（Q∧R）⇔…⇔∏（4,5,6）左侧⇔右侧，得证。
（3）证明：左侧⇔┓（┓P∨Q）∨（P∧Q）⇔（P∧┓Q）∨（P∧Q）⇔∑（2,3）右侧⇔（P∨Q）∧（P∨┓Q）⇔（P∧P）∨（P∧┓Q）∨（P∧Q）∨（Q∧┓Q）⇔（P∧┓Q）∨（P∧Q）⇔∑（2,3）左侧⇔右侧，得证。
第（2）、（4）小题方法相同，解答略。
19.对于A,B,C,D,E5个变元的所有真值指派，推出前提A↔B，B↔（C∧D），C↔（A∨E），A∨E和结论A∧E的值，得到真值表。
当真值表中各前提的真值都为1时，若结论也为1，则结论有效，否则结论无效。
根据真值表可看出，当前提为1时，结论也为1，则结论有效。
（3）采用推理方法证明：P∧Q为真，可得P为真且Q为真，又P→（Q→R）为真且P、Q为真，得R也为真。
则结论有效。
第（2）、（4）小题方法相同，解答略。
21.（1）证明：假设公式全部同时成立，由┓S为真得到S为假，由┓P→S为真，得P为真，由P↔Q 为真得到Q为真，由Q→R为真得到R为真，由┓R∨S为真得到S为真。
这与前面“S为假”矛盾，则公式不能同时成立。
（2）证明：假设公式全部同时成立，由┓S为真得到S为假，由┓R∨S为真得到R为假，由R∨M 为真得到M为真，由┓M为真得到M为假，矛盾。
则公式不能同时成立。
22.首先符号化：P:大连获得冠军；Q:北京获得亚军；R:上海获得亚军；S:广州获得亚军。
即求公式：P→（Q∨R），R→┓P，S→┓Q，P ┓S是否成立。
{1} （1）P P规则{2} （2）R→┓P P规则{1,2} （3）┓R T规则{4} （4）P→（Q∨R）P规则{1,2,4} （5）Q T规则{6} （6）S→┓Q P规则{1,2,4,6} （7）┓S T规则23.（1）证明：（1）┓R P规则（2）┓Q∨R P规则（3）┓Q T规则（1）（2）（4）┓（P∧┓Q）P规则（5）┓P T规则（3）（4）（3）题目有误（5）证明：（1）P P规则（附件前提）（2） P→（P∧Q）P规则（3） P∧Q T规则（1）（2）（4） Q T规则（1）（3）（5） P→Q CP规则第（2）、（4）小题方法相同，解答略。
24.（1）证明：（1）┓┓P P规则（假设前提）（2） P T规则（1）（3） P→Q P规则（4） Q T规则（2）（3）（5） R→┓Q P规则（6）┓R T规则（4）（5）（7） R∨S P规则（8） S T规则（6）（7）（9） S→┓Q P规则（10）┓Q T规则（8）（9）（11） Q∧┓Q T规则（4）（10）（12）┓P F规则（1）（11）（2）证明：（1）┓R P规则（2） R∨S P规则（3） S T规则（1）（2）（4） S→┓Q P规则（5）┓Q T规则（3）（4）（6） P↔Q P规则（7）┓P T规则（5）（6）（3）原式修改为：┓（P→Q）→┓（R∨S），（Q→P）∨┓R，R P↔Q 证明：（1） R P规则（2） R∨S T规则（1）（3）┓（P→Q）→┓（R∨S） P规则（4） P→Q T规则（2）（3）（5）（Q→P）∨┓R P规则（6） Q→P T规则（1）（5）（7）（P→Q）∧（Q→P）T规则（4）（6）（二） P↔Q T规则（7）第二章谓词逻辑1.（1）S(x)：x聪明；L(x)：x好学；a：表示小明，命题：S(a)∧L(a)。
（2）S(x)：x是素数；G(x,y)：x大于y，命题：（3）U(x)：x是大学生；S(x)：x能成为科学家，命题：（4）N(x)：x是自然数；A(x)：x是奇数；B(x)：x是偶数，命题：（5）P(x)：x是诗人；T(x,y)：x游览y；V(x)：x是名山大川；a：表示李白命题：2.（1）约束变元：x，辖域：和；自由变元：y。
（2）约束变元：中的x,y和中的z；自由变元：中的x。
（3）约束变元：x,y，辖域：；自由变元：z。
3.参考教材2.3部分。
4.（1）证明：（1）(∀x)¬B(x) P（2）¬B(x) US（1）（3）(∀x)(¬A(x)→B(x)) P（4）¬A(x)→B(x) US（3）（5）A(x) T（2）（4）（6）(∃x)A(x) EG（5）（3）证明：由于：(∀x)(A(x)→B(x)) ⇒(∀x)A(x) →(∀x)B(x)；(∀x)(C(x)→¬B(x)) ⇒(∀x)C(x) →(∀x)¬B(x)；(∀x)(C(x)→¬A(x)) ⇒(∀x)C(x) →(∀x)¬A(x)即证：(∀x)A(x) →(∀x)B(x)，(∀x)C(x) →(∀x)¬B(x) ⇒(∀x)C(x) →(∀x)¬A(x)（1）(∀x)C(x) P（附加）（2）C(x) US（1）（3）(∀x)C(x) →(∀x)¬B(x) P（4）C(x) →¬B(x) US（3）（5）¬B(x) T（2）（4）（6）(∀x)A(x) →(∀x)B(x) P（7）A(x) →B(x) US（6）（8）¬A(x) T（5）（7）（9）(∀x)¬A(x) UG（8）（10）(∀x)C(x) → (∀x)¬A(x) CP（1）（9）第（2）、（4）小题方法相同，解答略。