离散数学(刘任任版)第2章答案
湘潭大学刘任任版离散数学课后习题答案习题

习 题 一1. 用列举法表示下列集合:(1)1到100之间的自然数的集合; (2)小于5的正整数集合;(3)偶自然数的集合; (4)奇整数的集合.分析 本题主要考察集合的定义及怎样用列举法表示集合。
解:(1) A ={,,,,},123100 (2) B ={,,,}1234,(3) },8,6,4,2,0{ =C , (4) D =---{,,,,,,,} 531135.2. 用描述法表示下列集合:(1)偶整数的集合;(2)素数的集合;(3)自然数a 的整数幂的集合.分析 本题主要考察集合的定义及怎样用描述法表示集合。
解:(1) }2{整除的整数被是能x x E =(2) }11{数和自身整除的整且只能被是大于x x P =(3) }{是整数是自然数,n a a A n =3. 设},1,4,3},{{},4},3{,,2{a R a S ==请判断下面的写法正确与否:(1)S a ∈}{(2)R a ∈}{ (3)S a ⊆}}3{,4,{(4)R a ⊂}4,3,1},{{ (5)S R =(6)S a ⊆}{ (7)R a ⊆}{(8)R ⊆∅ (9)E R a ⊆⊆⊆∅}}{{(10)S ⊆∅}{ (11)R ∈∅ (12)}4},3{{⊆∅分析 本题主要考察集合的基本运算。
解:(1) 错; (2) 对; (3) 对; (4) 错; (5) 错; (6) 对; (7) 错; (8) 对; (9) 对; (10) 错;(11)错; (12) 对.4. 设A 、B 和C 为任意三个集合. 以下说法是否正确? 若正确则证明之, 否则举反例说明.(1)若B A ∈且C B ⊆,则C A ∈;(2)若B A ∈且C B ⊆,则C A ⊆;(3)若B A ⊆且C B ∈,则C A ∈;(4)若B A ⊆且C B ∈,则C A ⊆分析 本题主要考察集合的基本运算。
解:(1) 正确。
因B C ⊆,所以,对任何x B ∈均有x C ∈,今A B ∈,故A C ∈。
离散数学第2版课后习题答案

离散数学第2版课后习题答案离散数学是计算机科学和数学领域中一门重要的学科,它研究离散对象及其关系、结构和运算方法。
离散数学的应用非常广泛,包括计算机科学、信息科学、密码学、人工智能等领域。
而离散数学第2版是一本经典的教材,它系统地介绍了离散数学的基本概念、原理和方法。
本文将为读者提供离散数学第2版课后习题的答案,帮助读者更好地理解和掌握离散数学的知识。
第一章:基本概念和原理1.1 命题逻辑习题1:命题逻辑的基本符号有哪些?它们的含义是什么?答:命题逻辑的基本符号包括命题变量、命题联结词和括号。
命题变量用字母表示,代表一个命题。
命题联结词包括否定、合取、析取、条件和双条件等,分别表示“非”、“与”、“或”、“如果...则...”和“当且仅当”。
括号用于改变命题联结词的优先级。
习题2:列举命题逻辑的基本定律。
答:命题逻辑的基本定律包括德摩根定律、分配律、结合律、交换律、吸收律和否定律等。
1.2 集合论习题1:什么是集合?集合的基本运算有哪些?答:集合是由一些确定的对象组成的整体,这些对象称为集合的元素。
集合的基本运算包括并、交、差和补等。
习题2:列举集合的基本定律。
答:集合的基本定律包括幂等律、交换律、结合律、分配律、吸收律和德摩根定律等。
第二章:数理逻辑2.1 命题逻辑的推理习题1:什么是命题逻辑的推理规则?列举几个常用的推理规则。
答:命题逻辑的推理规则是用来推导命题的逻辑规则。
常用的推理规则包括假言推理、拒取推理、假言三段论和析取三段论等。
习题2:使用推理规则证明以下命题:如果A成立,则B成立;B不成立,则A不成立。
答:假言推理规则可以用来证明该命题。
根据假言推理规则,如果A成立,则B成立。
又根据假言推理规则,如果B不成立,则A不成立。
2.2 谓词逻辑习题1:什么是谓词逻辑?它与命题逻辑有何区别?答:谓词逻辑是一种扩展了命题逻辑的逻辑系统,它引入了谓词和量词。
与命题逻辑不同,谓词逻辑可以对个体进行量化和描述。
离散数学第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. 将下列命题符号化:(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 =•⌝∃。
离散数学课后习题答案(第二章)

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.设11≥p ,证明任何p 阶图G 与G 总有一个是不可平面图。
分析: G 与G 是两个互补的图,根据互补的定义,互补的图有相同的顶点数,且G 的边数与G 的边数之和等于完全图的边数p(p-1)/2;而由推论11.2.2,有任何简单平面图G ,其顶点数p 和边数q 满足:q ≤3p-6。
证明. 若),(q p G 与),(q p G ''均是可平面图,则63-≤p q (1) 63-'≤'p q (2) 但q p p q p p --='=')1(21, (3)将(3)代入(2)有63)1(21-≤--p q p p 整理后得 q p p 21272≤+- 又由(1)有)63(21272-≤+-p p p 即 024132≤+-p p也即 224413132244131322⨯-+≤≤⨯--p .得 2731327313+≤≤-p 得112<<p此与11≥p 矛盾。
因此任何p 阶图G 与G 不可能两个都是可平面图,从而G 与G 总有一个是不可平面图。
2.证明或否定:两个p 阶极大简单平面图必同构分析:极大平面图是指添加任何一条边以后不构成平面图的平面图;两个p 阶极大简单平面图不一定同构。
解:令6=p ,三个6阶极大简单平面图321,,G G G 如下:顶点上标的数字表示该顶点的度,但显然不同构.3.找出一个8阶简单平面G ,使得G 也是平面图.分析:由第1题证明过程可知,当p<11时,G 和G 可以同时为平面图。
解:如下平面图G ,显然其补图也是平面图。
123G 3344454.证明或者否定:每个极大平面图是H 图. 分析:极大平面图是指添加任何一条边以后不构成平面图的平面图;而H 图是存在一个H 回路的图,即存在一条经过图中每一个顶点一次且仅一次的回路。
由定理11.1.2知极大平面图的每个面都是三角形,因此G 中必存在回路,利用最长回路的性质使用反证法可证明每个极大平面图都是H 图。
离散数学 习题答案(刘任任)

(2)
A B ( A B) ( A B) ( B A) ( B A) B A
( A B) C (( A B) ( B A)) C (( A B ) ( B A )) C (((A B ) ( B A)) C) (((A B ) ( B A)) C)
A B AC
(4) 错误。例如,令 A={2,3,4},B={1,2,3},C={3,4,5}; (5)错误。例如,令A={2,4},B={1,2},C={2,3};
8.
(1)设A=B。于是
A B ( A B) ( A B) A A 反之,设 A B 。若 A B ,则不妨 设 x A而x B 。于是, x A B, 而x A B 从而 A B
3.
(1) 错; (2) 对; (3) 对; (4) 错;
(5) 错;
(9) 对;
(6) 对;
(10) 错;
(7) 错;
(11)错;
(8) 对;
(12)对.
4.
(1)正确。因BC,所以,对任何x∈B均有x∈C, 令A∈B,故A∈C。 (2)错误。例如,令A={1},B={{1},2}, C={{1},2,3}。
(B×A) 2 =(B × A) ×(A × B) ={<<2,1>,<2,1>>,<<2,1>,<2,2>>,<<2,1>,<3,1 >>,<<2,1>,<3,2>>,<<2,2>,<2,1>>,<<2,2>,< 2,2>>,<<2,2>,<3,1>>,<<2,2>,<3,2>>,<<3,1 >,<2,1>>,<<3,1>,<2,2>>,<<3,1>,<3,1>>,<< 3,1>,<3,2>>,<<3,2><2,1>>,<<3,2>,<2,2>>, <<3,2>,<3,1>>,<<3,2>,<3,2>>}
离散数学 第2章 习题解答

离散数学第2章习题解答习题 2.11.将以下命题符号化。
(1) 4不是奇数。
解:设A(x):x是奇数。
a:4。
“4不是奇数。
”符号化为:172;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) 172;D(x,y)(8) 小王既聪明又用功,但身体不好。
解:设A(x):x聪明。
B(x):x用功。
C(x):x身体好。
a:小王。
“小王既聪明又用功,但身体不好。
”符号化为:A(a)∧B(a)∧172;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)→172;A(a)2.将以下命题符号化。
并讨论它们的真值。
(1) 有些实数是有理数。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
而关系图中任何两个结点之间的有向弧是单向的。 (即若关系R是反对称的,当且仅当关系矩阵中 以对角线对称的元素不能同时为1,在关系图上 任两个结点的定向弧线不可能成对出现)
5.
R·S={<1,4>,<1,3>},S·R={<3,4>}; R 2={<1,1>,<1,2>,<1,4>}; S 2={<2,2>,<3,4>,<3,3>}.
β(A×A-{<x,x>})=2n2-n
(4)共有2n 2n(n1)/ 2 2n(n1)/ 2 种定义在A上
的不同的对称关系; 说明: ∵A上的对称关系必须满足:如果<x,y>在
这个关系中,则<y,x>也必须在这个关系中。 ∴在构造A上的对称关系的时候可以先将所有 的<x,y>和<y,x>(其中x≠y)看成是一个整体。 ∴要考虑的序偶的个数有:
s(R1) s(R2 ) (R1 R11) (R2 R21)任取 x, y s(R1 R2 ) (R1 R2 ) (R1 R2 )1 (i)若 x,y (R1 R2 ),
则 x, y R1 R1 R11,且 x, y R2 R2 R21,从而 x,y (R1 R11) (R2 R21)
14.
证明 S {Ai Bj | Ai Bj } (1)由S定义知, Ai Bj (2)任取Ai Bi S和Al Bm S, 1 i, j r,1 j, m s ( Ai Bj ) ( Al Bm ) ( Ai Am ) (Bj Bm )
s(R1) s(R2 )
(ii)若 x,y (R1 R2 )1, 则 y,x (R1 R2 ),即
y,x R1,且 y,x R2,从而, x, y R11 R1 R11,且, x, y R21 R2 R21,于是, x,y (R1 R11) (R2 R21)
(3)错误。例如,设对称关系 R={<x,z>,<z,x>},S={<z,y>,<y,z>}。 则R·S={<x,y>} 故R·S不是对称的。
(4) 错误。例如,设反对称关系 R={<x,z>,<y,w>},S={<z,y>,<w,x>},x≠y。 于是,R·S={<x,y>,<y,x>}。故R·S不是反 对称的。
R10 R20 (R1 R2 )0,于是 (1)r(R1 R2 ) (R1 R2 ) (R1 R2 )0
(R1 R2 ) R10 (R1 R10 ) (R2 R10 ) (R1 R10 ) (R2 R20 ) r(R1) r(R2)
(2)s(R1 R2 ) (R1 R2 ) (R1 R2 )1 s(R1) R1 R11, s(R2 ) R2 R21
习题二
1.
(1). R={<1,1>,<1,3>,<3,1>,<3,3>} (2). R={<1,0>,<2,1>,<4,2>,<8,3>}
2.
设R是定义在集合A上的二元关系。 (1). 设A= ,则R= 既是自反的又是反自 反的. (2). 令A={1,2},R={<1,1>},于是R既 不是自反又不是反自反的; (3). 令A={1,2},R={<1,1>,<2,2>},于是R 既是对称又是反对称的;
12.
设R1 R2,则显然A / R1 A / R2 反之,设A / R1 A / R2 若R1 R2,则不妨设 x, y R1 但 x, y R2
于是[x]R1 [ y]R1 ,[x]R2 [ y]R2
而由A/R1=A/R2 ,有对任意x∈A,因为[x]R1∈ A/R2
并且x故∈R[x1]R1R∩2[x]R2,所以[x]R1=[x]R2。产生矛盾。
又(S T ) P ,S P { 1,1 }, T P { 3,1 , 1,1 }
因此(S P) (T P) { 1,1 }
从而(S T ) P (S P) (T P)
7.
(1) 正确。因为对任意x∈A,有xRx,xSx,所以 x(R·S)x。故R·S是自反的。 (2) 错误。例如,设x,y∈A,x≠y,且xRy,ySx, 于是x(R ·S)x。故R ·S不是反自反的。
…. <xn,x1> <xn,x2> … <xn,xn>
(1)共有2n2 种定义在A上的不同的二元关系; 说明: ∵|A|=n ∴ |A×A|=n2
∴|β(A×A)|=2n2
(2)共有 2n2n 种定义在A上的不同的自反关系;
说明: ∵A上的自反关系必须满足所有形如 <x,x>的序偶包含在关系中,而形如<x,x>的 序偶有n个。即|A×A-{<x,x>}|=n2-n
(4). 令A={1,2,3},R={<1,2>,<2,1>,<1,3>}, 于是R既不是对称又不是反对称的。
3.
设A={X1,X2 ,…,Xn},于是定义在A上的二元关 系R中的元素来自于下列矩阵:
<x1,x1> <x1,x2> … <x1,xn> <x2,x1> <x2,x2> … <x2,xn>
于是t(R1) t(R2 ) R1 R12 R2 R22 (R1 R2 ) (R12 R22 )
下证对任意 n 1有R1n R2n (R1 R2 )n 任取 x,y R1n R2n 不妨设 x,y R1n
于是存在z1,z2,zn-1,满足:
x,z1 R1 R1 R2, z1,z2 R1 R1 R2, ,
6.
设 R={<3,1>,<3,2>},T={<1,3>,<3,2>},S={<1,2 >,<2,3>},P={<2,1>,<3,1>},
于是有S T ,R (S T ) , R S { 3,2 , 3,3 },R T { 3,3 } 因此(R S) (R T ) { 3,3 } 从而R (S T ) (R S) (R T )
<zn-1,y>∈R1 R1∪R2
从而 x, y (R1 R2 )n
举例说明“ ”成立。设
A {1,2,3},R1 { 1,2 },R2 { 2,3 }于是
t(R1 R2 ) { 1,2 , 1,3 , 2,3 } t(R1) t(R2 ) { 1,2 , 1,3 }
9.
设R1和R2是集合A上的二元关系。注意到
因此, s(R1) s(R2 ) { 1,2 , 2,1 }, 故s(R1 R2 ) s(R1) s(R2 )
(3)由定义,
t(R1) R1 R12 ,t(R2 ) R2 R22 ,
t(R1∩R2)=(R1∩R2)∪(R1∩R2)2∪∧ 于是 t(R1)∩t(R2)=((R1∩R2)∪(R1∩R22)∪∧)
11.
设R是等价关系。若<x,y>,<x,z>∈R,则由 R的对称性知, <y,x> ∈R。再由R的传递 性有<y, z>∈R。
反之, 假设只要<x, y>, <x, z> ∈R,就有<y, z>∈R。
(1)对称性。 设< x, y >∈R,由自反性有 <x, x>∈R。于是<y, x>∈R。
(2)传递性。 设<x, y>, <y, z>∈R。由对称 性有<y, x>∈R, 再由假设有<x, z>∈R。
13.
设R { y, x | x y(mod 5)}, 于是
[0]R {...15,10,5,0,5,10,15...} [1]R {...14,9,4,1,6,11,16...} [2]R {...13,8,3,2,7,12,17...} [3]R {...12,7,2,3,8,13,18...} [4]R {...11,6,1,4,9,14,19...} A / B {[0]R,[1]R,[2]R,[3]R,[4]R}
(2)s(R1 R2 ) (R1 R2 ) (R1 R2 )1 (R1 R2 ) (R11 R21) (R1 R11) (R2 R21)
s(R1) s(R2 )
(3)由定义,
t(R1) R1 R12 ,t(R2 ) R2 R22 ,
t(R1 R2 ) ( R1 R2 ) (R1 R2 )2 ,
∴在构造A上的自反关系的时候可以先将所 有的<x,x>放到这些关系中再考虑其他序偶的 组合。即|β(A×A-{<x,x>})|=2n2-n
(3)共有 2n2n 种定义在A上的不同的反自反关
系;说明: ∵A上的反自反关系必须满足所有 形如<x,x>的序偶不能包含在关系中,
∴在构造A上的反自反关系的时候可以先将所 有的<x,x>拿出后再考虑其他序偶的组合。即
自反性 反自反 对称性 反对称 传递性
R-1
√
√
√
√
√
R∩S
√
R∪S
√
R-S
×
R.S
√
√
√
√
√
√√Βιβλιοθήκη ××√√
√
×
×
×
×
×
思考:假设R,S是定义在有限集合A上的 满足下表列标题性质的二元关系,试判 断下表行标题所列二元关系是否具有相 应性质。