离散数学(微课版) 第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是实数。
离散数学课后习题答案 (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) \\}$。
离散数学答案第二章习题解答
离散数学答案第二章习题解答第二章谓词逻辑习题与解答1、将下列命题符号化:(1) 所有的火车都比某些汽车快。
(2) 任何金属都可以溶解在某种液体中。
(3) 至少有一种金属可以溶解在所有液体中。
(4) 每个人都有自己喜欢的职业。
(5) 有些职业就是所有的人都喜欢的。
解 (1) 取论域为所有交通工具的集合。
令x x T :)(就是火车, x x C :)(就是汽车, x y x F :),(比y 跑得快。
“所有的火车都比某些汽车快”可以符号化为))),()(()((y x F y C y x T x ∧?→?。
(2) 取论域为所有物质的集合。
令x x M :)(就是金属, x x L :)(就是液体, x y x D :),(可以溶解在y 中。
“任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y xD y L y x M x ∧?→?。
(3) 论域与谓词与(2)同。
“至少有一种金属可以溶解在所有液体中” 可以符号化为))),()(()((y x D y L y x M x →?∧?。
(4) 取论域为所有事物的集合。
令x x M :)(就是人, x x J :)(就是职业, x y x L :),(喜欢y 。
“每个人都有自己喜欢的职业” 可以符号化为))),()(()((y x L y J y x M x ∧?→?(5)论域与谓词与(4)同。
“有些职业就是所有的人都喜欢的”可以符号化为))),()(()((x y L y M y x J x →?∧?。
2、取论域为正整数集,用函数+(加法),?(乘法)与谓词<,=将下列命题符号化:(1) 没有既就是奇数,又就是偶数的正整数。
(2) 任何两个正整数都有最小公倍数。
(3) 没有最大的素数。
(4) 并非所有的素数都不就是偶数。
解先引进一些谓词如下:x y x D :),(能被y 整除,),(y x D 可表示为)(x y v v =??。
离散数学答案第二章习题解答
第二章 谓词逻辑习题与解答1、 将下列命题符号化:(1) 所有的火车都比某些汽车快。
(2) 任何金属都可以溶解在某种液体中。
(3) 至少有一种金属可以溶解在所有液体中。
(4) 每个人都有自己喜欢的职业。
(5) 有些职业就是所有的人都喜欢的。
解 (1) 取论域为所有交通工具的集合。
令x x T :)(就是火车, x x C :)(就是汽车, x y x F :),(比y 跑得快。
“所有的火车都比某些汽车快”可以符号化为))),()(()((y x F y C y x T x ∧∃→∀。
(2) 取论域为所有物质的集合。
令x x M :)(就是金属, x x L :)(就是液体, x y x D :),(可以溶解在y 中。
“任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y x D y L y x M x ∧∃→∀。
(3) 论域与谓词与(2)同。
“至少有一种金属可以溶解在所有液体中” 可以符号化为))),()(()((y x D y L y x M x →∀∧∃。
(4) 取论域为所有事物的集合。
令x x M :)(就是人, x x J :)(就是职业, x y x L :),(喜欢y 。
“每个人都有自己喜欢的职业” 可以符号化为))),()(()((y x L y J y x M x ∧∃→∀(5)论域与谓词与(4)同。
“有些职业就是所有的人都喜欢的”可以符号化为))),()(()((x y L y M y x J x →∀∧∃。
2、 取论域为正整数集,用函数+(加法),•(乘法)与谓词<,=将下列命题符号化:(1) 没有既就是奇数,又就是偶数的正整数。
(2) 任何两个正整数都有最小公倍数。
(3) 没有最大的素数。
(4) 并非所有的素数都不就是偶数。
解 先引进一些谓词如下:x y x D :),(能被y 整除,),(y x D 可表示为)(x y v v =•∃。
x x J :)(就是奇数,)(x J 可表示为)2(x v v =•⌝∃。
离散数学2及答案
离散数学2一、填空题(每小题2分,共30分)1 设():M x x 偶数, ():F x x 素数。
将命题“存在偶素数”符号化为: ))()((x F x M x ∧∃ 。
2 集合A={2,2,2,3}的幂集合P(A)={}3,2{},3{},2{,φ }。
3 设A={1,2,3},B={a,b},则=⨯B A 6 。
4 已知命题公式A 含有2个命题变项,其成真赋值为00、10、11,则其主合取范式为 1M 。
5 设p :北京比大连人口多,q :2+2=4,r :乌鸦是白色的。
则命题公式)()(r p r p ⌝∧↔∨⌝的真值为 0 。
6 无向图G 具有欧拉通路,当且仅当G 是 连通 图且无奇度顶点或有两个奇度顶点。
7 6阶无向树的总度数为 10 。
8设A={1,2,3},B={a, b},A 1={2},f={<1,a>,<2,a>,<3,b>},则=-))((11A f f { 1,2 }。
9 设B A f →:,若ran B f )(=,则称B A f →:是满射的。
10 设群>⊕=<}),.({b a P G ,其中⊕为对称差。
群方程φ=⊕}{b Y 的解=Y {b} 。
11 设p:我去自习,q:我去看电影,r:我有课。
则命题“如果我去自习或看电影,我就没有课”的符号化形式为r qp⌝→∨)(。
12 画出3阶有向完全图的2条边的2个非同构的生成子图。
13 下面运算表中的=-1a c 。
14 写出模4乘法<Z4,⊗ >的运算表⊗0 1 2 31230 0 0 00 1 2 30 2 0 20 3 2 115 设A(x)是任意的含自由出现个体变项x的公式,则⇔⌝∀)(xxA )(xAx⌝∃。
二、试解下列各题(每小题5分,共25分)1. 设A = {a , b , c , d }, R = {<a ,b >,<b ,a >,<b ,c >,<c ,d >}, 求3R 的的矩阵表示和关系图表示。
(完整word版)离散数学第二版 屈婉玲 1-5章(答案)
《离散数学1-5章》练习题答案第2,3章(数理逻辑)1.答:(2),(3),(4)2.答:(2),(3),(4),(5),(6)3.答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是4.答:(4)5.答:⌝P ,Q→P6.答:P(x)∨∃yR(y)7.答:⌝∀x(R(x)→Q(x))8、c、P→(P∧(Q→P))解:P→(P∧(Q→P))⇔⌝P∨(P∧(⌝Q∨P))⇔⌝P∨P⇔ 1 (主合取范式)⇔ m0∨ m1∨m2∨ m3 (主析取范式)d、P∨(⌝P→(Q∨(⌝Q→R)))解:P∨(⌝P→(Q∨(⌝Q→R)))⇔ P∨(P∨(Q∨(Q∨R)))⇔ P∨Q∨R⇔ M0 (主合取范式)⇔ m1∨ m2∨m3∨ m4∨ m5∨m6 ∨m7 (主析取范式) 9、b、P→(Q→R),R→(Q→S) => P→(Q→S)证明:(1) P 附加前提(2) Q 附加前提(3) P→(Q→R) 前提(4) Q→R (1),(3)假言推理(5) R (2),(4)假言推理(6) R→(Q→S) 前提(7) Q→S (5),(6)假言推理(8) S (2),(7)假言推理d、P→⌝Q,Q∨⌝R,R∧⌝S⇒⌝P证明、(1) P 附加前提(2) P→⌝Q 前提(3)⌝Q (1),(2)假言推理(4) Q∨⌝R 前提(5) ⌝R (3),(4)析取三段论(6 ) R∧⌝S 前提(7) R (6)化简(8) R∧⌝R 矛盾(5),(7)合取所以该推理正确10.写出∀x(F(x)→G(x))→(∃xF(x) →∃xG(x))的前束范式。
解:原式⇔∀x(⌝F(x)∨G(x))→(⌝(∃x)F(x) ∨ (∃x)G(x))⇔⌝(∀x)(⌝F(x)∨G(x)) ∨(⌝(∃x)F(x) ∨ (∃x)G(x))⇔ (∃x)((F(x)∧⌝ G(x)) ∨G(x)) ∨ (∀x) ⌝F(x)⇔ (∃x)((F(x) ∨G(x)) ∨ (∀x) ⌝F(x)⇔ (∃x)((F(x) ∨G(x)) ∨ (∀y) ⌝F(y)⇔ (∃x) (∀y) (F(x) ∨G(x) ∨⌝F(y))(集合论部分)1、答:(4)2.答:323.答:(3)4. 答:(4)5.答:(2),(4)6、设A,B,C是三个集合,证明:a、A⋂ (B-C)=(A⋂B)-(A⋂C)证明:(A⋂B)-(A⋂C)= (A⋂B)⋂~(A⋂C)=(A⋂B) ⋂(~A⋃~C)=(A⋂B⋂~A)⋃(A⋂B⋂~C)= A⋂B⋂~C=A⋂(B⋂~C)=A⋂(B-C)b、(A-B)⋃(A-C)=A-(B⋂C)证明:(A-B)⋃(A-C)=(A⋂~B)⋃(A⋂⋂~C) =A⋂ (~B ⋃~C)=A⋂~(B⋂C)= A-(B⋂C)(二元关系部分)1、答:(1)R={<1,1>,<4,2>} (2) R1-={<1,1>,<2,4>}2.答:RοR ={〈1,1〉,〈1,3〉,〈2,2〉,〈2,4〉}R-1 ={〈2,1〉,〈1,2〉,〈3,2〉,〈4,3〉}3.答:R={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>,<6,6>,<1,2>,<1,3>,<1,4>,<1,5>,<1,6>,<2,4>,<2,6>,<3,6>}4.答:R 的关系矩阵=⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎣⎡000000001000000001 R 1-的关系矩阵=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡0000000100000000015、解:(1)R={<2,1>,<3,1>,<2,3>};M R =⎪⎪⎪⎭⎫ ⎝⎛001101000;它是反自反的、反对称的、传递的;(2)R={<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};M R =⎪⎪⎪⎭⎫⎝⎛011101110;它是反自反的、对称的;(3)R={<1,2>,<2,1>,<1,3>,<3,3>};M R =⎪⎪⎪⎭⎫⎝⎛100001110;它既不是自反的、也不是反自反的、也不是对称的、也不是反对称的、也不是传递的。
离散数学习题答案1-2-6-7-8-9章-2009-12-17
习题1:1. 解 (1){2,3,5,7,11,13,17,19}(2){x|x=20*k,k 是自然数}(3){2,-1}2. 解 (1){2,4}(2){1,2,3,4,5}(3){1,3}(4){1,3,5}3. 解 (1){1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20}(2)φ(3)全体自然数(4){0,2,4,6,8,10,12,14,16,18,20}(5)1,3,5,7,9,11,13,15,17,19}4. 解 (1)正确(2)正确(3)错误(4)正确5. 解 (1)A={1},B={{1}},C={{1}}(2)A={1},B={{1}},C={{{1}}}6. 解 (1)正确。
由子集的定义。
(2) 不一定。
如:A={1},B={{1}},C={{1}}。
(3)不一定。
如:A={1},B={1,2},C={{1,2}}(4)不一定。
如:A={1},B={1,2},C={{1,2}}。
7. 解 A={1,2},B={1},C={2},有B A ≠,但是C B C A =成立。
A={1,2},B={1},C={1},有B A ≠,但是C B C A =成立。
8. 解 (1)φ(2){φ}(3){{φ}}(4){φ,{φ}}9. 解 (1){1,2,3,4,5,6,7,8,9}(2){0,1,2,3,4,5,6,7,8,9,10}(3){0,3,6,7,8,9}10. 解 33311. 解 2512. 解(1)454(2)124(3)22013. 解 (1){φ}(2){φ,{a}}(3){φ,{φ},{a},{φ,a}}(4){φ,{φ},{{φ}},{{φ},φ}}(5){φ,{{φ}},{φ},{a},{{φ},φ},{{φ},a},{φ,a},{{φ},φ,a}}14. 证明:假设B ≠C ,则至少存在一元素x ∈B 且x ∉C 。
离散数学(微课版) 第2章习题答案
离散数学(微课版)第2章习题答案2.1 集合与运算习题1给定两个集合A={1,3,5,7,9}和B={2,4,6,8,10},求A∪B和A∩B。
解答:集合A和B的并集(A∪B)是包含了A和B中所有元素的集合。
根据题目给出的集合A和B,可以得到并集A∪B={1,2,3,4,5,6,7,8,9,10}。
集合A和B的交集(A∩B)是包含了A和B中共有的元素的集合。
根据题目给出的集合A和B,可以得到交集A∩B={},因为集合A和B中没有共有的元素。
习题2给定两个集合A={奇数}和B={偶数},求A和B的交集和并集。
如果集合B改为B={2,4,6,8},结果是否有变化?解答:集合A表示奇数,集合B表示偶数。
当集合A和B中元素的范围比较广泛时,它们的交集为{},因为奇数和偶数没有共有的元素。
当集合B改为B={2,4,6,8}时,集合A和B中共有的元素为{},并集为A∪B=奇数∪{2,4,6,8}={奇数,2,4,6,8}。
2.2 命题与逻辑运算习题3给定两个命题p:“小明喜欢篮球”和q:“小明是篮球队的队长”。
请判断以下复合命题是真还是假:(1)p∧q;(2)p∨q;(3)p→q。
解答:命题p:“小明喜欢篮球” 是真命题。
命题q:“小明是篮球队的队长” 是假命题。
(1)p∧q:当p和q都为真时,命题p∧q才为真。
根据题目中给出的p和q的真值,可以确定p∧q是假命题。
(2)p∨q:当p和q中至少一个为真时,命题p∨q就为真。
根据题目中给出的p和q的真值,可以确定p∨q是真命题。
(3)p→q:当p为真时,命题p→q为真,否则为假。
根据题目中给出的p和q的真值,可以确定p→q是真命题。
习题4给定一个命题p:“2是偶数”。
请判断以下复合命题是真还是假:(1)¬p;(2)p∧¬p;(3)¬p∨p。
解答:命题p:“2是偶数” 是真命题。
(1)¬p:取命题p的否定,即“2不是偶数”,根据命题p的真值,可以确定¬p是假命题。
离散数学课后习题答案第二章
第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解:F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为)∀,在(a)中为假命题,在(b)中为真命题。
(xxF(2)在两个个体域中都解释为)(x∃,在(a)(b)中均为真命题。
xG4. 在一阶逻辑中将下列命题符号化:(1) 没有不能表示成分数的有理数.(2) 在北京卖菜的人不全是外地人.解:(1)F(x): x能表示成分数H(x): x是有理数命题符号化为: ))xx∧⌝⌝∃F()((xH(2)F(x): x是北京卖菜的人H(x): x是外地人命题符号化为: ))xFHx→⌝∀(x)((5. 在一阶逻辑将下列命题符号化:(1) 火车都比轮船快.(3) 不存在比所有火车都快的汽车.解:(1)F(x): x是火车; G(x): x是轮船; H(x,y): x比y快命题符号化为: ))FxGyx→∀∀y∧))(,()x((y(H(2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快命题符号化为: )))yxFGy→⌝∃∧∀x()(,H(x)(y(9.给定解释I如下:(a) 个体域D为实数集合R.(b) D中特定元素=0.(c) 特定函数(x,y)=x y,x,y D∈.(d) 特定谓词(x,y):x=y,(x,y):x<y,x,y D∈.说明下列公式在I下的含义,并指出各公式的真值:(1)))yGx⌝→∀∀yx,)(((y,xF(2)))xyafF∀x→yG∀)x,),((y,((答:(1) 对于任意两个实数x,y,如果x<y, 那么x≠y. 真值1.(2) 对于任意两个实数x,y,如果x-y=0, 那么x<y. 真值0.10. 给定解释I如下:(a)个体域D=N(N为自然数集合).(b) D中特定元素=2.(c) D上函数=x+y,(x,y)=xy.(d) D上谓词(x,y):x=y.说明下列各式在I下的含义,并讨论其真值.(1)xF(g(x,a),x)(2)x y(F(f(x,a),y)→F(f(y,a),x)答:(1) 对于任意自然数x, 都有2x=x, 真值0.(2) 对于任意两个自然数x,y,使得如果x+2=y, 那么y+2=x. 真值0.11. 判断下列各式的类型:(1)(3) yF(x,y).解:(1)因为1q→p→ppp为永真式;q⇔))((⇔∨∨⌝⌝所以为永真式;(3)取解释I个体域为全体实数F(x,y):x+y=5所以,前件为任意实数x存在实数y使x+y=5,前件真;后件为存在实数x对任意实数y都有x+y=5,后件假,]此时为假命题再取解释I个体域为自然数N,F(x,y)::x+y=5所以,前件为任意自然数x存在自然数y使x+y=5,前件假。
离散数学 第二章练习题答案
一、 选择题1.下列四个公式正确的是①)()())()((x xB x xA x B x A x ∀∧∀⇒∧∀ ②)()())()((x xB x xA x B x A x ∀∨∀⇒∨∀③)()())()((x xB x xA x B x A x ∃∨∃⇒∨∃ ④))()(()()(x B x A x x xB x xA ∧∃⇒∃∧∃A.①③B.①④C.③④D.②④2. 谓词公式)())()((x Q y yR x P x →∃∨∀中量词∀x 的辖域是( )(A) ))()((y yR x P x ∃∨∀ (B) P (x ) (C ) )()(y yR x P ∃∨ (D) )(x Q3. 谓词公式))()(()(x xQ x Q x x xP ⌝∃→⌝∀→∀的类型是( )(A ) 永真式 (B) 矛盾式(C) 非永真式的可满足式 (D) 蕴涵式4. 设个体域为整数集,下列公式中其真值为1的是( )(A ) )0(=+∃∀y x y x (B) )0(=+∀∃y x x y(C))0(=+∀∀y x y x (D) )0(=+∃⌝∃y x y x5. 设个体域{,}A a b =,公式()()xP x xS x ∀∧∃在中消去量词后应为 ( )(A) ()()P x S x ∧ (B ) ()()(()())P a P b S a S b ∧∧∨(C) ()()P a S b ∧ (D) ()()()()P a P b S a S b ∧∧∨6. 在谓词演算中,下列各式正确的是( )(A) (,)(,)x yA x y y xA x y ∃∀⇔∀∃ (B ) (,)(,)x yA x y y xA x y ∃∃⇔∃∃(C) (,)(,)x yA x y x yA x y ∃∀⇔∀∃ (D) (,)(,)x yA x y y xA x y ∀∀⇔∀∀7.下列各式不正确的是( )(A ) (()())()()x P x Q x xP x xQ x ∀∨⇔∀∨∀(B) (()())()()x P x Q x xP x xQ x ∀∧⇔∀∧∀(C) (()())()()x P x Q x xP x xQ x ∃∨⇔∃∨∃(D) (())()x P x Q xP x Q ∀∧⇔∀∧8. 设I 是如下一个解释:D ={a,b}, 01 0 1b) P(b,a) P(b,b) P(a,),(a a P 则在解释I 下取真值为1的公式是( ).(A) ∃x ∀yP(x,y) (B)∀x ∀yP(x,y) (C)∀xP(x,x) (D )∀x ∃yP(x,y).9. 设个体变元z y x ,,的论域都为自然数集合,(,,):,P x y z x y z +=(,,),(,):Q x y z x y z R x y x y ⋅=<:,则以下命题中( )是假命题.A .),0,(x x xP ∀B .),,(y y x yP x ∀∃C .),,(x x y yQ x ∃∀D .)0,(x xR ∀10. 下面不是命题的是( )A .()xP x ∀B .()()x P x ∃C .()()()x P x P y ∀∨D .()()(()())x y P x R y ∃∃→11公式()()()()x P x x Q x ∀→∀的前束范式为( )A .()()(()())x y P x Q y ∀∀→B .()()(()())x y P x Q y ∀∃→C .()()(()())x y P x Q y ∃∀→D .()()(()())x y P x Q y ∃∃→12. 公式()(())x P x Q ∀↔⇔( )A .(()())(()())x P x Q Q x P x ∀→∧→∀B .(()())(()())x P x Q Q x P x ∀→∧→∃C (()())(()())x P x Q Q x P x ∃→∧→∀D .(()())(()())x P x Q Q x P x ∃→∧→∃13. ()()(,)x y P x y ∀∃的否定是( )A .()()(,)x y P x y ∀∀⌝B .()()(,)x y P x y ∃∀⌝C .()()(,)x y P x y ∀∃⌝D .()()(,)x y P x y ∃∃⌝14.下列谓词公式与()(()())x A x B x ∀↓等价的是( )A .()()()()x A x xB x ∀↓∀ B .()()()()x A x x B x ∀↑∀C .()()()()x A x x B x ∃↓∃D .()()()()x A x x B x ∃↑∃15.在谓词演算中,()P a 是()xP x ∀的有效结论,其理论依据是( )A .USB .UGC .ESD .EG16. 设个体域是整数集合,P 代表∀x ∀y ((x <y )→(x -y <x )),下面4个命题中为真的是( )(A) P 是真命题 (B ) P 是假命题(C) P 是一阶逻辑公式,但不是命题 (D) P 不是一阶逻辑公式二、填空题1. 设全体域D 是正整数集合,确定下列命题的真值:(1) ()x y xy y ∀∃= ( 0 ) (2) ()+x y x y y ∃∀= ( 0 )(3) ()+x y x y x ∃∀= ( 0 ) (4) (2)x y y x ∀∃= ( 1 )2. 谓词公式()((,)())()((,)()())x P x y Q z y R x y z Q z ∀∨∧∃→∀中量词∀x 的辖域是3. 公式()(()(,)()(,))()x P x Q x y z R y z S x ∀→∨∃→中量的自由变量为 x,y 约束变量为 x,z4. 设个体域D ={1,2},那么谓词公式)()(y yB x xA ∀∨∃消去量词后的等值式为 .A (1)∨A (2)∨(B (1)∧B (2)) .5. 设个体域D ={a ,b },公式)),()((y x yH x G x ∃→∀消去量词化为. (G (a )→(H (a ,a )∨H (a ,b )))∧ (G (b )→(H (b ,a )∨H (b ,b )))6. 设N (x ):x 是自然数,Z (y );y 是整数,则命题“每个自然数都是整数,而有些整数不是自然数”符号化为 (()())(()())x N x Z x x Z x N x ∀→∧∃∧⌝7. 谓词公式∀x (F (x )→G (x ))∧⌝∀y (F (y )→G (y ))的类型是 永假式 .8. 设个体域{1,2},谓词P (1)=1,P(2)=0,Q(1)=0,Q (2)=1,则∀x (P (x )∨Q (x ))的真值是 19.只用联结词,,⌝∀→表示以下公式()(()())x P x Q x ∃∧= ()(()())x P x Q x ⌝∀→⌝()(()()())x P x y Q y ∃↔∀= ()((()()())(()()()))x P x y Q y y Q y P x ⌝∀→∀→⌝∀→ ()(()()())y x P x Q y ∀∀∨⌝= ()(()()())y Q y x P x ∀→∀三、计算及证明1. 求谓词公式))(())((a f R x Q P x ∧→∀的真值.其中P :4>3,Q (x ):x >1,R (x ):x ≤2.f (-3)=1,f (1)=5,f (5)= -3.a :5.个体域D =(-3,1,5).解:))(())((a f R x Q P x ∧→∀=))5(())5(())1(())3((f R Q P Q P Q P ∧→∧→∧-→=)3()11()01()01(-∧→∧→∧→R01100=∧∧∧=2.说明公式))(),(()(x xP y x yG x xP ∀→∃→∀是逻辑有效式(永真式).解:因为))(),(()(x xP y x yG x xP ∀→∃→∀是)(P Q P →→的代换实例,可知 ))(),(()(x xP y x yG x xP ∀→∃→∀是逻辑有效式.或 ))(),(()(x xP y x yG x xP ∀∨⌝∃∨⌝∀1)(),()(⇔∨⌝∃∨⌝∀⇔x P y x yG x xP3. 通过等值演算说明下列等值式成立: )()())()((x xQ x xP x Q x P x ∃→∀⇔→∃证:⇔→∃))()((x Q x P x )()((x Q x P x ∨⌝∃))()(x xQ x P x ∃∨⌝∃⇔)()(x xQ x xP ∃∨⌝∀⇔)()(x xQ x xP ∃→∀⇔4. 求谓词公式),,()),(),((z y x zH y x yG y x xF ∃∧∀→∀的前束范式解:),,()),(),((z y x zH y x yG y x xF ∃∧∀→∀),,()),(),((z y x zH y x yG y x xF ∃∧∀∨⌝∀⇔((,)(,))(,,)u F u y vG x v zH x y z ⇔∃⌝∨∀∧∃((,)(,))(,,))u F u y vG x v zH x y z ⇔∃⌝∨∀∧∃(((,)(,))(,,))u v z F u y G x v H x y z ⇔∃∀∃⌝∨∧(或(((,)(,))(,,))u v z F u y G x v H x y z ⇔∃∀∃→∧)5. 前提:∃xF (x ), ∀x (F (x )→G (x )∧H (x ))结论:∃x (F (x )∧H (x ))6. 构造推理证明))()(()()(x Q x P x x xQ x xP →∀⇒∀→∃. (提示:))()(()()(x B x A x x xB x xA ∨∀⇒∀∨∀.) 证 ① )()(x xQ x xP ∀→∃ 前提引入② )()(x xQ x xP ∀∨⌝∃ T ①,蕴含等值式③ )()(x xQ x P x ∀∨⌝∀ T ②,量词否定 ④ ))()((x Q x P x ∨⌝∀⑤ ))()((x Q x P x →∀ T ④,蕴含等值式 法2:(反证法)① (()())x P x Q x ⌝∀→ 前提引入② (()())x P x Q x ∃∧⌝ T E ①,③ ()()P c Q c ∧⌝ ES ②, ④ ()Q c ⌝ T ③ , ⑤ ()P c T ③,⑥()xP x ∃ EG ⑤ ⑦)()(x xQ x xP ∀→∃ P⑧()xQ x ∀ T ⑦⑨()Q c UG ⑧ ⑩()()Q c Q c ⌝∧ T ④。
- 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章的概念和内容。