离散数学(微课版) 第2章习题答案
离散数学课后习题答案二

习题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.18 航班信息航空公司 航班 登机口 目的地 起飞时间 Nadir 112 34 底特律 08:10 Acme 221 22 丹佛 08:17 Acme 122 33 安克雷奇 08:22 Acme 323 34 檀香山 08:30 Nadir 199 13 底特律 08:47 Acme 222 22 丹佛 09:10 Nadir 32234底特律09:44解 略3. 当施用投影运算5,3,2π到有序5元组><d c b a ,,,时你能得到什么?解 略4. 哪个投影运算用于除去一个6元组的第一、第二和第四个分量? 解 略5. 给出分别施用投影运算4,2,1π和选择运算Nadir 航空公司=σ到二维表3.18以后得到的表。
解对航班信息二维表进行投影运算5,3,2π后得到的二维表航班 登机口 起飞时间 112 34 08:10 221 22 08:17 122 33 08:22 323 34 08:30 199 13 08:47 222 22 09:10 3223409:44对航班信息二维表进行选择运算Nadir 航空公司= 后得到的二维表航空公司 航班 登机口 目的地 起飞时间 Nadir 112 34 底特律 08:10 Nadir 199 13 底特律 08:47 Nadir 32234底特律09:446. 把连接运算3J 用到5元组二维表和8元组二维表后所得二维表中有序多元组有多少个分量?解 略7. 构造把连接运算2J 用到二维表3.19和二维表3.20所得到的二维表。
离散数学第2章习题解答

(2)xF(x) yG(y)
xF(x) yG(y)(量词辖域收缩扩张等值式)
(F(a) F(b) F(c)) (G(a) G(b) (c)).
(3)x yH(x,y)
x(H(x,a) H (x,b) H(x,c)
(H(a,a) H (a,b) H(x,c)
“存在自然数x,x发既为奇数,又为偶数。 ”
取x2,则F(2)为假,于是F(2) G(2)为真,这表明x(F(x) G(x)为真命题。
分析本题说明
x(F(x) G(x)) x(F(x) G(x)), x(F(x) G(x)) x(F(x) G( x)),
这里,A B表示A与B不等值,以后遇到,含义相同。
“对于任意的实数x和y,如果x为有理数,y为元理数,则x y。” 这是假命题。
分析 闭式在任何解释下不是真就是假, 不可能给出解释I,使得闭式在I下真值不确定,这一点是闭式的一个重要特征。 而非封闭的公式就没有这个特征。
2.9取A1L(f(x,y),g(x,y))和A2x( f (x, y), x),则A1和A2都是非土产的公式,在A1中,x, y都是自由出现的,在A2中,y是自出现的。
2.5(1)取解释I1为:个体域D R(实数集合),F ( x) : x为有理数,G( x) : x能表示成分数,在I1下,x(F(x) G(x))的含义为
“对于叙何实数x而言,若x为有理数, 则x能表示成分数”,简言之为“有 理数都能表示成分数。 ”在此蕴含式中,当前件F ( x)为真时,后件G(x)也为真, 不会出现前件为真, 后件为假的情况, 所以在I1下,x(F(x) G (x))为真命题。
( H (b,a) H (b,b) H (b, c)
离散数学课后答案(第1-2-4章)武汉大学出版社

( P Q R) ( P Q) ( P R)
(P Q R) (P Q) P R
(P Q R) ((P P) ( Q P)) R
(P Q R) ( Qபைடு நூலகம்P R)
(P Q R) (P Q R)
T
故P (Q R) (P Q) (P R)
(3).(P Q) (P P Q)
(( T Q) ( T R)) Q R
(Q R) Q R
Q R Q R
Q T
T
故((P P) Q) ((P P) R) Q R
(6)左(Q F) (R F)
( Q F) ( R F)
Q R
R
R Q右
6.(1)原式( P Q R)
(2)原式P Q P (P Q P)
(3)原式P (Q R P) P Q R ( P Q R)
(5)原式<=>┐(P∨┐Q)∨Q <=> (┐P∧Q)∨Q <=> Q原式为可满足式
(6)原式<=>┐(P∧Q)∨P <=>┐P∨┐Q∨P <=> T∨┐Q <=> T原式为永真式
(7)原式<=> (┐P∨P∨Q)∧┐P <=> (T∨Q)∧┐P
<=> T∧┐P <=>┐P原式为可满足式
(8)原式<=>┐((P∨Q)∧(┐Q∨R))∨(┐P∨R) <=> (P∧┐Q)∨(Q∧┐R)∨(┐P∨R)
②┐(Q∧R)前提
③┐Q∨┐R②,E11
④┐Q①,③,析取三段论
⑤┐P∨Q前提
⑥┐P④,⑤,析取三段论
离散数学微课版习题答案

离散数学微课版习题答案
简介
本文档提供了离散数学微课版中的习题答案。
离散数学是计算机科学中的核心
学科之一,它涵盖了数理逻辑、集合论、关系论、图论等内容。
通过学习离散数学,学生将会培养抽象思维和逻辑推理能力,这对于解决计算机科学中的复杂问题非常重要。
本文档将按照习题的章节和编号顺序给出答案,每个习题都将附带详细的解析
过程和解题思路。
希望通过阅读本文档,你能更好地理解离散数学的概念和方法,并且能够熟练地应用到实际的问题中。
第一章:数理逻辑
习题1.1
问题:
判断以下命题是否为真:
1.如果今天下雨,那么地面是湿的。
2.玛丽喜欢音乐,那么她会弹钢琴。
3.2是一个奇数并且6是一个偶数。
4.所有的鸟都会飞。
答案:
1.真。
这是一个充分条件命题,雨是地面湿的必要条件。
2.不知道。
无法确定玛丽是否会弹钢琴,所以无法确定命题的真假。
3.假。
2不是奇数,所以整个命题是假的。
4.假。
这是一个普遍命题,但不是所有的鸟都会飞。
习题1.2
问题:
将以下命题用数理逻辑表示:
1.吴老师讲课非常有趣。
2.如果我努力学习,那么我会取得好成绩。
3.这个机器不会产生错误。
答案:
1.令P表示。
离散数学课后习题答案(第二章)

b) 他是田径或球类运动员。 解:设 S(x) :x 是田径运动员。B(x) :x 是球类运动员。h:他 则有 S(h)∨B(h) c) 小莉是非常聪明和美丽的。 解:设 C(x) :x 是聪明的。B(x) :x 是美丽的。l:小莉。 则有 C(l)∧ B(l) d)若 m 是奇数,则 2m 不是奇数。 解:设 O(x) :x 是奇数。 则有 O(m)→¬ O(2m) 。 e)每一个有理数是实数。 解:设 R(x) :x 是实数。Q(x) :x 是有理数。 则有 (∀x) (Q(x)→R(x) ) f) 某些实数是有理数。 解:设 R(x) :x 是实数。Q(x) :x 是有理数。 则有 (∃x) (R(x)∧Q(x) ) g) 并非每个实数都是有理数。 解:设 R(x) :x 是实数。Q(x) :x 是有理数。 则有 ¬(∀x) (R(x)→Q(x) ) h)直线 A 平行于直线 B,当且仅当直线 A 不相交于直线 B。 解:设 P(x,y) :直线 x 平行于直线 y,G(x,y) :直线 x 相交于直线 y。 则有 P(A,B)�¬G(A,B) (2) 找出以下十二个句子所对应的谓词表达式。 a) 所有的教练员是运动员。 (J(x),L(x)) 解:设 J(x):x 是教练员。L(x):x 是运动员。 则有 (∀x) (J(x)→L(x) ) b) 某些运动员是大学生。 (S(x)) 解:设 S(x):x 是大学生。L(x):x 是运动员。 则有 (∃x) (L(x)∧S(x) ) c) 某些教练是年老的,但是健壮的。 (O(x),V(x) ) 解:设 J(x):x 是教练员。O(x):x 是年老的。V(x) :x 是健壮的。 则有 (∃x) (J(x)∧O(x)∧V(x) ) d) 金教练既不老但也不健壮的。 (j) 解:设 O(x):x 是年老的。V(x) :x 是健壮的。j:金教练 则有 ¬ O(j)∧¬V(j) e) 不是所有的运动员都是教练。 解:设 L(x):x 是运动员。J(x):x 是教练员。 则 ¬(∀x) (L(x)→J(x) ) f) 某些大学生运动员是国家选手。 (C(x) )
(完整版)离散数学答案屈婉玲版第二版高等教育出版社课后答案

1
所以该式为永真式.
永真式的主合取范式为 1
主析取范式为∑(0,1,2,3,4,5,6,7)
第三章部分课后习题参考答案
14.在自然推理系统P中构造下面推理的证明:
(2)前提:p q, (q r),r
结论: p
(4)前提:q p,q s,s t,t r
结论:p q
证明:(2)
① (q r) 前提引入
离散数学答案 屈婉玲版
第二版 高等教育出版社课后答案
第一章部分课后习题参考答案
16设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
(1)p∨(q∧r) 0∨(0∧1) 0
(2)(p↔r)∧(﹁q∨s) (0↔1)∧(1∨1) 0∧1 0.
(3)( p∧ q∧r)↔(p∧q∧﹁r) (1∧1∧1)↔(0∧0∧0) 0
1∧(p∨q)∧ (p∧q)∧1
(p∨q)∧ (p∧q)
5.求下列公式的主析取范式与主合取范式,并求成真赋值
(1)( p→q)→( q∨p)
(2) (p→q)∧q∧r
(3)(p∨(q∧r))→(p∨q∨r)
解:
(1)主析取范式
( p→q)→( q p)
(p q) ( q p)
( p q) ( q p)
(p→q) q r ( p q) q r
(p q) q r 0
所以该式为矛盾式.
主合取范式为∏(0,1,2,3,4,5,6,7)
矛盾式的主析取范式为 0
(3)主合取范式为:
(p (q r))→(p q r)
(p (q r))→(p q r)
( p ( q r)) (p q r)
( p (p q r)) (( q r)) (p q r))
最新离散数学-第二章命题逻辑等值演算习题及答案

第二章作业评分要求:1. 每小题6分: 结果正确1分; 方法格式正确3分; 计算过程2分. 合计48分2. 给出每小题得分(注意: 写出扣分理由)3. 总得分在采分点1处正确设置.一. 证明下面等值式(真值表法, 解逻辑方程法, 等值演算法, 三种方法每种方法至少使用一次):说明证1. p ⇔(p ∧q)∨(p ∧¬q)解逻辑方程法设 p ↔((p ∧q)∨(p ∧¬q)) =0, 分两种情况讨论:⎩⎨⎧=⌝∧∨∧=0)()(1)1(q p q p p 或者 ⎩⎨⎧=⌝∧∨∧=1)()(0)2(q p q p p (1)(2)两种情况均无解, 从而, p ↔(p ∧q)∨(p ∧¬q)无成假赋值, 为永真式.等值演算法(p ∧q)∨(p ∧¬q)⇔ p ∧(q ∨¬q)∧对∨的分配率⇔ p ∧1 排中律⇔ p 同一律真值表法2. (p→q)∧(p→r)⇔p→(q∧r)等值演算法(p→q)∧(p→r)⇔(¬p∨q)∧(¬p∨r)蕴含等值式⇔¬p∨(q∧r)析取对合取的分配律⇔p→(q∧r)蕴含等值式3. ¬(p↔q)⇔(p∨q)∧¬(p∧q)等值演算法¬(p↔q)⇔¬( (p→q)∧(q→p) )等价等值式⇔¬( (¬p∨q)∧(¬q∨p) )蕴含等值式⇔¬( (¬p∧¬q)∨(p∧q) )合取对析取分配律, 矛盾律, 同一律⇔(p∨q)∧¬(p∧q)德摩根律4. (p∧¬q)∨(¬p∧q)⇔(p∨q)∧¬(p∧q)等值演算法(p∧¬q)∨(¬p∧q)⇔(p∨q)∧¬(p∧q)析取对合取分配律, 排中律, 同一律说明: 用真值表法和解逻辑方程法证明相当于证明为永真式.等值演算法证明时每一步后面最好注明理由以加深印象, 熟练后可以不写. 由于等值演算法证明具有较强的技巧性, 平时应注意总结心得.二. 求下列公式的主析取范式与主合取范式(等值演算法与用成真赋值或成假赋值求解都至少使用一次):1.2.3.4.1. (¬p→q)→(¬q∨p)解(¬p→q)→(¬q∨p)⇔(p∨q)→(¬q∨p)蕴含等值式⇔(¬p∧¬q)∨(¬q∨p)蕴含等值式, 德摩根律⇔(¬p∧¬q)∨¬q ∨p结合律⇔p∨¬q吸收律, 交换律⇔M1因此, 该式的主析取范式为m0∨m2∨m32. (¬p→q)∧(q∧r)解逻辑方程法设(¬p→q)∧(q∧r) =1, 则¬p→q=1且q∧r=1,解得q=1, r=1, p=0 或者q=1, r=1, p=1, 从而所求主析取范式为m3∨m7, 主合取范式为M0∧M1∧M2∧M4∧M5∧M6等值演算法(¬p→q)∧(q∧r)⇔ (p∨q)∧(q∧r) 蕴含等值式⇔ (p∧q∧r)∨(q∧r) ∧对∨分配律, 幂等律⇔ (p∧q∧r) ∨ (p∧q∧r)∨(⌝p∧q∧r) 同一律, 矛盾律, ∧对∨分配律⇔m7∨ m3主合取范式为M0∧M1∧M2∧M4∧M5∧M63. (p↔q)→r解逻辑方程法设(p↔q)→r =0, 解得p=q=1, r=0 或者p=q=0, r=0, 从而所求主合取范式为M0∧M6, 主析取范式为m1∨m2∨m3∨m4∨m5∨m7等值演算法(p↔q)→r⇔ ((p→q)∧(q→p))→r 等价等值式⇔⌝((p→q)∧(q→p))∨r 蕴含等值式⇔ (p∧⌝q)∨(q∧⌝p)∨r 德摩根律, 蕴含等值式的否定(参见PPT)⇔ (p∨q∨r)∧(⌝q∨⌝p∨r) ∨对∧分配律, 矛盾律, 同一律⇔M0∧ M6主析取范式为m1∨m2∨m3∨m4∨m5∨m74. (p→q)∧(q→r)解等值演算法(p→q)∧(q→r)⇔ (⌝p∨q)∧(⌝q∨r) 蕴含等值式⇔ (⌝p∧⌝q)∨(⌝p∧r)∨(q∧r) ∧对∨分配律, 矛盾律, 同一律⇔ (⌝p∧⌝q∧r)∨(⌝p∧⌝q∧⌝r) ∨ (⌝p∧q∧r)∨(⌝p∧⌝q∧r) ∨ (p∧q∧r)∨(⌝p∧q∧r)⇔m1∨ m0∨ m3∨ m7主合取范式为M2∧ M4∧ M5∧ M6.解逻辑方程法设(p → q) ∧ (q → r) = 1, 则p → q =1 且q → r =1.前者解得: p=0, q=0; 或者p=0, q=1; 或者p=1, q=1.后者解得: q=0, r=0; 或者q=0, r=1; 或者q=1, r=1.综上可得成真赋值为000, 001, 011, 111, 从而主析取范式为m0∨ m1∨ m3∨ m7, 主合取范式为M2∧ M4∧ M5∧ M6.真值表法公式(p → q) ∧ (q从而主析取范式为m0∨ m1∨ m3∨ m7, 主合取范式为M2∧ M4∧ M5∧ M6. 精彩名家小美文10篇青春赋[美国] 萨缪埃尔·沃尔曼青春不是人生某一时期的标志,它是指人应有的心理状态。
离散数学 第2章 习题解答

习题 2.11.将下列命题符号化。
(1) 4不是奇数。
解:设A(x):x是奇数。
a:4。
“4不是奇数。
”符号化为:¬A(a)(2) 2是偶数且是质数。
解:设A(x):x是偶数。
B(x):x是质数。
a:2。
“2是偶数且是质数。
”符号化为:A(a)∧B(a)(3) 老王是山东人或河北人。
解:设A(x):x是山东人。
B(x):x是河北人。
a:老王。
“老王是山东人或河北人。
”符号化为:A(a)∨B(a)(4) 2与3都是偶数。
解:设A(x):x是偶数。
a:2,b:3。
“2与3都是偶数。
”符号化为:A(a)∧A(b)(5) 5大于3。
解:设G(x,y):x大于y。
a:5。
b:3。
“5大于3。
”符号化为:G(a,b)(6) 若m是奇数,则2m不是奇数。
解:设A(x):x是奇数。
a:m。
b:2m。
“若m是奇数,则2m不是奇数。
”符号化为:A(a)→A(b)(7) 直线A平行于直线B当且仅当直线A不相交于直线B。
解:设C(x,y):直线x平行于直线y。
设D(x,y):直线x相交于直线y。
a:直线A。
b:直线B。
“直线A平行于直线B当且仅当直线A不相交于直线B。
”符号化为:C(a,b)↔¬D(x,y)(8) 小王既聪明又用功,但身体不好。
解:设A(x):x聪明。
B(x):x用功。
C(x):x身体好。
a:小王。
“小王既聪明又用功,但身体不好。
”符号化为:A(a)∧B(a)∧¬C(a)(9) 秦岭隔开了渭水和汉水。
解:设A(x,y,z):x隔开了y和z。
a:秦岭。
b:渭水。
c:汉水。
“秦岭隔开了渭水和汉水。
”符号化为:A(a,b,c)(10) 除非小李是东北人,否则她一定怕冷。
解:设A(x):x是东北人。
B(x):x怕冷。
a:小李。
“除非小李是东北人,否则她一定怕冷。
”符号化为:B(a)→¬A(a)2.将下列命题符号化。
并讨论它们的真值。
(1) 有些实数是有理数。
解:设R(x):x是实数。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学(微课版)第2章习题答案
习题 2.1
1. 给出以下相关数集的定义:
•人类:所有人类的集合。
•学生:具有在某所学校注册学籍的人的集合。
•男学生:具有在某所学校注册学籍且性别为男性的学生的集合。
2. 判断以下命题是否为真:
•男学生集合是人类集合的子集。
•学生集合是男学生集合的子集。
答案:
1.人类集合和学生集合的关系可以表示为:学生集合是人类集合的子集。
因为学生是人类的一个子集,但并不是全部人类都是学生。
2.男学生集合是人类集合的子集,因为男学生是学生的一个子集,而学生又是人类的一个子集。
所以男学生集合也是人类集合的一个子集。
3.学生集合是男学生集合的超集,因为男学生是学生的一个子集,但并不是所有学生都是男学生。
所以学生集合包含了男学生集合。
习题 2.2
1. 给出以下关系的定义:
•R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3)}。
2. 判断以下命题是否为真:
•R 是对称关系。
•R 是自反关系。
答案:
1.该关系 R 中的元素可以表示为有序对的形式,如 (1, 1) 表示元素 1 和元素 1 之间存在关系。
根据 R 的定义,可以发现所有的对称元素都存在于 R 中。
所以 R 是一个对称关系。
2.该关系 R 中包括了所有元素对 (x, x),表示每个元素和它自己之间都存在关系。
所以 R 是一个自反关系。
习题 2.3
1. 给出以下集合的定义:
• A = {1, 2, 3, 4}
• B = {2, 4, 6, 8}
• C = {1, 3, 5, 7}
2. 判断以下命题是否为真:
• A ∩ B = {2, 4}
• A ∪ C = {1, 2, 3, 4, 5, 7}
答案:
1. A ∩ B表示 A 和 B 的交集,即包含了同时属于 A 和
B 的元素。
根据 A 和 B 的定义,可以发现共同元素为 {2, 4}。
所以命题A ∩ B = {2, 4} 是真的。
2. A ∪ C 表示 A 和 C 的并集,即包含了属于 A 或 C 的
所有元素。
根据 A 和 C 的定义,可以发现共同元素为 {1, 2,
3, 4},加上 C 中独有的元素 {5, 7}。
所以命题A ∪ C = {1, 2, 3, 4, 5, 7} 是真的。
习题 2.4
1. 给出以下关系的定义:
•R = {(1, 2), (2, 4), (3, 6), (4, 8)}
2. 判断以下命题是否为真:
•R 是函数。
•R 是单射。
•R 是满射。
答案:
1.该关系 R 中的元素可以表示为有序对的形式,如 (1,
2) 表示元素 1 和元素 2 之间存在关系。
如果 R 中的每一个第一个元素都对应唯一的第二个元素,那么 R 就是一个函数关系。
根据 R 的定义,每一个第一个元素都对应唯一的第二个元素,所以 R 是一个函数。
2.如果 R 中的每一个第二个元素都对应唯一的第一个
元素,那么 R 就是一个单射关系。
根据 R 的定义,第一个
元素 1 对应第二个元素 2,第一个元素 2 对应第二个元素
4,两个元素对应关系分别是不同的。
所以R 是一个单射。
3.如果 R 中的每一个第二个元素都至少对应一个第一
个元素,那么 R 就是一个满射关系。
根据 R 的定义,可以
发现第二个元素 4 和 8 各自对应两个第一个元素,所以 R
不是一个满射关系。
以上是习题 2.1 - 2.4 的答案。
希望能帮助你更好地理解离
散数学第2章的概念和内容。