2017离散数学问题详解(1--5)
《离散数学》题库及问题详解
《离散数学》题库与答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( A )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答：在第三章里面有公式（1）是附加律，（4）可以由第二章的蕴含等值式求出（注意与吸收律区别）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）可用蕴含等值式证明3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答：（2）是第三章的化简律，（3）类似附加律，（4）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真蕴含式4、公式∀x((A(x)→B(y，x))∧∃z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。
答：x,y, x,z（考察定义在公式∀x A和∃x A中，称x为指导变元，A为量词的辖域。
在∀x A和∃x A的辖域中，x的所有出现都称为约束出现，即称x为约束变元，A中不是约束出现的其他变项则称为自由变元。
于是A(x)、B(y，x)和∃z C(y，z)中y为自由变元，x和z为约束变元，在D(x)中x为自由变元）5、判断下列语句是不是命题。
若是，给出命题的真值。
( )(1)是中华人民国的首都。
(2) 师大是一座工厂。
(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。
(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是（命题必须满足是述句，不能是疑问句或者祈使句。
）6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。
《离散数学》 习题解答
离散数学习题解 ∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) = m0 ∨ m1 ∨ m4 ∨ m5 ∨ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m1 ∨ m3 ∨ m5 ∨ m7 ⇔ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m4 ∨ m5 ∨ m7 ⇔ ∑(0, 1, 2, 3, 4, 5, 7). 两个公式的主吸取范式不同, 所以(p→q) →rk q→ (p→r).
离散数学习题解 ⇔¬ ((p→q) ∧ (q→p)) ⇔¬ ((¬p∨q) ∧ (¬q∨p)) ⇔ (p∧¬q) ∨ (q∧¬p) ⇔ (p∨q) ∧ (p∨¬p) ∧ (¬q∨q) ∧ (¬p∨¬q) ⇔ (p∨q) ∧¬ (p∧q) (4) (p∧¬q) ∨ (¬p∧q) ⇔ (p∨¬p) ∧ (p∨q) ∧ (¬q∨¬p) ∧ (¬q∨q) ⇔ (p∨q) ∧¬ (p∧q) 2.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 ∨ p(吸收律)⇔ (p¬∨p)¬∧q ∨ p∧(q¬∨q) ⇔ p¬∧q ¬∨p¬∧q ∨ p∧q ∨ p¬∧q ⇔ m10 ∨ m00 ∨ m11 ∨ m10 ⇔ m0 ∨ m2 ∨ m3 ⇔ ∑(0, 2, 3). 成真赋值为 00, 10, 11. (2)主析取范式为 0, 无成真赋值, 为矛盾式. (3)m0∨m1∨m2∨m3∨m4∨m5∨m6∨m7, 为重言式. 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)M4, 成假赋值为 100. (3)主合取范式为 1, 为重言式.
离散数学课后习题答案五
第十四章部分课后习题参考答案5、设无向图G有10条边，3度与4度顶点各2个，其余顶点的度数均小于3,问G至少有多少个顶点？在最少顶点的情况下，写出度数列、厶(G)、.(G)。
解：由握手定理图G的度数之和为：2 10=203度与4度顶点各2个，这4个顶点的度数之和为14度。
其余顶点的度数共有6度。
其余顶点的度数均小于3,欲使G的顶点最少，其余顶点的度数应都取2,所以，G至少有7个顶点,出度数列为3,3,4,4,2,22 .1(G) = 4「(G) = 2 .7、设有向图D的度数列为2, 3, 2, 3,出度列为1, 2，1，1，求D的入度列，并求厶(D),、：(D)，：(D)「.(D),.厂(D),解：D的度数列为2, 3, 2, 3,出度列为1, 2, 1, 1, D的入度列为1,1,1,2..：(D) =3,、(D) =2, ：(D) =2,、• (D) = 1,.厂(D) = 2,、_(D) = 18设无向图中有6条边，3度与5度顶点各1个，其余顶点都是2度点，问该图有多少个顶点？解：由握手定理图G的度数之和为：2 6=12设2度点x个，则3 1 5 1 2x =12 , x=2，该图有4个顶点.14、下面给出的两个正整数数列中哪个是可图化的？对可图化的数列，试给出3种非同构的无向图，其中至少有两个时简单图。
(1) 2,2,3,3,4,4,5 (2) 2,2,2,2,3,3,4,4解：(1) 2+2+3+3+4+4+5=23 是奇数，不可图化；⑵2 + 2+2+2+3+3+4+4=16,是偶数，可图化；18、设有3个4阶4条边的无向简单图G1、G2、G3,证明它们至少有两个是同构的。
证明：4阶4条边的无向简单图的顶点的最大度数为3,度数之和为8,因而度数列为2, 2, 2, 2;3, 2, 2, 1; 3, 3, 1, 1。
但3, 3, 1, 1对应的图不是简单图。
所以从同构的观点看，4阶4条边的无向简单图只有两个：所以，G i 、G 2、G 3至少有两个是同构的。
离散数学(第二版)最全课后习题答案详解
4.将下列命题符号化，并指出真值. （1）2 与 5 都是素数
答：p：2 是素数，q：5 是素数，符号化为 p q∧ ，其真值为 1.
（2）不但 π 是无理数，而且自然对数的底 e 也是无理数. 答：p：π 是无理数，q：自然对数的底 e 是无理数，符号化为 p q∧ ，其真值为 1.
若 p 为真,则真值为 0;若 p 为假,则真值为 1
14.将下列命题符号化：
（1） 刘晓月跑得快,跳得高；
（2） 老王是山东人或者河北人；
（3） 因为天气冷,所以我穿了羽绒服；
（4） 王欢与李乐组成一个小组；
（5） 李欣与李末是兄弟；
（6） 王强与刘威都学过法语；
（7） 他一面吃饭,一面听音乐；
（8） 如果天下大雨,他就乘班车上班；
1
0
1
0
1
0
0
1
1
1
0
0
0
0
1
0
1
0
1
1
1
1
0
0
1
0
1
0
1
0
0
1
1
1
此式为可满足式
20.求下列公式的成真赋值： （1）
（2）
（3）
（4）
p
q
解：
0
0
0
1
1
0
0
1
1
0
1
1
1
0
1
1
1
1
1
1
1
1
0
1
由真值表得：（1）的成真赋值是 01，10,11（2）的成真赋值是 00，10,11
离散数学17
独立集(匹配)、点着色、边着色、面着色、色数等概念 会求阶数 n 较小或特殊图的 0, 0, 0, 1, 1 会用二部图中匹配的理论解简单问题 理解并记住地图面着色与它的对偶图点着色之间的关系 会用点色数及边色数解决一些实际问题.
路径 (7) M的交错圈——由M与EM中的边交替出现构成的G中圈
上图中，只有第一个图存在完美匹配
可增广路径及交错圈
(1)
(2)
(3)
设红色边在匹配M中，绿色边不在M中，则图(1)中的两条路 径均为可增广的交错路径；(2)中的全不是可增广的交错路 径；(3)中是一个交错圈. 不难看出，可增广交错路径中，不在M中的边比在M中的边 多一条. 交错圈一定为偶圈.
立集 (3) 最大点独立集——元素最多的点独立集 (4) 点独立数——最大点独立集中的元素个数，记为0
(1)
(2)
(3)
在图中，点独立数依次为2, 2, 3.
极大独立集与极小支配集
定理18.1 设G=<V,E>中无孤立点，则G的极大点独立集都是 极小支配集.
证明线索： (1) 设V*为G的极大点独立集，证明它也是支配集.
上图中各图的匹配数依次为3, 3, 4.
关于匹配中的其他概念
定义18.6 设M为G中一个匹配. (1) vi 与vj 被M匹配——(vi,vj)M (2) v为M饱和点——有M中边与v关联 (3) v为M非饱和点——无M中边与v关联 (4) M为完美匹配——G中无M非饱和点 (5) M的交错路径——从M与EM中交替取边构成的G中路径 (6) M的可增广交错路径——起、终点都是M非饱和点的交错
解 用二部图中的匹配理论解本题方便. 令G=<V1,V2,E>，其中V1={s, g, x}，s, g, x分别表示上海、广 州和香港. V2={a, b, c, d, e}, E={(u,v) | uV1, vV2, v想去u}. G如图所示.
吉林大学离散数学课后习题问题详解
第一章集合论基础§ 1.1基本要求1.掌握集合、子集、超集、空集、幕集、集合族的概念。
懂得两个集合间相等和包含关系的泄义和性质，能够利用泄义证明两个集合相等。
熟悉常用的集合表示方法。
2.掌握集合的基本运算：并、交、余、差、直乘积、对称差的左义以及集合运算满足的基本算律，能够利用它们来证明更复杂的集合等式。
3.掌握关系、二元关系、空关系、全域关系、相等关系、逆关系的概念以及关系的性质：自反性、对称性、反对称性、传递性。
会做关系的乘积。
了解关系的闭包运算：自反闭包、对称闭包、传递闭包。
4.掌握等价关系、等价类、商集的概念，了解等价关系和划分的在联系。
5.掌握部分序关系、部分序集、全序关系、全序集的概念以及部分序集中的特殊元素：最大元、最小元、极大元、极小元、上确界、小确界的左义。
能画岀有限部分序集的Hasse 图，并根据图讨论部分序集的某些性质。
6.掌握映射、映像、1-1映射等概念，会做映射的乘枳。
了解可数集合的槪念，掌握可数集合的判定方法。
7.了解关系在数据库中的应用（数据的增、删、改）以及划分在计算机中的应用。
§ 1.2主要解题方法1.2.1证明集合的包含关系方法一.用泄义来证明集合的包含关系是最常用也是最基本的一种方法。
要证明ACB,首先任取xeA,再演绎地证出xeB成立。
由于我们选择的元素x是属于A的任何一个，而非特指的一个，故知给出的演绎证明对A中含有的每一个元素都成立。
当A是无限集时，因为我们不能对xwA,逐一地证明xeB成立，所以证明时的假设“x是任取的” 就特别重要。
例121设A, B, C, D是任意四个非空集合，若ACC, BCD,则AxBcCxDo证明：任取(x, y) e AxBt 往证(x, y) e CxD°由(x, y) e AxB 知，xe A, K ye Bo 又由AcC, BcD 知，xeC,且ye D,因此，(Xt y) e CxDo 故，AxBcCxDo方法二.还有一种证明集合包含关系的方法，基于集合的交和并运算的两个基本性质ACB<=> AnB=A <=> AuB=B以及一些已经证岀的集合等式。
离散数学证明题解题方法
离散数学证明题解题方法离散数学是现代数学的一个主要分支，是计算机科学中基础理论的中心课程。
离散数学以研讨离散量的结构和彼此间的联系为主要方针，其研讨对象一般地是有限个或可数个元素，因而他充分描绘了计算机科学离散性的特色。
1、界说和定理多。
离散数学是建立在很多界说上面的逻辑推理学科。
因而对概念的了解是咱们学习这门学科的中心。
在这些概念的基础上，格外要注意概念之间的联络，而描绘这些联络的实体则是很多的定理和性质。
●证实等价联系：即要证实联系有自反、对称、传递的性质。
●证实偏序联系：即要证实联系有自反、反对称、传递的性质。
(特殊联系的证实就列出来两种，要证实剩余的几种只需要联系界说来进行)。
●证实满射：函数f：XY，即要证实关于恣意的yY，都有x或许关于恣意的f(x1)=f(x2)，则有x1=x2。
●证实调集等势：即证实两个调集中存在双射。
有三种情况：榜首、证实两个详细的调集等势，用结构法，或许直接结构一个双射，或许结构两个调集彼此间的入射;第二、已知某个调集的基数，假如为?，就设它和R之间存在双射f，然后通过f的性质推出别的的双射，因而等势;假如为?0，则设和N之间存在双射;第三、已知两个调集等势，然后再证实别的的两个调集等势，这时，先设已知的两个调集存在双射，然后依据剩余题设条件证实要证的两个调集存在双射。
●证实群：即要证实代数系统关闭、可联系、有幺元和逆元。
(相同，这一有些能够作为证实题的概念更多，要联系界说把它们全部搞透彻)。
●证实子群：尽管子群的证实定理有两个，但假如考证实子群的话，一般是第二个定理，即设是群，S是G的非空子集，假如关于S中的恣意元素a和b有a*b-1是的子群。
关于有限子群，则可考虑榜首个定理。
●证实规范子群：若是一个子群，H是G的一个子集，即要证实关于恣意的aG，有aH=Ha，或许关于恣意的hH，有a-1 *h*aH。
这是最常见的标题中所使用的办法。
●证实格和子格：子格没有条件，因而和证实格相同，证实调集中恣意两个元素的最大元和最小元都在调集中。
2017离散数学答案(1--5)
2017离散数学答案(1--5)02任务_0001试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设集合A = {1, a }，则P(A) = ( )．A. {{1}, {a}}B. {,{1}, {a}}C. {{1}, {a}, {1, a }}D. {,{1}, {a}, {1, a }}2. 集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, y A}，则R的性质为（）．A. 不是自反的B. 不是对称的C. 传递的D. 反自反3. 若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是( )．A. {a，{a}}AB. {1，2}AC. {a}AD. A4.设集合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◦g5. 设集合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. 自反和传递6. 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．A. A B，且A BB. B A，且A BC. A B，且A BD. A B，且A B7. 设集合A={1，2，3，4，5}，偏序关系≤是A上的整除关系，则偏序集<A，≤>上的元素5是集合A的（）．A. 最大元B. 最小元C. 极大元D. 极小元8. 若集合A的元素个数为10，则其幂集的元素个数为（）．A. 1024B. 10C. 100D. 19. 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．A. 0B. 2C. 1D. 310. 设集合A={a}，则A的幂集为( )．A. {{a}}B. {a，{a}}C. {，{a}}D. {，a}02任务_0002试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
《离散数学1-7习题解答
p q r 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1
¬p ∧ ¬q ∨ p∧r 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1
2.4. 用等值演算法证明下面等值式: (1) p⇔ (p∧q) ∨ (p∧¬q) (3) ¬ (p↔q) ⇔ (p∨q) ∧¬ (p∧q) (4) (p∧¬q) ∨ (¬p∧q) ⇔ (p∨q) ∧¬ (p∧q) (1) (p∧q) ∨ (p∧¬q) ⇔ p ∧ (q¬∨q) ⇔ p ∧ 1 ⇔ p. (3) ¬ (p↔q)
4
(1)p→ (p∨q∨r) (2)(p→¬q) →¬q (3) ¬ (q→r) ∧r (4)(p→q) → (¬q→¬p) (5)(p∧r) ↔ ( ¬p∧¬q) (6)((p→q) ∧ (q→r)) → (p→r) (7)(p→q) ↔ (r↔s)
离散数学习题解 (1), (4), (6)为重言式. (3)为矛盾式. (2), (5), (7)为可满足式. 1.20． 1.21． 1.22． 1.23． 1.24． 1.25． 1.26． 1.27． 1.28． 1.29． 1.30． 1.31． 略 略 略 略 略 略 略 略 略 略 略 将下列 命题符号化, 并给出各命题的 真值:
5
(1)若 3+＝4, 则地球是静止不动的. (2)若 3+2＝4, 则地球是运动不止的. (3)若地球上没有树木, 则人类不能生存. (4)若地球上没有水, 则 3 是无理数. (1)p→q, 其中, p: 2+2＝4, q: 地球静止不动, 真值为 0. (2)p→q, 其中, p: 2+2＝4, q: 地球运动不止, 真值为 1. (3) ¬p→¬q, 其中, p: 地球上有树木, q: 人类能生存, 真值为 1. (4) ¬p→q, 其中, p: 地球上有水, q: 3 是无理数, 真值为 1.
2017离散数学问题详解(1--5)
02任务_0001试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设集合A = {1, a }，则P(A) = ( )．A. {{1}, {a}}B. {,{1}, {a}}C. {{1}, {a}, {1, a }}D. {,{1}, {a}, {1, a }}2. 集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, y A}，则R的性质为（）．A. 不是自反的B. 不是对称的C. 传递的D. 反自反3. 若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是( )．A. {a，{a}}AB. {1，2}AC. {a}AD. A4.设集合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◦g5. 设集合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. 自反和传递6. 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．A. A B，且A BB. B A，且A BC. A B，且A BD. A B，且A B7. 设集合A={1，2，3，4，5}，偏序关系≤是A上的整除关系，则偏序集<A，≤>上的元素5是集合A的（）．A. 最大元B. 最小元C. 极大元D. 极小元8. 若集合A的元素个数为10，则其幂集的元素个数为（）．A. 1024B. 10C. 100D. 19. 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．A. 0B. 2C. 1D. 310. 设集合A={a}，则A的幂集为( )．A. {{a}}B. {a，{a}}C. {，{a}}D. {，a}02任务_0002试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
(完整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、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-5章
第一章部分课后习题参考答案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⇔117．判断下面一段论述是否为真：“π是无理数。
并且，如果3是无理数，则2也是无理数。
另外6能被2整除，6才能被4整除。
”答：p: π是无理数 1q: 3是无理数 0r: 2是无理数 1s: 6能被2整除 1t: 6能被4整除 0命题符号化为： p∧(q→r)∧(t→s)的真值为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) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答：(2)（p→(p∨q)）∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r （p∨q）→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式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)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∧p)∨(⌝q∧⌝p)∨(p∧q)∨(p∧⌝q)⇔(⌝p∧⌝q)∨(p∧⌝q)∨(p∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式：(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p))⇔1∧(p ∨⌝q)⇔(p ∨⌝q) ⇔ M 1⇔∏(1)(2) 主合取范式为：⌝(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∧1⇔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) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦￢p ⑤⑥拒取式证明（4）：①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥（q→t）∧(t→q)? ⑤置换⑦（q→t）⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理：(1)前提：p→(q→r),s→p,q结论：s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理：(1)前提：p→⌝q,⌝r∨q,r∧⌝s结论：⌝p证明：①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④￢r∨q 前提引入⑤￢r ④化简律⑥r∧￢s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案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)在两个个体域中都解释为)xF∀，在（a）中为假命题，在(b)中为真命题。
2017离散数学答案(1--5).pdf
02任务_0001试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设集合A = {1, a }，则P(A) = ( )．A. {{1}, {a}}B. {,{1}, {a}}C. {{1}, {a}, {1, a }}D. {,{1}, {a}, {1, a }}2. 集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, y A}，则R的性质为（）．A. 不是自反的B. 不是对称的C. 传递的D. 反自反3. 若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是( )．A. {a，{a}}AB. {1，2}AC. {a}AD. A4.设集合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?g5. 设集合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. 自反和传递6. 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．A. A B，且A BB. B A，且A BC. A B，且A BD. A B，且A B7. 设集合A={1，2，3，4，5}，偏序关系是A上的整除关系，则偏序集<A，>上的元素5是集合A的（）．A. 最大元B. 最小元C. 极大元D. 极小元8. 若集合A的元素个数为10，则其幂集的元素个数为（）．A. 1024B. 10C. 100D. 19. 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．A. 0B. 2C. 1D. 310. 设集合A={a}，则A的幂集为( )．A. {{a}}B. {a，{a}}C. {，{a}}D. {，a}02任务_0002试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
离散数学问题详解版(全)
第一章命题逻辑内容：命题与命题联结词、命题公式的根本概念，真值表、根本等价式与永真蕴涵式，命题演算的推理理论中常用的直接证明、条件证明、反证法等证明方法。
教学目的：1．熟练掌握命题、联结词、复合命题、命题公式与其解释的概念。
2．熟练掌握常用的根本等价式与其应用。
3．熟练掌握〔主〕析/合取X式的求法与其应用。
4．熟练掌握常用的永真蕴涵式与其在逻辑推理中的应用。
5．熟练掌握形式演绎的方法。
教学重点：1．命题的概念与判断2．联结词，命题的翻译3．主析〔合〕取X式的求法4．逻辑推理教学难点：1．主析〔合〕取X式的求法2．逻辑推理1.1.1 命题的概念数理逻辑将能够判断真假的陈述句称作命题。
1.1.2 命题的表示命题通常使用大写字母A，B，…，Z或带下标的大写字母或数字表示，如A i，[10]，R等，例如A1：我是一名大学生。
A1:我是一名大学生.[10]：我是一名大学生。
R：我是一名大学生。
（1） P↑P⇔﹁〔P∧P〕⇔﹁P；〔2〕〔P↑Q〕↑〔P↑Q〕⇔﹁〔P↑Q〕⇔ P∧Q；〔3〕〔P↑P〕↑〔Q↑Q〕⇔﹁P↑﹁Q⇔ P∨Q。
〔1〕P↓P⇔﹁〔P∨Q〕⇔﹁P；〔2〕〔P↓Q〕↓〔P↓Q〕⇔﹁〔P↓Q〕⇔P∨Q；〔3〕〔P↓P〕↓〔Q↓Q〕⇔﹁P↓﹁Q⇔﹁〔﹁P∨﹁Q〕⇔P∧Q。
1.3 命题公式、翻译与解释1.3.1 命题公式定义命题公式，简称公式，定义为：〔1〕单个命题变元是公式；〔2〕如果P 是公式，如此﹁P是公式；〔3〕如果P、Q是公式，如此P∧Q、P∨Q、P→Q、 P↔Q 都是公式；〔4〕当且仅当能够有限次的应用(1) 、(2)、(3) 所得到的包括命题变元、联结词和括号的符号串是公式。
例如，下面的符号串都是公式：〔〔〔〔﹁P〕∧Q〕→R〕∨S〕〔〔P→﹁Q〕↔〔﹁R∧S〕〕〔﹁P∨Q〕∧R以下符号串都不是公式：〔〔P∨Q〕↔〔∧Q〕〕〔∧Q〕1.3.2 命题的翻译可以把自然语言中的有些语句，转变成数理逻辑中的符号形式，称为命题的翻译。
数学离散数学常见题型解析
数学离散数学常见题型解析数学离散数学是一门研究数学中离散性、不连续性的分支学科，它与连续性数学形成鲜明对比。
离散数学的研究对象包括离散结构和离散现象，如集合、关系、逻辑、图论等。
在离散数学中，常见的题型有集合论题、逻辑题、图论题等。
本文将对这些常见题型的解题方法进行详细的解析。
一、集合论题解析集合是离散数学的基础概念之一，集合论题主要考察集合的性质和运算。
其中常见的题型包括求交集、并集、补集等。
1.求交集求交集即求两个或多个集合中共有的元素。
解题时需要列出各个集合的元素，然后找出它们的公共元素，即为交集。
例如，已知集合A={1,2,3}，B={2,3,4}，求A和B的交集。
解答如下：交集A∩B={2,3}。
2.求并集求并集即求两个或多个集合中所有的元素的集合。
解题时需要列出各个集合的元素，然后将它们的元素合并起来即可。
例如，已知集合A={1,2,3}，B={2,3,4}，求A和B的并集。
解答如下：并集A∪B={1,2,3,4}。
3.求补集求补集即求一个集合中不包含在另一个集合中的元素。
解题时需要明确补集的参照集合。
例如，已知参照集合U={1,2,3,4,5}，集合A={2,3,4}，求A相对于U的补集。
解答如下：补集A'={1,5}。
二、逻辑题解析逻辑题主要考察命题逻辑和谓词逻辑的推理和判断。
常见的题型包括命题的合取、析取、蕴含关系等。
1.命题合取命题合取即多个命题同时成立，才能得出最终结论为真。
解题时需要逐个判断每个命题的真假，并根据合取关系得出最终结论。
例如，已知命题p：明天下雨，命题q：今天是周二。
判断命题p 合取q的真假。
解答如下：根据实际情况判断，如果p和q都为真，则p合取q为真；反之则为假。
2.命题析取命题析取即多个命题中至少有一个成立，就能得出最终结论为真。
解题时需要逐个判断每个命题的真假，并根据析取关系得出最终结论。
例如，已知命题p：明天下雨，命题q：今天是周二。
判断命题p析取q的真假。
2017离散数学答案1--5)(2)
06任务_0001试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
)1. 命题公式的析取范式是( )．A.B。
C.D.2。
设个体域为整数集,则公式”x＄y(x+y=0）的解释可为( )．A。
存在一整数x有整数y满足x+y=0B. 任一整数x对任意整数y满足x+y=0C. 对任一整数x存在整数y满足x+y=0D。
存在一整数x对任意整数y满足x+y=03。
下列公式成立的为（）．A. ⌝P∧⌝Q ⇔P∨QB. P→⌝Q⇔⌝P→QC。
Q→P⇒ PD。
⌝P∧（P∨Q)⇒Q4. 下列公式中( ）为永真式．A。
⌝A∧⌝B ↔⌝A∨⌝BB. ⌝A∧⌝B ↔⌝(A∨B）C。
⌝A∧⌝B ↔A∨BD. ⌝A∧⌝B ↔⌝（A∧B）5。
设P:我将去打球,Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．A。
B.C.D.6。
命题公式(P∨Q）→R的析取范式是（)A. ⌝（P∨Q)∨RB. (P∧Q）∨RC. (P∨Q）∨RD。
(⌝P∧⌝Q）∨R7. 命题公式（P∨Q）的合取范式是（）．A。
(P∧Q）B。
(P∧Q）∨（P∨Q）C。
（P∨Q）D。
⌝(⌝P∧⌝Q）8. 设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是（)．A. 0, 0, 0B。
0, 0, 1C。
0, 1, 0D。
1, 0, 09。
命题公式P→Q的主合取范式是( ）．A. （P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q10。
下列等价公式成立的为（ )．A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC。
P∧Q⇔P∨QD. ⌝P∨P⇔Q06任务_0002试卷总分：100 测试时间:0单项选择题一、单项选择题(共10 道试题,共100 分.)1。
命题公式（P∨Q)→Q为( )A。
矛盾式B. 可满足式C. 重言式D. 合取范式2。
设个体域为整数集，则公式”x$y（x+y=0)的解释可为（ )．A. 存在一整数x有整数y满足x+y=0B. 任一整数x对任意整数y满足x+y=0C. 对任一整数x存在整数y满足x+y=0D。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
02任务_0001试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设集合A = {1, a }，则P(A) = ( )．A. {{1}, {a}}B. {,{1}, {a}}C. {{1}, {a}, {1, a }}D. {,{1}, {a}, {1, a }}2. 集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, y A}，则R的性质为（）．A. 不是自反的B. 不是对称的C. 传递的D. 反自反3. 若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是( )．A. {a，{a}}AB. {1，2}AC. {a}AD. A4.设集合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◦g5. 设集合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. 自反和传递6. 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．A. A B，且A BB. B A，且A BC. A B，且A BD. A B，且A B7. 设集合A={1，2，3，4，5}，偏序关系≤是A上的整除关系，则偏序集<A，≤>上的元素5是集合A的（）．A. 最大元B. 最小元C. 极大元D. 极小元8. 若集合A的元素个数为10，则其幂集的元素个数为（）．A. 1024B. 10C. 100D. 19. 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．A. 0B. 2C. 1D. 310. 设集合A={a}，则A的幂集为( )．A. {{a}}B. {a，{a}}C. {，{a}}D. {，a}02任务_0002试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设集合A = {1, a }，则P(A) = ( )．A. {{1}, {a}}B. {,{1}, {a}}C. {{1}, {a}, {1, a }}D. {,{1}, {a}, {1, a }}2. 设A、B是两个任意集合，侧A-B =Ø⇔( )．A. A=BB. A⊆BC. A⊇BD. B=Ø3. 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．A. A B，且A BB. B A，且A BC. A B，且A BD. A B，且A B4. 若集合A＝{2，a，{ a }，4}，则下列表述正确的是( )．A. {a，{ a }}∈AB. Ø∈AC. {2}∈AD. { a }⊆A5. 集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={<x，y>|x+y=10且x, y A}，则R的性质为（）．A. 自反的B. 对称的C. 传递且对称的D. 反自反且传递的6. 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．A. 0B. 2C. 1D. 37. 设A={a，b，c}，B={1，2}，作f：A→B，则不同的函数个数为（）．A. 2B. 3C. 6D. 88. 设集合A={1，2，3，4，5}，偏序关系≤是A上的整除关系，则偏序集<A，≤>上的元素5是集合A的（）．A. 最大元B. 最小元C. 极大元D. 极小元9. 若集合A的元素个数为10，则其幂集的元素个数为（）．A. 1024B. 10C. 100D. 110. 设A={a，b}，B={1，2}，C={4，5}，从A到B的函数f={<a，1>, <b，2>}，从B到C的函数g={<1，5>, <2，4>}，则下列表述正确的是（）．A. f°g ={<a，5>, <b，4>}B. g° f ={<a，5>, <b，4>}C. f°g ={<5，a >, <4，b >}D. g° f ={<5，a >, <4，b >}02任务_0003试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设集合A={a}，则A的幂集为( )．A. {{a}}B. {a，{a}}C. {，{a}}D. {，a}2. 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．A. 0B. 2C. 1D. 33. 设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、无、24. 若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是( )．A. {a，{a}}AB. {1，2}AC. {a}AD. A5. 集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, y A}，则R的性质为（）．A. 不是自反的B. 不是对称的C. 传递的D. 反自反6.设集合A={2, 4, 6, 8}，B={1, 3, 5, 7｝，A到B的关系R={<x, y>| y = x +1｝，则R= ( )．A.{<2, 3>, <4, 5>, <6, 7>}B.{<2, 1>, <4, 3>, <6, 5>}C.{<2, 1>, <3, 2>, <4, 3>}D. {<2, 2>, <3, 3>, <4, 6>}7. 设A、B是两个任意集合，侧A-B =Ø⇔( )．A. A=BB. A⊆BC. A⊇BD. B=Ø8. 设集合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. 自反和传递9. 若集合A的元素个数为10，则其幂集的元素个数为（）．A. 1024B. 10C. 100D. 110.设集合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◦g02任务_0004试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设函数f：N→N，f(n)=n+1，下列表述正确的是（）．A. f存在反函数B. f是双射的C. f是满射的D. f是单射函数2. 设A={a，b，c}，B={1，2}，作f：A→B，则不同的函数个数为（）．A. 2B. 3C. 6D. 83. 设集合A={a}，则A的幂集为( )．A. {{a}}B. {a，{a}}C. {，{a}}D. {，a}4. 设A、B是两个任意集合，侧A-B =Ø⇔( )．A. A=BB. A⊆BC. A⊇BD. B=Ø5.设集合A = {1, 2, 3, 4, 5}上的偏序关系的哈斯图如右图所示，若A的子集B = {3, 4, 5}，则元素3为B的（）．A. 下界B. 最小上界C. 最大下界D. 最小元6. 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．A. 0B. 2C. 1D. 37. 设集合A={1, 2, 3}，B={3, 4, 5}，C={5, 6, 7}，则A∪B–C =( )．A. {1, 2, 3, 4}B. {1, 2, 3, 5}C. {2, 3, 4, 5}D. {4, 5, 6, 7}8. 设集合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. 自反和传递9. 设集合A = {1, a }，则P(A) = ( )．A. {{1}, {a}}B. {,{1}, {a}}C. {{1}, {a}, {1, a }}D. {,{1}, {a}, {1, a }}10. 设A={a，b}，B={1，2}，C={4，5}，从A到B的函数f={<a，1>, <b，2>}，从B到C的函数g={<1，5>, <2，4>}，则下列表述正确的是（）．A. f°g ={<a，5>, <b，4>}B. g° f ={<a，5>, <b，4>}C. f°g ={<5，a >, <4，b >}D. g° f ={<5，a >, <4，b >}02任务_0005试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。