离散数学第二次作业
华工离散数学第二次作业
B．F={<1，c>，<2，a>，<3，b>，<4，e>，<5，d>}
C．F ={<1，b>，<2，a>，<3，d>，<4，a>}
D．F={<1，e>，<2，a>，<3，b>，<4，c>，<5，e>}
答题： A. B. C. D.
参考答案：B
13.运算“＋”是整数集I上的普通加法，则群<I,＋>的么元是( )
A．1 B．0 C．2 D．3
答题： A. B. C. D.
参考答案：B
14.下列说法不对的是（）
A．简单图不含平行边和环
B．每个图中，度数为奇数的节点数为偶数
C．有向图中节点的入度等于出度
D．完全图的边数为
答题： A. B. C. D.
C．f ={<1，7>，<2，6>，<3，5>，<4，6>}
D．f ={<1，10>，<2，6>，<3，7>，<4，8>，<5，10>}
答题： A. B. C. D.
参考答案：B
9.设A={1，2，3，4，5, 6}，B={a，b，c，d，e}，以下哪个函数是从A到B的满射函数( )
A．F ={<1，b>，<2，a>，<3，c>，<1，d>，<5，e>, <6，e>}
离散数学课后习题答案二
习题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所得到的二维表。
离散数学第二次作业题及答案.doc
第2次作业一、单项选择题(本大题共40分，共20小题，每小题2分)1.假设A={a, b, c, d},考虑子集S= {{a, b}, {b, c}, {d}},则下列选项正确的是()oA.S是A的覆盖B.S是A的划分C.s既不是划分也不是覆盖D.以上选项都不正确2.设h是群G上的一个同态，|G|二12,山(G)|二3,则|K| (K是h的核)二_________________ ()A.1B.2C.D.3.L23 ), 设G是连通(n,m)的平面图，有r个面，且每个面的次数至少为L( 则A.m>3n-6B.Hl <c.m+n-r=2D.m+r-n二24.如果小王和小张都不去，则小李去。
设P：小王去。
Q：小张去。
R：小李去。
则命题符号化为_________ oA.-I QA-i PVRB.(Q->P)ARC.(n PAn QLRD.(PAQ)-R5.没有不犯错误的人。
M(x)： x为人。
F (x) : x犯错误。
则命题可表示为()OA.(Vx) (M(x) F (x)B.(3x) (M(x) AF(x)C.(Vx) (M(x)AF(x))D.(3x) (M(x)-F(x)6.(1)燕子北冋，春天来了。
设P:燕了北回。
Q：春天來了。
则(1)可以表示为___________ oP->QQ-PC.UQD.P VQ7.命题公式(P->QA-i P)的类型是___________ 。
A.重言式B.矛盾式C.可满足式D.永真式6.一阶逻辑公式Vx(F(x, y)AG(y, z) )—VzF(z, y)是()前束范式封闭公式C.永真式D.永假式7.谓词公式(3x)P(x, y) A (Vx) (Q(x, z)-> Gx) (Vy)R(x, y, z)中的量词Vx 的辖域是()。
A.(Vx)(Q(x,z)->(3 x)( Vy)R(x,y ,z)B.Q(x, z)-> (Vy)R(x, y, z)C.Q (x, z) —(3x) (Vy) R (x, y, z)D.Q(x, z)8.关于半群的性质，下面说法不正确的是()A.若〈S,*>S且*在8上是封闭的，那么匸是一个半群，B<B, *>也是一个半群。
离散数学第2次作业参考答案
1
0
0
1
1
1
0
0
1
1
1
1
1
1
0
1
0
1
(3-2)主析取范式：
(4)由真值表和主析取范式分别可以验证该推理正确。
6、(每题12分，共24分)
(1)如果今天是星期六，我们就要到颐和园或圆明园去玩。如果颐和园游人太多，我们就不去颐和园。今天是星期六。颐和园游人太多。所以我们去圆明园玩。
解：
(1)令p:今天是星期六; q:我们要到颐和园玩; r:我们要到圆明园玩; s:颐和园游人太多.
5、(20分)用2种方法(真值表法、主析取范式法)判断下面推理是否正确。
若 是奇数，则 不能被2整除。若 是偶数，则 能被2整除。因此，如果 是偶数，则 不是奇数。
解：(1)简单命题符号化：
p: 是奇数，q: 能被2整除，r: 是偶数。
(2)前提和结论分别符号化为：
若 是奇数，则 不能被2整除: p→ q。
2018级离散数学第二次作业参考答案
学号：姓名：班级：总分：
1、(每空5分，共30分)
(1)已知公式A含有3个命题变项p,q,r,并且它的成真赋值为000，011，110，那么命题公式A的成假赋值为001,010,100,101,111,主析取范式为 ,主合取范式为M1∧M2∧M4∧M5∧M7。
(2)已知公式A含有3个命题变项，并且公式A的主合取范式为 ，那么公式A的成真赋值为000, 010,101,110,111，成假赋值为001, 011, 100，公式A的主析取范式为 。
解：
令p:小王是理科生, q:小王是文科生, r:小王的数学成绩很好.
前提: p→r, ¬q→p, ¬r
离散数学第一第二次作业
第1部分命题逻辑一、单项选择题1. 下列哪个语句是真命题( )。
(A)我正在说谎(B)如果1+2 = 3,则雪是黑色的(C)如果1+2 = 5,则雪是黑色的(D)上网了吗2 .命题公式为P > (Q > P)( )。
(A)重言式(B)可满足式(C)矛盾式(D)等值式3. 设命题公式P (Q厂P),记作G,则使G的真值指派为1的P, Q 的取值是( )。
(A) (0,0) (B) (0,1) (C) (1,0) (D) (1,1)4. 与命题公式P > (Q > R)等值的公式是( )。
(A) (P Q) > R (B)(P Qp R (C)(P > Q) > R (D)P》(Q R)5 .命题公式(P Q) > P是( )。
(A)永真式(B)永假式(C)可满足式(D)合取范式二、填空题1. ____________________________________________ P, Q为两个命题，当且仅当 _________________________________________ 时，P Q的真值为1,当且仅当_______________________ 时，P Q的真值为0。
2. 给定两个命题公式A, B,若 ________________________________ 时，则称A和B是等值的，记为A= B。
3. ________________________________ 任意两个不同极小项的合取为_______ 式。
4 .设P:天下雨，Q:我们去郊游。
贝S⑴命题如果天不下雨，我们就去郊游”可符号化为_______ 。
第1页(共16页)⑵命题只有天不下雨，我们才去郊游”可符号化为_______ 。
⑶命题我们去郊游，仅当天不下雨”可符号化为_________ 。
5 .设命题公式G = P (-Q R),则使G取真值为1的指派6. 已知命题公式为G = (-P Q) > R,则命题公式G的析取范式是三、计算题1.将下列命题符号化：⑴ 李强不是不聪明，而是不用功；⑵ 如果天不下雨，我们就去郊游；⑶ 只有不下雨，我们才去郊游。
离散数学集合论部分形成性考核书面作业离散数学作业2
离散数学集合论部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握．本次形考书面作业是第一次作业，大家要认真及时地完成集合论部分的综合练习作业．要求：学生提交作业有以下三种方式可供选择：1. 可将此次作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅．2. 在线提交word文档3. 自备答题纸张，将答题过程手工书写，并拍照上传．一、填空题1．设集合{1,2,3},{1,2}A B==，则P(A)-P(B )={{1,2},{2,3},{1,3},{1,2,3}} ，A⨯B={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} ．2．设集合A有10个元素，那么A的幂集合P(A)的元素个数为1024 ．3．设集合A={0, 1, 2, 3}，B={2, 3, 4, 5}，R是A到B的二元关系，R⋂y∈x=且且<>∈∈{B,,xAyAyBx}则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>}．4．设集合A={1, 2, 3, 4 }，B={6, 8, 12}，A到B的二元关系R＝}yyx∈=<>∈A2,x,,xy{B那么R－1＝{<6,3>,<8,4>} ．5．设集合A=｛a, b, c, d｝，A上的二元关系R={<a, b>, <b, a>, <b, c>, <c, d>}，则R具有的性质是反自反性．6．设集合A=｛a, b, c, d｝，A上的二元关系R={<a, a >, <b, b>, <b, c>, <c, d>}，若在R中再增加两个元素<c,b>,<d,c>，则新得到的关系就具有对称性．7．如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有 2 个．8．设A={1, 2}上的二元关系为R={<x, y>|x∈A，y∈A, x+y =10}，则R的自反闭包为{<1,1>,<2,2>} ．9．设R 是集合A 上的等价关系，且1 , 2 , 3是A 中的元素，则R 中至少包含 <1,1>,<2,2>,<3,3> 等元素．10．设A ={1，2}，B ={a ，b }，C ={3，4，5}，从A 到B 的函数f ={<1, a >, <2, b >}，从B 到C 的函数g ={< a ，4>, < b ，3>}，则Ran(g ︒ f )= {<1,a>,<2,b>}或{<1,b>,<2,a>} ．二、判断说明题（判断下列各题，并说明理由．）1．若集合A = {1，2，3}上的二元关系R ={<1, 1>，<2, 2>，<1, 2>}，则 (1) R 是自反的关系； (2) R 是对称的关系．解：(1) 结论不成立．因为关系R 要成为自反的，其中缺少元素<3, 3>． (2) 结论不成立． 因为关系R 中缺少元素<2, 1>2．设A ={1，2，3}，R ={<1，1>, <2，2>, <1，2> ，<2，1>}，则R 是等价关系．解：(1) 结论不成立．因为关系R 要成为自反的，其中缺少元素<3, 3>． (2) 结论不成立．因为关系R 中缺少元素<2, 1>3．若偏序集<A ，R >的哈斯图如图一所示，则集合A 的最大元为a ，最小元不存在．答：错误，按照定义，图中不存在最大元和最小元。
离散第二次作业
13、(1) x( A( x) yB( y))
解： x( A( x) yB( y)) x(A( x) yB( y)) xy(A( x) B( y)) xy( A( x) B( y))
13、(3)
xP( x) xQ( x) x(P( x) Q( x))
US (3) T (2)(4) I US (5) T (1)(6)
17、(1)证明下列推理的正确性。 所有的有理数都是实数。某些有理数是整数。因此某些实 数是整数。 解 首先将命题符号化。设个体域是全总个体域。 令P(x)：x是实数。 Q(x)：x是有理数。 R(x)：x是整数。 x(Q( x ) P ( x )), x(Q( x ) R( x )) 则有前提： 结论：x( P ( x ) R( x ))
2、(1)所有的整数是实数.
解 ： 设 Z ( x) : x是 整 数 ； R( x) : x是 实 数 。 该 命 题 符 号 化 为 x(Z ( x) R( x)).
2、(3) 某些运动员是大学生.
解 ： 设 P( x) : x是 运 动 员 ; L( x） : x是 大 学 生; 该命题符号化为 x( P( x) L( x).
y是自由变元。 6、(4) xyP( x, y) Q( z ) 解： x的辖域是 P( x, y), 在P( x, y)中， x是约束变元 y是自由变元 . y的辖域是 P( x, y ), 在P( x, y )中， y是约束变元 x是自由变元 .
Q(z)不 在量 词 的 辖域 中 ， z是 自由 变 元
1、(4)有一些数是素数.
解：设 P( x) : x是数； Q( x) : x是素数。 该命 题符号 化为 x( P( x) Q( x)).
离散数学第二次作业
离散数学第二次作业一、图的概念、连通性与矩阵表示选择/填空题1、任何n个节点m条边的图G = (V,E) , 边数与顶点度数的关系是。
2、任一有向图中，度数为奇数的结点有( )个。
的边数为。
3、n阶完全图Kn4、n个结点的有向完全图边数是( )，每个结点的度数是( )。
5、已知图G中有1个1度结点，2个2度结点，3个3度结点，4个4度结点，则G的边数是．6、下面四组数能构成无向图的度数列的有( )。
A、 2,3,4,5,6,7；B、 1,2,2,3,4；C、 2,1,1,1,2；D、 3,3,5,6,0。
7、设无向图G有16条边且每个顶点的度数都是2，则图G有( )个顶点。
(1) 10 (2) 4 (3) 8 (4) 168、在有n个顶点的连通图中，其边数（）。
(1) 最多有n-1条 (2) 至少有n-1 条(3) 最多有n条 (4) 至少有n 条的补图为（）。
9、如右图相对于完全图K510、给定无向图G如下图所示，下面给出的结点集子集中，不是点割集的为（）．A．{b, d} B．{d}C．{a, c} D．{b, e}A 、；B 、；C 、；D 、。
综合题17、设G =<V ，E >，V ={ v 1，v 2，v 3，v 4，v 5}，E ={ (v 1,v 3)，(v 2,v 3)，(v 2,v 4)，(v 3,v 4)，(v 3,v 5)，(v 4,v 5) }，试(1) 给出G 的图形表示； (2) 写出其邻接矩阵； (3) 求出每个结点的度数； (4) 画出其补图的图形． 18、已知：D=<V,E>，V={1,2,3,4,5}，E={<1,2>,<1,4>,<2,3>,<3,4>,<3,5>,<5,1>}，求D 的邻接距阵A 和可达距阵P 。
19、无向图G 有12条边，G 中有6个3度结点，其余结点的度数均小于3，问G 中至少有多少个结点？20、 有向图G 如右图所示。
离散数学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 的的矩阵表示和关系图表示。
离散数学作业 (2)
离散数学作业布置第1次作业（P15）1.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(4)（r∧s）→(p∧q)=（0∧1）→(1∧0)=0→0=11.17 判断下面一段论述是否为真：“π是无理数。
并且，如果3是无理数，则2也是无理数。
另外只有6能被2整除，6才能被4整除。
”解：p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。
1.19 用真值表判断下列公式的类型：（4）(p→q) →(﹁q→﹁p)（5）(p∧r) ↔ (﹁p∧﹁q)（6）((p→q) ∧(q→r)) →(p→r)解：（4）p q p→q q p q→p (p→q)→( q→p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式，最后一列全为1（5）公式类型为可满足式（方法如上例），最后一列至少有一个1（6）公式类型为永真式（方法如上例，最后一列全为1）。
第2次作业（P38）2.3 用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.(1) ﹁(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)解：(1) ﹁(p∧q→q) ⇔﹁(﹁(p∧q) ∨q) ⇔(p∧q) ∧﹁q⇔p∧(q ∧﹁q) ⇔ p∧0 ⇔0所以公式类型为矛盾式(2)（p→(p∨q)）∨(p→r) ⇔ (﹁p∨(p∨q))∨(﹁p∨r) ⇔﹁p∨p∨q∨r⇔1所以公式类型为永真式(3) (p∨q) → (p∧r) ⇔￢(p∨q) ∨ (p∧r) ⇔ (￢p∧￢q) ∨(p∧r)易见, 是可满足式, 但不是重言式. 成真赋值为: 000,001, 101, 111P q r ￢p∧￢q p∧r (￢p∧￢q) ∨(p∧r)0 0 0 1 0 10 0 1 1 0 10 1 0 0 0 00 1 1 0 0 01 0 0 0 0 01 0 1 0 1 11 1 0 0 0 01 1 1 0 1 1所以公式类型为可满足式2.4 用等值演算法证明下面等值式：(2) ( (p→q)∧(p→r) ) ⇔ (p→(q∧r))(4)(p∧﹁q)∨(﹁p∧q) ⇔ (p∨q)∧﹁(p∧q)证明（2）(p→q)∧(p→r)⇔( ﹁p∨q)∧(﹁p∨r)⇔﹁p∨(q∧r))⇔p→(q∧r)（4）(p∧﹁q)∨(﹁p∧q) ⇔(p∨(﹁p∧q)) ∧(﹁q∨(﹁p∧q) )⇔ (p∨﹁p)∧(p∨q)∧(﹁q∨﹁p) ∧(﹁q∨q)⇔1∧(p∨q)∧(﹁p∨﹁q)∧1⇔ (p∨q)∧﹁(p∧q)第3次作业（P38）2.5 求下列公式的主析取范式, 并求成真赋值:(1)( ￢p→q) →(￢q∨p)(2) (￢p→q) ∧q∧r(3)(p∨(q∧r)) →(p∨q∨r)(4) ￢(p→q) ∧q∧r解：(1)(￢p→q) →(￢q∨p)⇔￢(p∨q) ∨(￢q∨p)⇔￢p∧￢q ∨￢q ∨p⇔￢q ∨p (吸收律)⇔ (￢p∨p)∧￢q ∨p∧(￢q∨q)⇔￢p∧￢q∨p∧￢q ∨p∧￢q ∨p∧q⇔m0∨m2∨m2∨m3⇔m0∨m2∨m3成真赋值为00, 10, 11.(2) (￢p→q) ∧q∧r⇔ (p∨q) ∧q∧r⇔ (p∧q∧r) ∨q∧r⇔ (p∧q∧r) ∨(￢p ∨p) ∧q∧r⇔p∧q∧r∨￢p ∧q∧r∨p∧q∧r⇔m3∨m7成真赋值为011，111.(3) (p∨(q∧r)) →(p∨q∨r)⇔￢(p∨(q∧r)) ∨(p∨q∨r)⇔￢p∧￢(q∧r) ∨(p∨q∨r)⇔￢p∧(￢q∨￢r)∨(p∨q∨r)⇔￢p∧￢q∨￢p∧￢r∨p∨q∨r⇔￢p∧￢q∧(r∨￢r)∨￢p∧(q∨￢q)∧￢r∨p∧(q∨￢q) ∧(r∨￢r) ∨ (p∨￢p) ∧q∧(r∨￢r)∨(p∨￢p) ∧(q∨￢q) ∧r⇔m0∨m1∨m2∨m3∨m4∨m5∨m6∨m7, 为重言式.(4) ￢(p→q) ∧q∧r⇔￢(￢p∨q) ∧q∧r⇔ (p∧￢q) ∧q∧r⇔ p∧(￢q ∧q)∧r⇔0主析取范式为0, 无成真赋值, 为矛盾式.第4次作业（P38）2.6 求下列公式的主合取范式, 并求成假赋值:(1) ￢(q→￢p) ∧￢p(2)(p∧q) ∨ (￢p∨r)(3)(p→(p∨q)) ∨r解：(1) ￢(q→￢p) ∧￢p⇔￢(￢q∨￢p) ∧￢p⇔q∧p ∧￢p⇔q∧0⇔0⇔M0∧M1∧M2∧M3这是矛盾式. 成假赋值为00, 01, 10, 11.(2)(p∧q) ∨ (￢p∨r)⇔(p∧q) ∨￢p∨r⇔(p∨￢p)∧(￢p ∨q)∨r⇔ (￢p ∨q)∨r⇔￢p ∨q∨r⇔M4, 成假赋值为100.(3)(p→(p∨q)) ∨r⇔(￢p∨(p∨q)) ∨r⇔(￢p∨p)∨q ∨r⇔1主合取范式为1, 为重言式.2.32 用消解原理证明下述公式是矛盾式:(1) (￢p∨q) ∧ (￢p∨r) ∧ (￢q∨￢r) ∧ (p∨￢r) ∧r(2) ￢((p∨q) ∧￢p→q)解：(1) (￢p∨q) ∧ (￢p∨r) ∧ (￢q∨￢r) ∧ (p∨￢r) ∧r第一次循环S0=Φ, S1=｛￢p∨q,￢p∨r,￢q∨￢r,p∨￢r,r｝, S2=Φ由￢p∨r, p∨￢r消解得到λ输出“no”，计算结束(2) ￢((p∨q) ∧￢p→q)⇔￢(￢((p∨q) ∧￢p) ∨q)⇔((p∨q) ∧￢p) ∧￢q⇔ (p∨q) ∧￢p ∧￢q第一次循环S0=Φ, S1=｛p∨q,￢p, ￢q｝, S2=Φ由p∨q,￢p消解得到q,由q, ￢q消解得到λ,输出“no”，计算结束2.33 用消解法判断下述公式是否可满足的:(1) p∧ (￢p∨￢q) ∧q(2) (p∨q) ∧(p∨￢q) ∧(￢p∨ r)解：(1) p∧ (￢p∨￢q) ∧q第一次循环S0=Φ, S1=｛p, ￢p∨￢q, q｝, S2=Φ由p, ￢p∨￢q消解得到￢q,由q, ￢q消解得到λ,输出“no”，计算结束(2) (p∨q) ∧(p∨￢q) ∧(￢p∨ r)第一次循环S0=Φ, S1=｛p∨q, p∨￢q, ￢p∨ r｝, S2=Φ由p∨q, p∨￢q消解得到p,由p∨q, ￢p∨ r消解得到q ∨r,由p∨￢q, ￢p∨ r消解得到￢q ∨r,由p, ￢p∨ r消解得到r,S2=｛p, q ∨r, ￢q ∨r, r｝第二次循环S0=｛p∨q, p∨￢q, ￢p∨ r｝, S1=｛p, q ∨r, ￢q ∨r, r｝, S2=Φ由p∨q, ￢q ∨r消解得到p∨r,由p∨￢q, q ∨r消解得到p∨r,由p∨￢q, q ∨r消解得到p∨r,由￢p∨ r, p 消解得到r,S2=｛p∨r｝第三次循环S0=｛p, q ∨r, ￢q ∨r, r｝, S1=｛p∨r｝, S2=ΦS2=Φ输出“yes”，计算结束3.6 判断下面推理是否正确. 先将简单命题符号化, 再写出前提, 结论, 推理的形式结构(以蕴涵式的形式给出)和判断过程(至少给出两种判断方法):(1)若今天是星期一, 则明天是星期三；今天是星期一. 所以明天是星期三.(2)若今天是星期一, 则明天是星期二；明天是星期二. 所以今天是星期一.(3)若今天是星期一, 则明天是星期三；明天不是星期三. 所以今天不是星期一.(4)若今天是星期一, 则明天是星期二；今天不是星期一. 所以明天不是星期二.(5)若今天是星期一, 则明天是星期二或星期三. 今天是星期一. 所以明天是星期二.(6)今天是星期一当且仅当明天是星期三；今天不是星期一. 所以明天不是星期三.设p: 今天是星期一, q: 明天是星期二, r: 明天是星期三.(1)推理的形式结构为(p→r) ∧p→r此形式结构为重言式, 即(p→r) ∧p⇒r所以推理正确.(2)推理的形式结构为(p→q) ∧q→p此形式结构不是重言式, 故推理不正确.(3)推理形式结构为(p→r) ∧￢r→￢p此形式结构为重言式, 即(p→r) ∧￢r⇒￢p故推理正确.(4)推理形式结构为(p→q) ∧￢p→￢q此形式结构不是重言式, 故推理不正确.(5)推理形式结构为(p→(q∨r) )∧p →q它不是重言式, 故推理不正确.(6)推理形式结构为(p↔r) ∧￢p→￢r此形式结构为重言式, 即(p↔r) ∧￢p⇒￢r故推理正确.推理是否正确, 可用多种方法证明. 证明的方法有真值表法, 等值演算法. 证明推理正确还可用构造证明法.下面用等值演算法和构造证明法证明(6)推理正确.1. 等值演算法(p↔r) ∧￢p→￢r⇔(p→r) ∧(r→p)∧￢p→￢r⇔￢((￢p∨r) ∧(￢r∨p)∧￢p) ∨￢r⇔￢(￢p∨r) ∨￢(￢r∨p) ∨p ∨￢r⇔(p∧￢r)∨(r∧￢p)∨p ∨￢r⇔ (r∧￢p)∨p ∨￢r 吸收律⇔ (r∧￢p)∨￢（￢p ∨r）德摩根律⇔1即(p↔r) ∧￢p⇒￢r故推理正确2.构造证明法前提: (p↔r), ￢p结论: ￢r证明:①p↔r 前提引入②(p→r) ∧(r→p) ①置换③r→p ②化简律④￢p 前提引入⑤￢r ③④拒取式所以, 推理正确.第7次作业（P53-54）3.15 在自然推理系统P中用附加前提法证明下面各推理: (1)前提: p→(q→r), s→p, q结论: s→r(2)前提: (p∨q) →(r∧s), (s∨t) →u结论: p→u(1)证明:①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理(2)证明:①P 附加前提引入②p∨q ①附加③(p∨q) →(r∧s) 前提引入④r∧s ②③假言推理⑤S ④化简⑥s∨t ⑤附加⑦(s∨t) →u 前提引入⑧u ⑥⑦假言推理3.16 在自然推理系统P中用归谬法证明下面推理:(1)前提: p→￢q, ￢r∨q, r∧￢s结论: ￢p(2)前提: p∨q, p→r, q→s结论: r∨s(1)证明:①P 结论否定引入②p→￢q 前提引入③￢q ①②假言推理④￢r∨q 前提引入⑤￢r ③④析取三段论⑥r∧￢s 前提引入⑦r ⑥化简规则⑧￢r∧r ⑤⑦合取引入规则⑧为矛盾式, 由归谬法可知, 推理正确.(2)证明:①￢(r∨s) 结论否定引入②p∨q 前提引入③p→r 前提引入④q→s 前提引入⑤(p→r) ∧(q→s) ∧(p∨q) ②③④合取引入规则⑥r∨s ⑤构造性二难⑦(r∨s) ∧￢(r∨s) ④⑤合取引入规则⑦为矛盾式, 所以推理正确.第8次作业（P65-66）4.5 在一阶逻辑中将下列命题符号化:(1)火车都比轮船快.(2)有的火车比有的汽车快.(3)不存在比所有火车都快的汽车.(4)“凡是汽车就比火车慢”是不对的.解：因为没指明个体域, 因而使用全总个体域(1) ∀x∀y(F(x) ∧G(y) →H(x,y))其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比y 快.(2) ∃x∃y(F(x) ∧G(y) ∧H(x,y))其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比y 快.(3) ￢∃x(F(x) ∧∀y(G(y) →H(x,y)))或∀x(F(x) →∃y(G(y) ∧￢H(x,y)))其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比y 快.(4) ￢∀x∀y(F(x) ∧G(y) →H(x,y))或∃x∃y(F(x) ∧G(y) ∧￢H(x,y) )其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比y 慢.4.9 给定解释I 如下:(a)个体域为实数集合R.(b)特定元素a=0.(c)特定函数-f(x,y)=x-y, x,y∈R.(d)谓词-F(x,y): x=y,-G(x,y): x<y, x,y∈R.给出下列公式在I 下的解释, 并指出它们的真值:(1) ∀x∀y(G(x,y) →￢F(x,y))(2) ∀x∀y(F(f(x,y),a) →G(x,y))(3) ∀x∀y(G(x,y) →￢F(f(x,y),a))(4) ∀x∀y(G(f(x,y),a) →F(x,y))解：(1) ∀x∀y(x<y→x≠y), 真值为1.(2) ∀x∀y((x-y=0) →(x<y)), 真值为0.(3) ∀x∀y((x<y) → (x-y≠0)), 真值为1.(4) ∀x∀y((x-y<0) → (x=y)), 真值为0.第9次作业（P79-80）5.5 给定解释I如下:(a) 个体域D={3,4}；(b)-f(x)：-f(3)=4,-f(4)=3；(c)-F(x,y)：-F(3,3)=-F(4,4)=0,-F(3,4)=-F(4,3)=1.试求下列公式在I下的真值:(1) ∀x∃yF(x,y)(2) ∃x∀yF(x,y)(3)∀x∀y(F(x,y)→F(f(x),f(y)))解：(1)∀x∃yF(x,y)⇔ (F(3,3)∨F(3,4))∧(F(4,3)∨F(4,4))⇔ (0∨1)∧(1∨0) ⇔ 1(2)∃x∀yF(x,y)⇔ (F(3,3)∧F(3,4))∨(F(4,3)∧F(4,4))⇔ (0∧1)∨(1∧0) ⇔ 0(3)∀x∀y(F(x,y)→F(f(x),f(y)))⇔ (F(3,3)→F(f(3),f(3)))∧(F(4,3)→F(f(4),f(3)))∧(F(3,4)→F(f(3),f(4)))∧(F(4,4)→F(f(4),f(4)))⇔ (0→0)∧(1→1)∧(1→1)∧(0→0) ⇔15.12 求下列各式的前束范式.(1)∀xF(x)→∀yG(x, y)(3)∀xF(x, y) ↔∃xG(x, y)(5) ∃x1F(x1, x2)→(F(x1)→￢∃x2G(x1, x2)).解：前束范式不是唯一的.(1) ∀xF(x)→∀yG(x, y)⇔∃x (F(x)→∀yG(t, y))⇔∃x∀y(F(x)→G(t, y)).(3) ∀xF(x, y) ↔∃xG(x, y)⇔ (∀xF(x, y)→∃xG(x, y))∧(∃xG(x, y)→∀xF(x, y))⇔ (∀xF(x, y)→∃uG(u, y))∧(∃xG(x, y)→∀vF(v, y)) ⇔∃x∃u(F(x, y)→G(u, y))∧∀x∀v(G(x, y)→F(v, y))⇔∃x∃u(F(x, y)→G(u, y))∧∀w∀v(G(w, y)→F(v, y)) ⇔∃x∃u∀w∀v ((F(x, y)→G(u, y))∧(G(w, y)→F(v, y))) (5)∃x1F(x1, x2)→(F(x1)→￢∃x2G(x1, x2))⇔∃x1F(x1, x2)→(F(x1)→∀x2￢G(x1, x2))⇔∃x1F(x1, x2)→∀x2(F(x1)→￢G(x1, x2))⇔∃x1F(x1, x3)→∀x2(F(x4)→￢G(x4, x2))⇔∀x1(F(x1, x3)→∀x2(F(x4)→￢G(x4, x2)))⇔∀x1∀x2 (F(x1, x3)→(F(x4)→￢G(x4, x2)))第10次作业（P79-80）5.15 在自然推理系统F L中,构造下面推理的证明:(1) 前提: ∃xF(x) →∀y((F(y)∨G(y))→R(y)),∃xF(x) 结论:∃xR(x).(2) 前提:∀x(F(x)→(G(a)∧R(x))),∃xF(x)结论:∃x(F(x)∧R(x))(3) 前提:∀x(F(x)∨G(x)),￢∃xG(x)结论:∃xF(x)(4) 前提:∀x(F(x)∨G(x)),∀x(￢G(x)∨￢R(x)),∀xR(x)结论: ∃xF(x)(1)证明:①∃xF(x) →∀y((F(y)∨G(y))→R(y)) 前提引入②∃xF(x) 前提引入③∀y((F(y)∨G(y))→R(y)) ①②假言推理④(F(c)∨G(c))→R(c) ③全称量词消去规则⑤F(c) ①存在量词消去规则⑥F(c) ∨G(c) ⑤附加⑦R(c) ④⑥假言推理⑧∃xR(x) ⑦存在量词引入规则(2) 证明:①∃xF(x) 前提引入②F(c) ①存在量词消去规则③∀x(F(x)→(G(a)∧R(x))) 前提引入④F(c)→(G(a)∧R(c)) ④全称量词消去规则⑤G(a)∧R(c) ②④假言推理⑥R(c) ⑤化简⑦F(c)∧R(c) ②⑥合取引入⑧∃x(F(x)∧R(x)) ⑦存在量词引入规则(3) 证明:①￢∃xG(x) 前提引入②∀x￢G(x) ①置换③￢G(c) ②全称量词消去规则④∀x(F(x)∨G(x)) 前提引入⑤F(c)∨G(c) ④全称量词消去规则⑥F(c) ③⑤析取三段论⑦∃xF(x) ⑥存在量词引入规则(4) 证明:①∀x(F(x)∨G(x)) 前提引入②F(y)∨G(y) ①全称量词消去规则③∀x(￢G(x)∨￢R(x)) 前提引入④￢G(y) ∨￢R(y) ③全称量词消去规则⑤∀xR(x) 前提引入⑥R(y) ⑤全称量词消去规则⑦￢G(y) ④⑥析取三段论⑧F(y) ②⑦析取三段论⑥∃xF(x) ⑧存在量词引入规则第11次作业（P96）6.4. 设F 表示一年级大学生的集合, S 表示二年级大学生的集合, M表示数学专业学生的集合, R 表示计算机专业学生的集合, T表示听离散数学课学生的集合, G 表示星期一晚上参加音乐会的学生的集合, H 表示星期一晚上很迟才睡觉的学生的集合. 问下列各句子所对应的集合表达式分别是什么? 请从备选的答案中挑出来.(1)所有计算机专业二年级的学生在学离散数学课.(2)这些且只有这些学离散数学课的学生或者星期一晚上去听音乐会的学生在星期一晚上很迟才睡觉.(3)听离散数学课的学生都没参加星期一晚上的音乐会.(4)这个音乐会只有大学一, 二年级的学生参加.(5)除去数学专业和计算机专业以外的二年级学生都去参加了音乐会.备选答案:①T⊆G∪H ②G∪H⊆T ③S∩R⊆T④H＝G∪T ⑤T∩G＝∅⑥F∪S⊆G⑦G⊆F∪S ⑧S-(R∪M) ⊆G ⑥G⊆S-(R∩M)解:(1) ③S∩R⊆T(2) ④H=G∪T(3) ⑤T∩G=∅(4) ⑦G⊆F∪S(5) ⑧S-(R∪M)⊆G6.5. 确定下列命题是否为真:(1) ∅⊆∅(2) ∅∈∅(3) ∅⊆{∅}(4)∅∈{∅}(5){a, b}⊆{a, b, c, {a, b, c}}(6){a, b}∈{a, b, c, {a, b }}(7){a, b}⊆{a, b, {{a, b}}}(8){a, b}∈{a, b, {{a, b}}}解:(1) 真(2)假(3) 真(4) 真(5) 真(6) 真(7) 真(8) 假第12次作业（P130-131）7.1. 已知A={∅,{∅}},求A×P(A).解:A×P(A)= {∅,{∅}}×{∅,{∅},{{∅}},{∅,{∅}}}={<∅, ∅>,<∅,{∅}>,<∅,{{∅}}>,<∅,{∅,{∅}}>,<{∅},∅>,<{∅},{∅}>,<{∅},{{∅}}>, <{∅},{∅,{∅}}>}7.7. 列出集合A={2, 3, 4}上的恒等关系I A, 全域关系E A, 小于或等于关系L A, 整除关系D A.解:I A={<2,2>,<3,3>,<4,4>}E A=A×A={<2,2>,<2,3>,<2,4>,<3,2>,<3,3>,<3,4>,<4,2>,<4,3>,<4,4>}L A={<2,2>,<2,3>,<2,4>,<3,3>,<3,4>,<4,4>}D A={<2,2>,<2,4>,<3,3>,<4,4>}7.12.设A={0, 1, 2, 3}, R 是A 上的关系, 且R={〈0, 0〉, 〈0, 3〉, 〈2, 0〉, 〈2, 1〉, 〈2, 3〉, 〈3, 2〉}给出R 的关系矩阵和关系图.解:⎪⎪⎪⎪⎪⎭⎫ ⎝⎛0010110100001001第13次作业（P131）7.13.设A = {〈1, 2〉, 〈2, 4〉, 〈3, 3〉}B = {〈1, 3〉, 〈2, 4〉, 〈4, 2〉}求A ∪B , A ∩B , dom A , dom(A ∪B ), ran A , ran B , ran(A ∩B ), fld(A −B ).解:A ∪B={〈1,2〉, 〈1,3〉, 〈2,4〉, 〈3,3〉, 〈4,2〉} A∩B={〈2,4〉} domA={1,2,3}dom(A ∪B)={1,2,3,4} ranA={2,3,4} ranB={3,4,2}ran(A∩B)={4}fld(A−B)={1,2,3}7.15.设A={〈∅,{∅,{∅}}〉,〈{∅},∅〉}求A −1,A 2,A 3,A ↾{∅},A[∅],A↾∅,A ↾{{∅}},A[{{∅}}].解:A −1={〈{∅,{∅}},∅〉,〈∅,{∅}〉},A 2={〈{∅},{∅,{∅}}〉},A 3=∅,A ↾{∅}={〈∅,{∅,{∅}}〉},A[∅]={∅,{∅}},A ↾∅=∅,A ↾{{∅}}={〈{∅},∅〉},A[{{∅}}]=∅7.16.设A={a,b,c,d}, R1,R2 为A 上的关系, 其中R 1={〈a,a〉,〈a,b〉,〈b,d〉}R 2={〈a,d〉,〈b,c〉,〈b,d〉,〈c,b〉}求R 1○R 2, R 2○R 1,R 12,R 23.解:R 1○R 2={〈a,a〉,〈a,c〉,〈a,d〉},R 2○R 1={〈c,d〉},R 12={〈a,a〉,〈a,b〉,〈a,d〉},R 23={〈b,c〉,〈b,d〉,〈c,b〉} 0 1 237.17.设A={a,b,c}, 试给出A 上两个不同的关系R 1和R 2,使得 R 12=R 1, R 23=R 2.解:R 1={〈a,a〉,〈b,b〉},R 2={〈b,c〉,〈c,b〉}第14次作业（P131-133）7.21. 设A={1，2，…,10},定义A 上的关系R={<x,y>|x,y ∈A ∧x+y=10}说明R 具有哪些性质并说明理由。
20XX年4月考试离散数学第二次作业
20XX年4月考试离散数学第二次作业20XX年4月考试离散数学第二次作业一、单项挑选题（本大题共50分，共 25 小题，每小题 2 分）1. 下列语句中为命题的是（）A. 暮春三月，江南草长.B. 这是多么可爱的风景啊！C. 大伙儿想做啥，就做啥，行吗？D. 请勿践踏草地！2. 2.设G是n个顶点的无向简单图，则下列讲法别正确的是（）A. 若G是树，则其边数等于n-1B. 若G是欧拉图，则G中必有割边C. 若G中有欧拉路，则G是连通图，且有零个或两个奇度数顶点D. 若G中任意一对顶点的度数之和大于等于n-1，则G中有汉密尔顿路3. 集合|A|=3，|B|=2，则A B上别同的函数个数为（）。
A. 3+2个B. 32个C. 2*3个D. 23个4. 设A-B=φ，则以下正确的是（）。
A. A＝BB. A?BC. B?AD. 以上都别对5. 设R为实数集，函数f：R→R，f(x)=2x，则f是（）A. 满射函数B. 入射函数C. 双射函数D. 非入射非满射6. 设B={a,b,c},C={1,2,3,4}，以下哪个关系是从B到C的单射函数？（）A. f={,,,,}B. f={,,,,}C. f={,,,}D. f={,,,,}E.f={,,,,}7. 下述*运算为实数集上的运算，其中可交换且可结合的运就是（）。
A. a*b=a+2b B. a*b=a+b-ab C. a*b=a D. a*b=|a+b|8. 在下列命题中，为确实命题是（）A. 汉密顿图一定是欧拉图B. 无向彻底图基本上欧拉图C. 度数为奇数的结点个数为0个或2个的连通无向图G能够一笔画出D. 有割点的连通图是汉密顿图9. 设p:小李努力学习，q:小李取得好成绩，命题“惟独小李努力学习，他才干取得好成绩”的符号化形式为（）。
A. B. C.D.10. 若个体域为整数集，下列公式中哪个值为真？（）A. ?x y(x+y=0)B. y?x(x+y=0)C. x?y(x+y=0)D. ?x?y(x+y=0)11. 若X是Y的子集，则一定有（）。
国家开放大学电大本科《离散数学》网络课形考任务2作业及答案
国家开放大学电大本科《离散数学》网络课形考任务2作业及答案此任务2 g选择题题目1 无向完全图K4是()、选择一项：A、树 B、欧拉图 C、汉密尔顿图 D、非平面图题目2 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T 的树叶数为()、选择一项： A、4 B、8 C、3 D、5 题目3 设无向图G的邻接矩阵为 011111 0 0111 0 0 0 011 0 011 01 0 则G 的边数为( 选择一项： A、7 B、14 C、6 D、1 题目4 如图一所示，以下说法正确的是()、选择一项： A、 ((a, e), (b, c)｝是边割集 B、｛(a, e)｝是边割集 C、｛（d, e）｝是边割集 D、（（a, e）｝是割边题目5 以下结论正确的是（）、选择一项： A、有n个结点n-l条边的无向图都是树B、无向完全图都是平面图 C、树的每条边都是割边 D、无向完全图都是欧拉图题目6 若G是一个欧拉图，则G一定是（）、选择一项： A、汉密尔顿图 B、连通图 C、平面图 D、对偶图题目7 设图G=, vGV,则下列结论成立的是（）、选择一项：A、云 d做、）=2|% B、2>“ = |司 w C、 deg（v）=2|S| D、deg（v）=|E| 题目8 图G如图三所示，以下说法正确的是（）、选择一项： A、（b, d｝是点割集 B、｛c｝是点割集 C、｛b, c｝是点割集 D、 a是割点题目9 设有向图（a）、（b）、（c）与（d）如图五所示，则下列结论成立的是（）、选择一项： (a)是费连通的 B、 (d)是强连通的 C、 (c)是强连通的D、 (b)是强连通的题目10 设有向图(a)、(b)、(c)与(d)如图六所示，则下列结论成立的是()、选择一项： A、 (b)只是弱连通的 B、 (c)只是弱连通的 C、 (a)只是弱连通的 D、 (d)只是弱连通的判断逝题目11 设图G是有6个结点的连通图，结点的总度数为18,则可从G中删去4条边后使之变成树、()选择一项：对错题目12 汉密尔顿图一定是欧拉图、()选择一项：对错题目13 设连通平面图G的结点数为5,边数为6,则面数为4、()选择一项：对错题目14 设G是一个有7个结点16条边的连通图，则G为平面图、()选择一项：对错题目15 如图八所示的图G存在一条欧拉回路、()选择一项：对错题目16 设图G如图七所示，则图G的点割集是{f}、()选择一项：对错题目172>瞒)=2圜设G是一个图，结点集合为V,边集合为E,则代衫()选择一项：对错题目18 设图G是有5个结点的连通图，结点度数总和为10,则可从G中删去6条边后使之变成树、()选择一项：对错题目19 如图九所示的图G不是欧拉图而是汉密尔顿图、()选择一项：对错题目20 若图 G=,其中 V=( a, b, c, d }, E={ (a, b), (a, d), (b, c), (b, d)},则该图中的割边为(b, c)、()选择一项：对。
2018年国开离散数学作业2及答案
离散数学集合论部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。
本次形考书面作业是第一次作业，大家要认真及时地完成集合论部分的综合练习作业。
要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求2010年11月7日前完成并上交任课教师（不收电子稿）。
并在03任务界面下方点击“保存”和“交卷”按钮，完成并上交任课教师。
一、填空题1．设集合{1,2,3},{1,2}A B==，则P(A)-P(B )={{1,2},{2,3},{1,3},{1,2,3}}，A⨯B={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>}．2．设集合A有10个元素，那么A的幂集合P(A)的元素个数为1024 ．3．设集合A={0, 1, 2, 3}，B={2, 3, 4, 5}，R是A到B的二元关系，∈x∈R⋂<且=且>y∈{B,,xAyAyBx}则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>}．4．设集合A={1, 2, 3, 4 }，B={6, 8, 12}，A到B的二元关系R＝}yyx∈=<>∈x2,x,,{ByA那么R－1＝{<6,3>,<8,4>}5．设集合A=｛a, b, c, d｝，A上的二元关系R={<a, b>, <b, a>, <b, c>, <c, d>}，则R具有的性质是反自反性．6．设集合A=｛a, b, c, d｝，A上的二元关系R={<a, a >, <b, b>, <b, c>, <c, d>}，若在R中再增加两个元素<c, b>, <d, c>，则新得到的关系就具有对称性．7．如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有 2 个．8．设A={1, 2}上的二元关系为R={<x, y>|x∈A，y∈A, x+y =10}，则R的自反闭包为{<1,1>,<2,2>}．9．设R是集合A上的等价关系，且1 , 2 , 3是A中的元素，则R中至少包含<1,1>,<2,2>,<3,3>等元素．10．设集合A={1, 2}，B={a, b}，那么集合A到B的双射函数是{<1,a>,<2,b>}或{<1,b>,<2,a>} ．二、判断说明题（判断下列各题，并说明理由．）1．若集合A = {1，2，3}上的二元关系R ={<1, 1>，<2, 2>，<1, 2>}，则(1) R 是自反的关系； (2) R 是对称的关系．解：(1) 结论不成立．因为关系R 要成为自反的，其中缺少元素<3, 3>．(2) 结论不成立．因为关系R 中缺少元素<2, 1>．2．如果R 1和R 2是A 上的自反关系，判断结论：“R -11、R 1∪R 2、R 1∩R 2是自反的” 是否成立？并说明理由．解：结论成立．因为R 1和R 2是A 上的自反关系，即I A ⊆R 1，I A ⊆R 2．由逆关系定义和I A ⊆R 1，得I A ⊆ R 1-1；由I A ⊆R 1，I A ⊆R 2，得I A ⊆ R 1∪R 2，I A ⊆ R 1⋂R 2．所以，R 1-1、R 1∪R 2、R 1⋂R 2是自反的．3．若偏序集<A ，R >的哈斯图如图一所示，则集合A 的最大元为a ，最小元不存在． 错误，按照定义，图中不存在最大元和最小元。
《离散数学》第二次作业
《离散数学》第二次作业校外学习中心： 专业： 姓名：学号：作业要求：1、离线作业主要用于引导学生自主学习，学生可根据自己的学习情况与需求自愿完成。
2、 不参加在线测查的，学习中心应将学生的离线作业邮寄到东北师大网络教学管理部批阅，具体时间见本学期院历（日期以当地交邮时间为准）。
3、离线作业必须由本人手写完成，如发现作业非本人手写，一律无效。
得 分一、单项选择题（每小题2分，共16分）1. 设G 是4阶群，则其子群的阶不能是下面的 C 。
A. 1B. 2C. 3D. 42. 数的加法在下列集合中 C 上是封闭的。
A ．{}1 , 0B ．{}1 1，-C ．{}Z b a b a ∈+ ,D ．{}是奇数x x3. 下列图形中为欧拉图的是 C 。
4. 下列代数系统* , G 中， D 不构成群。
A ．{}01 , 1=G ，*是模11乘法 B ．{}9 , 5 , 4 , 3 , 1=G ，*是模11乘法 C ．G 为有理数集，*是普通加法D ．G 为有理数集，*是普通乘法5. 设G 为有n 个顶点的简单图，则有 A 。
A ． ()n G ∆B ． ()n G ≤∆C ． ()n G ∆D ． ()n G ≥∆6．任意一个具有多个等幂元的半群 (若元素a 满足a a a =*，则称a 为等幂元)，该半群 A 。
A ．不能构成群B ．不一定能构成群C ．必能构成群D ．能构成交换群7．设I 是整数集合，下列集合中 D 关于数的加法和乘法构成整环。
A ．{}I n n ∈ 2B ．{}I n n ∈+ 12C ．{}I n n n ∈≥ , 0D ．I8．设集合{}3 , 2 , 1=A ，{}5 , 4 , 3 , 2=B ，{}16 , 8 , 4 , 2=C ，{}4 , 3 , 2 , 1=D ，又规定偏序关系“|”是集合上的“整除”关系，则下列偏序集中 C 能构成格。
A ．, A B ． , B C ． , CD ．, D二、填空题（每空2分，共18分）1. 当n 为 奇 数时，()3≥n K n 必为欧拉图。
交大网络学院离散数学第二次作业
1. 令f和g分别为从{1，2，3，4}到｛a,b,c，d｝和从{a，b,c,d｝到{1,2，3，4｝的两个函数，且满足f（1)=d, f(2)=c，f(3)=a, f（4)=b和g（a)=2，g（b）=1, g（c)=3，g（d)=2.则：（1）f 是一对一的函数吗？g呢？（2）f是映上函数吗? g呢?（3）f或g是否有逆函数？若有，求出逆函数。
解:(1）∵f=｛（1，d),（2,c),（3，a），（4，b)} ∴f是一对一函数∵g=｛(a，2）,（b，1），(c,3)，（d,2)} 又∵g(a）=2=g(d) ∴g不是一对一函数(2) f是映上函数,因为Y= {a，b,c，d｝中的每个元素至少被X={1，2，3，4｝的一个元素所指向。
g不是映上函数,因为Y={1，2，3，4}中的元素4没有被X=｛a，b,c,d｝的元素所指向.（3）∵f是一对一的映上函数∴f有逆函数，f—1=｛（d,1）,（c，2），（a，3）,(b，4）｝∵g不是一对一且映上的函数∴g没有逆函数2。
以8,14，32,86，248开头的序列之项推测一个表达式,并据此求出该序列的后续三项。
解:3。
方程x1+x2+x3+x4+x5=21有多少个解？其中xi≥2 （i=1，2，3,4,5)是非负整数.解：可将题目转化为把21个相同的球放入5个不同的盒子,每个盒子至少放2个球有多少种方法的问题.使用隔板法可得C（21-5x2+5—1，21—5x2）=C（15，11）= = 1365个解.4. 把6个相同的球放到9个不同的箱子，有多少种方法？解：C（9+6—1, 6）= C(14，6) ==3003 种方法5。
使用ABRACADABRA 中的所有字母可以构造多少个不同的串？解:C(11，5）C(6，2）C（4，2)C(2，1）===41580。
离散数学第二次作业
第二次作业1、使用包含排斥原理求在1~10000之间（包括1和10000在内）不能被4、5、6整除的整数有多少个？（见书P107 24）解:|A|=[10000/4]=2500|B|=[10000/5]=2000|C|=[10000/6]=1666|A∩ B|=[1000/lcm(4,5)]=[10000/20]=500|A∩ C|=[1000/lcm(4,6)]=[10000/12]=833|B∩ C|=[1000/lcm(5,6)]=[10000/30]=333|A∩ B ∩ C|=[1000/lcm(4,5,6)]=[10000/60]=166|¯A ∩¯B ∩¯C|=|S|-(|A|+|B|+|C|)+(|A∩ B|+|A∩ C|+|B∩ C|)-|A∩ B ∩ C|=10000-(2500+2000+1666) +(500+833+333) -166=53342、证明下列集合恒等式：（见书P108 33）（1）A∩（B∪~A）= B∩A证对任意的X ,有X ∈A ∩(B ∪~A) ⇔x ∈A ∧X ∈(B ∪~A)⇔X ∈A ∧(X ∈B ∨X ∈~A)⇔X ∈A ∧(X ∈B ∨X ∉ A )⇔X ∈A ∧(X ∈B ∨⌝X ∈A )⇔X ∈A ∧X ∈B⇔A ∩B⇔B ∩A所以 A ∩(B ∪~A) = B∩（2）~（（~A∪~B）∩~A）=A证~((~A∪~B)∩~A) =(~A∪~B)∩~A双重否定律= ~A吸收律=A双重否定律3、设A={<1,2>,<2,4>,<3,3>}B={<1,3>,<2,4>,<4,2>}求A∪B，A∩B，domA，domB，dom（A∪B），ranA，ranB, ran(A∩B), fld(A-B) A ∪B={<1,2>,<2,4>,<3,3>, <1,3>,<4,2>}A ∩B={<2,4>}A-B={<1,2>, <3,3>, <1,3>, <4,2>}domA={1,2,3}domB={1,2,4}dom (A ∪B ) ={1,2,3,4}ranA={2,4,3}ranB={3,4,2}ran(A∩B)={4}fld(A-B)={1,2,3,4}4、设A={a,b,c,d}, R1, R2为A上的关系，其中R1={<a,a>,<a,b>,<b,d>}R2={<a,d>,<b,c>,<b,d>,<c,b>}求R1︒ R2，R2︒ R1，R12，R23 （见书P140 16）解: R1︒ R2={<a,d>,<a,c>,<a,d>}R2︒ R1={<c,d>}R12= R1︒R1{<a,a>,<a,b>,<a,d>}R22= R2︒ R2={<b,b>,<c,c>,<c,d>}R23= R2︒ R22={<b,c>,<c,b>,<b,d>}【本文档内容可以自由复制内容或自由编辑修改内容期待你的好评和关注，我们将会做得更好】。
离散数学作业答案
离散数学作业5离散数学图论部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。
本次形考书面作业是第二次作业，大家要认真及时地完成图论部分的综合练习作业。
要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求本学期第15周末前完成并上交任课教师（不收电子稿）。
并在05任务界面下方点击“保存”和“交卷”按钮，以便教师评分。
一、填空题1．已知图G 中有1个1度结点，2个2度结点，3个3度结点，4个4度结点，则G 的边数是15． 2．设给定图G (如右由图所示)，则图G 的点割集是{f}．3．设G 是一个图，结点集合为V ，边集合为E ，则G 的结点度数之和等于边数的两倍．4．无向图G 存在欧拉回路，当且仅当G 连通且等于出度．5．设G=<V ，E >是具有n 个结点的简单图，若在G 中每一对结点度数之和大于等于n-1，则在G 中存在一条汉密尔顿路．6．若图G=<V ,E>中具有一条汉密尔顿回路，则对于结点集V 的每个非空子集S ，在G 中删除S 中的所有结点得到的连通分支数为W ，则S 中结点数|S|与W 满足的关系式为W ?|S|．7．设完全图K n 有n 个结点(n ?2)，m 条边，当n 为奇数时，K n 中存在欧拉回路．8．结点数v 与边数e 满足e=v -1关系的无向连通图就是树．9．设图G 是有6个结点的连通图，结点的总度数为18，则可从G 中删去 4条边后使之变成树．10．设正则5叉树的树叶数为17，则分支数为i =5．二、判断说明题（判断下列各题，并说明理由．）1．如果图G 是无向图，且其结点度数均为偶数，则图G 存在一条欧拉回路．． 错。
离散数学第二次作业
参考试题02_0001试卷总分：100 测试时间：0单项选择题一、单项选择题（共 10 道试题，共 100 分。
）1. 设A={1, 2, 3, 4, 5, 6, 7, 8}，R是A上的整除关系，B={2, 4, 6}，则集合B的最大元、最小元、上界、下界依次为 ( )．A. 8、2、8、2B. 8、1、6、1C. 6、2、6、2D. 无、2、无、22.设集合A ={1 , 2, 3}上的函数分别为：f = {<1, 2>，<2, 1>，<3, 3>}，g = {<1, 3>，<2, 2>，<3, 2>}，h = {<1, 3>，<2, 1>，<3, 1>}，则h =（）．A. f◦gB. g◦fC. f◦fD. g◦g3. 设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>，<2, 2>，<2, 3>，<4, 4>}，S={<1, 1>，<2, 2>，<2, 3>，<3, 2>，<4, 4>}，则S是R的（）闭包．A. 自反B. 传递C. 对称D. 自反和传递4. 集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={<x，y>|x+y=10且x, y A}，则R的性质为（）．A. 自反的B. 对称的C. 传递且对称的D. 反自反且传递的5. 设集合A = {1, a }，则P(A) = ( )．A. {{1}, {a}}B. {,{1}, {a}}C. {{1}, {a}, {1, a }}D. {,{1}, {a}, {1, a }}6. 设集合A={a}，则A的幂集为( )．A. {{a}}B. {a，{a}}C. {，{a}}D. {，a}7. 若集合A的元素个数为10，则其幂集的元素个数为（）．A. 1024B. 10C. 100D. 18. 集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, y A}，则R的性质为（）．A. 不是自反的B. 不是对称的C. 传递的D. 反自反9. 设A={a，b，c}，B={1，2}，作f：A→B，则不同的函数个数为．A. 2B. 3C. 6D. 810. 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．A. A B，且A BB. B A，且A BC. A B，且A BD. A B，且A B参考试题02_0002试卷总分：100 测试时间：0单项选择题一、单项选择题（共 10 道试题，共 100 分。