江西师大2011-2012学年第二学期离散数学试题2答案
离散数学课后习题及答案
离散数学课后习题及答案离散数学是计算机科学与数学的重要基础课程之一，它涵盖了很多重要的概念和理论。
为了更好地掌握离散数学的知识，课后习题是必不可少的一部分。
本文将介绍一些常见的离散数学课后习题，并提供相应的答案，希望对读者有所帮助。
一、集合论1. 设A={1,2,3}，B={2,3,4}，求A∪B和A∩B的结果。
答案：A∪B={1,2,3,4}，A∩B={2,3}2. 设A={1,2,3}，B={2,3,4}，C={3,4,5}，求(A∪B)∩C的结果。
答案：(A∪B)∩C={3,4}二、逻辑与命题1. 判断下列命题的真假：a) 若2+2=5，则地球是平的。
b) 若今天下雨，则我会带伞。
c) 若x>0，则x^2>0。
答案：a)假，b)真，c)真。
2. 用真值表验证下列命题的等价性：a) p∧(q∨r) ≡ (p∧q)∨(p∧r)b) p→q ≡ ¬p∨q答案：a)等价，b)等价。
三、关系与函数1. 给定关系R={(1,2),(2,3),(3,4)}，求R的逆关系R^-1。
答案：R^-1={(2,1),(3,2),(4,3)}2. 设函数f(x)=x^2，g(x)=2x+1，求复合函数f(g(x))的表达式。
答案：f(g(x))=(2x+1)^2=4x^2+4x+1四、图论1. 给定图G，其邻接矩阵为：0 1 11 0 11 1 0求图G的度数序列。
答案：度数序列为(2,2,2)2. 判断下列图是否为连通图：a) G1的邻接矩阵为：0 1 11 0 01 0 0b) G2的邻接矩阵为：0 1 01 0 10 1 0答案：a)不是连通图，b)是连通图。
五、组合数学1. 从10个不同的球中，任选3个，求共有多少种选法。
答案：C(10,3)=120种选法。
2. 求下列排列的循环节：a) (123)(45)(67)b) (12)(34)(56)(78)答案：a)循环节为(123)(45)(67)，b)循环节为(12)(34)(56)(78)。
离散数学习题答案及解析_2
离散数学习题答案习题一1、利用逻辑联结词把下列命题翻译成符号逻辑形式（1）他既是本片的编剧,又是导演--- P∧ Q（2）银行利率一降低,股价随之上扬--- P→ Q（3）尽管银行利率降低,股价却没有上扬--- P∧ Q（4）占据空间的、有质量而且不断变化的对象称为物质--- M ←→<S∧P∧T> （5）他今天不是乘火车去北京,就是随旅行团去了九寨沟 --- P▽ Q（6）小张身体单薄,但是极少生病,并且头脑好使--- P∧ Q ∧ R（7）不识庐山真面目,只缘身在此山中--- P→ Q〔解释：因为身在此山中,所以不识庐山真面目（8）两个三角形相似,当且仅当他们的对应角相等或者对应边成比例--- S ←→<E∨T>（9）如果一个整数能被6整除,那么它就能被2和3整除。
如果一个整数能被3整除,那么它的各位数字之和也能被3整除解：设 P –一个整数能被6整除Q –一个整数能被2整除 R –一个整数能被3整除S –一个整数各位数字之和能被3整除翻译为：〔P→〔Q ∧ R∧〔R→ S2、判别下面各语句是否命题,如果是命题,说出它的真值〔1BASIC语言是最完美的程序设计语言--- Y,T/F〔2这件事大概是小王干的--- N〔3x2 = 64 --- N〔4可导的实函数都是连续函数--- Y,T/F〔5我们要发扬连续作战的作风,再接再厉,争取更大的胜利--- N〔6客观规律是不以人们意志为转移的--- Y,T〔7到2020年,中国的国民生产总值将赶上和超过美国--- Y,N/A〔8凡事都有例外--- Y,F3、构造下列公式的真值表,并由此判别哪些公式是永真式、矛盾式或可满足式〔1〔P∨〔～P∧ Q→ Q〔2~〔4表略：〔2可满足式、〔3永真式、〔4可满足式4、利用真值表方法验证下列各式为永真式〔1~〔8略5、证明下列各等价式〔3P→〔Q∨ R⇔〔P→ Q∨〔P→ R证明：左式⇔～P∨Q∨ R⇔～P∨Q∨～P∨ R⇔〔～P∨Q∨〔～P∨ R⇔〔P→ Q∨〔P→ R⇔右式〔4〔P∧ Q∨〔R∧ Q∨〔R∧ P⇔〔P∨ Q∧〔R∨ Q∧〔R∨ P证明：左式⇔<〔P∨R∧ Q∨〔R∧ P⇔<〔P∨R∨R>>∧<〔P∨R∨P>>∧〔Q∨R∧〔Q∨P⇔〔P∨ Q∧〔R∨ Q∧〔R∨ P⇔右式6、如果P∨ Q ⇔ Q∨R,能否断定 P ⇔ R ？如果P∧ Q ⇔ Q∧R,能否断定 P ⇔ R？如果～P ⇔～R,能否断定 P ⇔ R？解：〔1如果P∨ Q ⇔ Q∨R,不能判断P ⇔ R,因为如果 Q = P∨ R, 那么P∨ Q⇔P ∨P∨ R ⇔ Q∨R,但P可以不等价于R.〔2如果P∧ Q ⇔ Q∧R,不能判断P ⇔ R,因为如果 Q = P∧ R, 那么P∧ Q⇔P ∧P∧ R ⇔ Q∧R,但P可以不等价于R.〔3如果～P ⇔～R,那么有P ⇔ R,因为～P ⇔～R,则～P <-> ～R为永真式,及有P <-> R为永真式,所以P ⇔ R.8、把下列各式用↑等价表示出来〔1<P∧Q>∨～P解：原式⇔ <<P↑Q>↑<P↑Q>>∨<P↑P>⇔ <<<P↑Q>↑<P↑Q>>↑<<P↑Q>↑<P↑Q>>>↑<<P↑P>↑<P↑P>>9、证明：{ ～→}是最小功能完备集合证明: 因为{～,∨}是最小功能完备集合,所以,如果{ ～→}能表示出∨,则其是功能完备集合。
离散数学课后习题答案二
习题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所得到的二维表。
离散数学答案第二章习题解答
第二章 谓词逻辑习题与解答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 =•⌝∃。
(完整版)离散数学题目及答案
数理逻辑习题判断题1．任何命题公式存在惟一的特异析取范式 （ √ ） 2． 公式)(q p p →⌝→是永真式 （ √ ） 3．命题公式p q p →∧)(是永真式 （ √ ） 4．命题公式r q p ∧⌝∧的成真赋值为010 （ × ） 5．))(()(B x A x B x xA →∃=→∀ （ √ ）6．命题“如果1＋2＝3，则雪是黑的”是真命题 （ × ） 7．p q p p =∧∨)( （ √ ）8．))()((x G x F x →∀是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10． )()(x xG x xF ∃→∀是永真式（ √ ）11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） 12．p q p p =∨∧)( （ √ ）13．))()((x G x F x →∀是永假式 （ × ）14．每个命题公式都有唯一的特异（主）合取范式 （ √ ） 15．若雪是黑色的:p ，则q →p 公式是永真式 （ √ ） 16．每个逻辑公式都有唯一的前束范式 （ × ） 17．q →p 公式的特异（主）析取式为q p ∨⌝ （ × ） 18．命题公式 )(r q p →∨⌝的成假赋值是110 （ √ ） 19．一阶逻辑公式)),()((y x G x F x →∀是闭式（ × ）单项选择题1． 下述不是命题的是（ A ）A．花儿真美啊! B．明天是阴天。
C．2是偶数。
D．铅球是方的。
2．谓词公式（∀y）（∀x）（P（x）→R（x,y））∧∃yQ（x,y）中变元y （B）A．是自由变元但不是约束变元B．是约束变元但不是自由变元C．既是自由变元又是约束变元D．既不是自由变元又不是约束变元3．下列命题公式为重言式的是（ A ）A．p→ （p∨q）B．（p∨┐p）→qC．q∧┐q D．p→┐q4．下列语句中不是．．命题的只有（A ）A．花儿为什么这样红？B．2+2=0C．飞碟来自地球外的星球。
离散数学考试题及详细参考答案
离散数学考试题(后附详细答案)一、命题符号化（共6小题，每小题3分，共计18分）1.用命题逻辑把下列命题符号化a)假如上午不下雨，我去看电影，否则就在家里读书或看报。
b)我今天进城，除非下雨。
c)仅当你走，我将留下。
2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x，总存在y使得xy=1。
c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B，使得f(a)=b.二、简答题（共6道题，共32分）1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式，并写出所有成真赋值。
（5分）2.设个体域为{1,2,3}，求下列命题的真值（4分）a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。
（4分）4.判断下面命题的真假，并说明原因。
（每小题2分，共4分）a)（A B）－C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数，则|A|≤|B|5.设A是有穷集，|A|=5，问（每小题2分，共4分）a)A上有多少种不同的等价关系？b)从A到A的不同双射函数有多少个？6.设有偏序集<A,≤>，其哈斯图如图1，求子集B={b,d,e}的最小元，最大元、极大元、极小元、上界集合、下界集合、上确界、下确界，(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合，R为实数集合，求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N（写出即可）(6分)三、证明题（共3小题，共计40分）1.使用构造性证明，证明下面推理的有效性。
（每小题5分，共10分）a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x))，x R(x) x P(x)2.设R1是A上的等价关系，R2是B上的等价关系，A≠ 且B≠ ，关系R满足：<<x1,y1>,<x2,y2>>∈R，当且仅当< x1, x2>∈R1且<y1,y2>∈R2。
《离散数学》题库及答案
《失散数学》题库与答案一、选择或填空（数理逻辑部分）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）不是（命题必定满足是陈述句，不能够是疑问句也许祈使句。
《离散数学》考试题库及答案(二)
《离散数学》考试题库及答案试卷五试题与答案一、填空15%（每空3分）1、设G 为9阶无向图，每个结点度数不是5就是6，则G 中至少有 个5度结点。
2、n 阶完全图，K n 的点数X (K n ) = 。
3、有向图 中从v 1到v 2长度为2的通路有 条。
4、设[R ，+，·]是代数系统，如果①[R ，+]是交换群 ②[R ，·]是半群③ 则称[R ，+，·]为环。
5、设],,[⊕⊗L 是代数系统，则],,[⊕⊗L 满足幂等律，即对L a ∈∀有 。
二、选择15%（每小题3分）1、 下面四组数能构成无向简单图的度数列的有（ ）。
A 、（2，2，2，2，2）； B 、（1，1，2，2，3）； C 、（1，1，2，2，2）； D 、（0，1，3，3，3）。
2、 下图中是哈密顿图的为（ ）。
3、 如果一个有向图D 是强连通图，则D 是欧拉图，这个命题的真值为（ ）A 、真；B 、假。
4、 下列偏序集（ ）能构成格。
5、 设}4,41,3,31,2,21,1{=s ，*为普通乘法，则[S ，*]是（）。
A 、代数系统；B 、半群；C 、群；D 、都不是。
三、证明 48%1、（10%）在至少有2个人的人群中，至少有2 个人，他们有相同的朋友数。
2、（8%）若图G 中恰有两个奇数度顶点，则这两个顶点是连通的。
3、（8%）证明在6个结点12条边的连通平面简单图中， 每个面的面数都是3。
4、（10%）证明循环群的同态像必是循环群。
5、（12%）设]1,0,,,,[-+⨯B 是布尔代数，定义运算*为)()(*b a b a b a ⨯+⨯=，求证[B ，*]是阿贝尔群。
四、计算22%1、在二叉树中1） 求带权为2，3，5，7，8的最优二叉树T 。
（5分） 2） 求T 对应的二元前缀码。
（5分）2、 下图所示带权图中最优投递路线并求出投递路线长度（邮局在D 点）。
答案：一、填空（15%）每空3 分1、 6；2、n ；3、2；4、+对·分配且·对+分配均成立；5、a a a a a a =⊕=⊗且。
离散数学 第2章习题答案
第2章习题答案1. 解 (1)设F(x)表示“x犯错误”，N(x)表示“x为人”，则此语句符号化为：⌝∃x(N(x)∧⌝F(x))。
(2)设F(x)表示“x是推理”，M(x)表示“x是计算机”，H(x，y)表示“x能由y完成”，则此语句符号化为：⌝∀x(F(x)→∃ y M(y)∧H(x，y))。
(3)设C(x)表示“x是计算机系的学生”，D(x)表示“x学习离散数学”，则此语句符号化为：∀x(C(x)→D(x))。
(4)因原语句与“一切自然数x，都有一个自然数y，使得y是x的后继数；并且对任意自然数x，当y 和z都是x的后继时，则有y＝z”的意思相同，所以原语句可符号化为：∀x(N(x)→∃ y(N(y)∧M(x，y)))∧∀x∀y∀z(N(x)∧N(y)∧N(z)→(M(x，y)∧M(x，z)→( y＝z))) 其中N(x)表示x是自然数，M(x，y)表示y是x的后继数。
(5)设S(x，y，z)表示“x＋y＝z”，则此语句符号化为：∀x∀y∃z S(x，y，z)。
(6)设Z(x)表示“x是整数”，S(x，y)表示“xy＝0”，T(x，y)表示“x＝y”，则此语句符号化为：∀x∀y(Z(x)∧Z(y)→(S(x，y)→ T(x，0)∨T(y，0)))。
(7)设E(x)表示“x是偶数”，P(x)表示“x是素数”，S(x，y)表示“x＝y”，则此语句符号化为：∀x(E(x)∧P(x)→∀y(E(y)∧P(y)→ S(x，y)))。
(8)设E(x)表示“x是偶数”，O(x)表示“x是奇数”，N(x)表示“x是自然数”，则此语句符号化为：⌝∃x(E(x)∧O(x)∧N(x))。
(9)设R(x)表示“x是实数”，Q(x)表示“x是有理数”，Z(x)表示“x是整数”，则此语句符号化为：∃x(R(x)∧Q(x)∧⌝Z(x))。
(10)设R(x)表示“x是实数”，Q(x，y)表示“y大于x”，则此语句符号化为：∀x(R(x)→∃⌝y(R(y)∧Q(x，y)))。
离散数学考试题目及答案
离散数学考试题目及答案1. 试述命题逻辑中的等价关系和蕴含关系。
答案：命题逻辑中的等价关系是指两个命题在所有可能的真值赋值下都具有相同的真值。
若命题P和Q等价，则记作P⇔Q。
蕴含关系是指如果命题P为真，则命题Q也为真，但Q为真时P不一定为真。
若命题P蕴含Q，则记作P→Q。
2. 证明：若集合A和B的交集非空，则它们的并集包含A和B。
答案：设x属于A∩B，即x同时属于A和B。
根据并集的定义，若元素属于A或B，则它属于A∪B。
因此，x属于A∪B。
由于x是任意属于A∩B的元素，所以A∩B≠∅意味着A∪B至少包含A∩B中的所有元素，即A∪B包含A和B。
3. 给定一个有向图G，如何判断G中是否存在环？答案：判断有向图G中是否存在环，可以采用深度优先搜索（DFS）算法。
在DFS过程中，记录每个顶点的访问状态，如果遇到一个已访问过的顶点，且该顶点不是当前路径的直接前驱，则表示存在环。
4. 描述有限自动机的组成部分及其功能。
答案：有限自动机由以下几部分组成：输入字母表、状态集合、转移函数、初始状态和接受状态集合。
输入字母表定义了自动机可以接收的符号集合；状态集合包含了自动机所有可能的状态；转移函数定义了在给定输入符号和当前状态的情况下，自动机如何转移到下一个状态；初始状态是自动机开始工作时的状态；接受状态集合包含了所有使自动机接受输入字符串的状态。
5. 什么是图的连通分量？如何确定一个无向图的连通分量？答案：图的连通分量是指图中最大的连通子图。
在一个无向图中，如果两个顶点之间存在路径，则称这两个顶点是连通的。
确定无向图的连通分量可以通过深度优先搜索（DFS）或广度优先搜索（BFS）算法。
从任一顶点开始搜索，搜索过程中访问的所有顶点构成一个连通分量。
重复此过程，直到所有顶点都被访问过，即可确定图中所有连通分量。
离散数学课后习题答案 (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) \\}$。
离散数学课后习题答案(第二章)
习题 2-3 （1）令 P( x) 为“ x 是质数” ； E ( x) 为“ x 是偶数” ； O( x) 为“ x 是奇数” ； D( x, y ) 为“ x 除尽 y ” ，把以下各式翻译成汉语： 解： a） P(5) 。 解：5 是质数。 b） E (2) ∧ P(2) 。 解：2 是偶数且 2 是质数。 c） (∀x)( D(2, x) → E ( x)) 。 解：对所有的 x，若 x 能被 2 除尽，则 x 是偶数。 d） (∃x)( E ( x) ∧ D( x, 6)) 。 解：存在 x，x 是偶数，且 x 能除尽 6。 （即某些偶数能除尽 6） e） (∀x)(¬E ( x) → ¬D(2, x)) 。 解：对所有的 x，若 x 不是偶数，则 x 不能被 2 除尽。 f） (∀x)( E ( x) → (∀y )( D ( x, y ) → E ( y )，则对所有的 y，若 x 能除尽 y，则 y 也是偶数。 g） (∀x)( P( x) → (∃y)( E ( y ) ∧ D( x, y))) 。 解：对所有的 x，若 x 是质数，则存在 y，y 是偶数且 x 能除尽 y（即所有质数能 除尽某些偶数） 。 h） (∀x)(O ( x) → (∀y )( P( y ) → ¬D( x, y ))) 。 解：对所有的 x，若 x 是奇数，则对所有 y，y 是质数，则 x 不能除尽 y（即任何 奇数不能除尽任何质数） 。 （2）令 P( x), L( x), R( x, y, z ), E ( x, y ) 分别表示“x 是一个点” ， “x 是一条直线” ， “z 通过 x 和 y”和“x=y” 。符号化下面的句子。 对每两个点有且仅有一条直线通过该两点。 解： （x）(y)((P(x)∧P(y)∧┐E(x,y)→(!z)(L(z)∧R(x,y,z))) 或 （x） (y)((P(x)∧P(y)∧┐E(x,y)→(z)(L(z)∧R(x,y,z) ∧┐(u)(┐E(z,u) ∧L(u) ∧R(x,y,u)))) （3）利用谓词公式翻译下列命题。 A）如果有限个数的乘积为零，那么至少有一个因子等于零。 B）对于每一个实数 x，存在一个更大的实数 y。 C）存在实数 x，y 和 z，使得 x 与 y 之和大于 x 与 z 之积。 解：a) 设 N(x):x 是有限个数的乘积。 z(y):y 为 0。 P(x):x 的乘积为零。 F(y):y 是乘积中的一个因子。 则有 (x)((N(x)∧P(x)→(y)(F(y)∧z(y))) b) 设 R(x):x 是实数。Q(x,y):y 大于 x。 故(x)(R(x)→(y)(Q(x,y)∧R(y))) c) R(x):x 是实数。G(x,y):x 大于 y。 则(x)(y)(z)(R(x)∧R(y)∧R(z)∧G(x+y,x·z) （4）用谓词公式写出下式： 若 x < y 和 z < 0 ，则 xz > yz 。 解：设 G(x,y):x 大于 y。 则有(x)(y)(z)(G(y,x)∧G(0,z)→G(x·z,y·z)) （5）自然数一共三条公理： A）每个数都有唯一的一个数是它的后继数。 B）没有一个数使数 1 是它的后继数。 C）每个不等于 1 的数都是唯一的一个数是它的直接先行者。 用两个谓词表达上述三条公理。 解：设 N(x):x 是一个数。 S(x,y):y 是 x 的后继数。E(x,y)：x=y.则 a) (x)(N(x)→(!y)(N(y)∧S(x,y))) 或(x)(N(x)→(y)(N(y)∧S(x,y) ∧┐(z)(┐E(y,z) ∧N(z)∧S(x,z)))) b)┐(x)(N(x)∧S(x,1)) c)(x)(N(x)∧┐S(x,2)→(!y)(N(y)∧S(y,x))) 或(x)(N(x)∧┐S(x,2)→(y)(N(y)∧S(y,x)∧┐(z)(┐E(y,z)∧N(z)∧S(z,x))))
江西师范大学《离散数学》试卷与答案
江 西 师 范 大 学考 试 卷离散数学试题与答案试卷一一、填空 20% （每小题2分）1．设}7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且（N ：自然数集，E + 正偶数） 则 =⋃B A 。
2．A ，B ，C 表示三个集合，文图中阴影部分的集合表达式为。
3．设P ，Q 的真值为0，R ，S 的真值为1，则 )()))(((S R P R Q P ⌝∨→⌝∧→∨⌝的真值= 。
4．公式P R S R P ⌝∨∧∨∧)()(的主合取范式为。
6．设A={1，2，3，4}，A 上关系图为则 R 2 = 。
7．设A={a ，b ，c ，d}，其上偏序关系R 的哈斯图为则 R= 。
9．设A={a ，b ，c ，d} ，A 上二元运算如下：* a b c dA B Ca b c d a b c d b c d a c d a b d a b c那么代数系统<A ，*>的单位元是 ，有逆元的元素为 ，它们的逆元分别为 。
10．下图所示的偏序集中，是格的为 。
二、选择 20% （每小题 2分）1、下列是真命题的有（ ）A ． }}{{}{a a ⊆；B ．}}{,{}}{{ΦΦ∈Φ；C ． }},{{ΦΦ∈Φ；D ． }}{{}{Φ∈Φ。
2、下列集合中相等的有（ ）A ．{4，3}Φ⋃；B ．{Φ，3，4}；C ．{4，Φ，3，3}；D ． {3，4}。
3、设A={1，2，3}，则A 上的二元关系有（ ）个。
A ． 23 ；B ． 32 ；C ． 332⨯；D ． 223⨯。
4、设R ，S 是集合A 上的关系，则下列说法正确的是（ ）A ．若R ，S 是自反的， 则S R 是自反的；B ．若R ，S 是反自反的， 则S R 是反自反的；C ．若R ，S 是对称的， 则S R 是对称的；D ．若R ，S 是传递的， 则S R 是传递的。
5、设A={1，2，3，4}，P （A ）（A 的幂集）上规定二元系如下|}||(|)(,|,{t s A p t s t s R =∧∈><=则P （A ）/ R=（ ）A．A ；B．P(A) ；C．{{{1}}，{{1，2}}，{{1，2，3}}，{{1，2，3，4}}}；D．{{Φ}，{2}，{2，3}，{{2，3，4}}，{A}}6、设A={Φ，{1}，{1，3}，{1，2，3}}则A上包含关系“⊆”的哈斯图为（）7、下列函数是双射的为（）A．f : I→E , f (x) = 2x ；B．f : N→N⨯N, f (n) = <n , n+1> ；C．f : R→I , f (x) = [x] ；D．f :I→N, f (x) = | x | 。
离散数学习题答案精选全文完整版
可编辑修改精选全文完整版离散数学习题答案习题一：P121.判断下列句子哪些是命题？在是命题的句子中，哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？(1)中国有四大发明。
(2)5是无理数。
(3)3是素数或4是素数。
(4)x2+3<5，其中x是任意实数。
(5)你去图书馆吗？(6)2与3都是偶数。
(7)刘红与魏新是同学。
(8)这朵玫瑰花多美丽呀！(9)吸烟请到吸烟室去！(10)圆的面积等于半径的平方乘π。
(11)只有6是偶数，3才能是2的倍数。
(12)8是偶数的充分必要条件是8能被3整除。
(13)2025年元旦下大雪。
1、2、3、6、7、10、11、12、13是命题。
在上面的命题中，1、2、7、10、13是简单命题；1、2、10是真命题；7的真值现在还不知道。
2.将上题中是简单命题的命题符号化。
(1)p：中国有四大发明。
(2)q：5是无理数。
(7)r：刘红与魏新是同学。
(10)s：圆的面积等于半径的平方乘π。
(1)t：2025年元旦下大雪。
3.写出下列各命题的否定式，并将原命题及其否定式都符号化，最后指出各否定式的真值。
“5是有理数”的否定式是“5不是有理数”。
解：原命题可符号化为：p：5是有理数。
其否定式为：非p。
非p的真值为1。
4.将下列命题符号化，并指出真值。
(1)2与5都是素数。
(2)不但π是无理数，而且自然对数的底e也是无理数。
(3)虽然2是最小的素数，但2不是最小的自然数。
(4)3是偶素数。
(5)4既不是素数，也不是偶数。
a：2是素数。
b：5是素数。
c：π是无理数。
d：e是无理数。
f：2是最小的素数。
g：2是最小的自然数。
h：3是偶数。
i：3是素数。
j：4是素数。
k：4是偶数。
解：（1）到（5）的符号化形式分别为a∧b，c∧d，f∧非g，h∧i，非j∧非k。
这五个复合命题的真值分别为1，1，1，0，0。
5.将下列命题符号化，并指出真值。
a：2是偶数。
b：3是偶数。
c：4是偶数。
离散数学期末考试题及答案
离散数学期末考试题及答案一、单项选择题（每题2分，共20分）1. 集合{1, 2, 3}的子集个数是：A. 3B. 4C. 8D. 2^3答案：C2. 命题逻辑中，命题p∧(q∨¬p)的真值表中，真值个数为：A. 1B. 2C. 3D. 4答案：B3. 函数f: A→B中，若A={1, 2}，B={a, b}，则f是单射的必要条件是：A. |A| ≤ |B|B. |A| < |B|C. |A| = |B|D. |A| > |B|答案：B4. 以下哪个图是无向图？A. 有向图B. 无向图C. 完全图D. 树答案：B5. 在图论中，一个图的生成树是：A. 包含图中所有顶点的最小连通子图B. 包含图中所有边的最小连通子图C. 包含图中所有顶点和边的连通子图D. 包含图中所有顶点和边的无环子图答案：A6. 以下哪个命题是真命题？A. 所有偶数都是整数B. 所有整数都是偶数C. 所有奇数都是整数D. 所有整数都是奇数答案：A7. 在布尔代数中，以下哪个运算符表示逻辑与？A. ∨B. ∧C. ¬D. →答案：B8. 有限状态机中，状态的转移是由以下哪个决定的？A. 当前状态B. 输入符号C. 当前状态和输入符号D. 输出符号答案：C9. 以下哪个是图的遍历算法？A. 深度优先搜索B. 广度优先搜索C. 动态规划D. 分治算法答案：A10. 在集合论中，以下哪个符号表示集合的交集？A. ∪B. ∩C. ×D. ÷答案：B二、填空题（每题2分，共20分）1. 集合{1, 2, 3}的幂集是{∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}，其中包含元素个数最多的子集是_。
答案：{1, 2, 3}2. 在命题逻辑中，如果p和q都为真，则p∨q的真值为_。
答案：真3. 函数f: A→B中，若A={1, 2}，B={a, b, c}，则f是满射的必要条件是_。
离散数学期末考试题及答案
离散数学期末考试题及答案1. 题目描述：以下是离散数学期末考试的题目。
请仔细阅读每个问题，并在题后给出相应的答案。
请注意，答案应尽量详细和准确，以确保得分。
1.1 命题与谓词逻辑（20分）1.1.1 什么是命题逻辑？它可以用于解决哪些问题？1.1.2 简要解释谓词逻辑的概念和其在离散数学中的应用。
1.2 集合和图论（30分）1.2.1 定义两个集合的并、交和差的概念。
1.2.2 解释有向图和无向图的区别，并给出一个实际应用中的例子。
1.3 关系和函数（40分）1.3.1 什么是关系？请给出一个实际应用中关系的例子。
1.3.2 定义函数的概念，并解释函数与关系的区别。
1.4 计数原理（20分）1.4.1 简要阐述乘法原理和加法原理的概念，并给出一个应用实例。
1.4.2 什么是排列和组合？请说明它们的应用场景，并给出一个例子。
2. 答案解析：2.1 命题与谓词逻辑1.1.1 命题逻辑是一种数学分支，用于研究命题之间的关系和推理规则。
其应用范围广泛，包括数学、计算机科学、哲学等领域。
1.1.2 谓词逻辑是一种扩展了命题逻辑的逻辑体系，它考虑了命题中的变量、谓词和量词等元素。
在离散数学中，谓词逻辑常用于描述集合、函数和关系等概念。
2.2 集合和图论1.2.1 集合的并（∪）是指将两个或多个集合中的所有元素取出形成一个新的集合；交（∩）指仅包含两个或多个集合中共有的元素；差（-）是指从一个集合中去除另一个集合中的元素。
1.2.2 有向图中，边是具有方向性的；而在无向图中，边是没有方向性的。
例如，在社交网络中，有向图可以表示人与人之间的关注关系，而无向图可以表示人与人之间的好友关系。
2.3 关系和函数1.3.1 关系是集合之间的一种特殊的子集，它描述了元素之间的某种联系。
例如，家族中的血亲关系可以看作是一个关系。
关系可以用图、矩阵等方式表示。
1.3.2 函数是一种特殊的关系，它将一个集合中的每个元素映射到另一个集合中的唯一元素。
离散数学（第二版）课后习题答案详解（完整版）
离散数学（第⼆版）课后习题答案详解（完整版）习题⼀1.下列句⼦中,哪些是命题？在是命题的句⼦中,哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？（1）中国有四⼤发明.答：此命题是简单命题，其真值为 1.（2）5 是⽆理数.答：此命题是简单命题，其真值为 1.（3）3 是素数或 4 是素数.答：是命题，但不是简单命题，其真值为1.（4）2x+ <3 5 答：不是命题.（5）你去图书馆吗？答：不是命题.（6）2 与3 是偶数.答：是命题，但不是简单命题，其真值为0.（7）刘红与魏新是同学.答：此命题是简单命题，其真值还不知道.（8）这朵玫瑰花多美丽呀！答：不是命题.（9）吸烟请到吸烟室去！答：不是命题.（10）圆的⾯积等于半径的平⽅乘以π.答：此命题是简单命题，其真值为 1.（11）只有6 是偶数，3 才能是2 的倍数.答：是命题，但不是简单命题，其真值为0.（12）8 是偶数的充分必要条件是8 能被3 整除.答：是命题，但不是简单命题，其真值为0.（13）2008 年元旦下⼤雪.答：此命题是简单命题，其真值还不知道.2.将上题中是简单命题的命题符号化.解:（1）p：中国有四⼤发明.（2）p: 是⽆理数.（7）p:刘红与魏新是同学.（10）p:圆的⾯积等于半径的平⽅乘以π.（13）p:2008 年元旦下⼤雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.（1）5 是有理数.答：否定式：5 是⽆理数. p：5 是有理数.q：5 是⽆理数.其否定式q 的真值为1.（2）25 不是⽆理数.答：否定式：25 是有理数. p：25 不是⽆理数. q：25 是有理数. 其否定式q 的真值为1.（3）2.5 是⾃然数.答：否定式：2.5 不是⾃然数. p：2.5 是⾃然数. q：2.5 不是⾃然数. 其否定式q 的真值为1.（4）ln1 是整数.答：否定式：ln1 不是整数. p：ln1 是整数. q：ln1 不是整数. 其否定式q 的真值为1.4.将下列命题符号化，并指出真值.（1）2 与5 都是素数答：p：2 是素数，q：5 是素数，符号化为p q∧，其真值为 1.（2）不但π是⽆理数，⽽且⾃然对数的底e 也是⽆理数.答：p：π是⽆理数，q：⾃然对数的底e 是⽆理数，符号化为p q∧，其真值为1.（3）虽然2 是最⼩的素数，但2 不是最⼩的⾃然数.答：p：2 是最⼩的素数，q：2 是最⼩的⾃然数，符号化为p q∧? ，其真值为1.（4）3 是偶素数.答：p：3 是素数，q：3 是偶数，符号化为p q∧，其真值为0.（5）4 既不是素数，也不是偶数.答：p：4 是素数，q：4 是偶数，符号化为? ∧?p q，其真值为0.5.将下列命题符号化，并指出真值.（1）2 或3 是偶数.（2）2 或4 是偶数.（3）3 或5 是偶数.（4）3 不是偶数或4 不是偶数.（5）3 不是素数或4 不是偶数.答: p：2 是偶数，q：3 是偶数，r:3 是素数，s:4 是偶数, t:5 是偶数(1)符号化: p q∨，其真值为1.(2)符号化：p r∨，其真值为1.(3)符号化：r t∨，其真值为0.(4)符号化：? ∨?q s，其真值为1.(5)符号化：? ∨?r s，其真值为0.6.将下列命题符号化.（1）⼩丽只能从筐⾥拿⼀个苹果或⼀个梨.答：p：⼩丽从筐⾥拿⼀个苹果，q：⼩丽从筐⾥拿⼀个梨，符号化为: p q∨ .（2）这学期，刘晓⽉只能选学英语或⽇语中的⼀门外语课.答：p：刘晓⽉选学英语，q：刘晓⽉选学⽇语，符号化为: (? ∧∨∧?p q)(p q) .7.设p：王冬⽣于1971 年，q：王冬⽣于1972 年，说明命题“王冬⽣于1971 年或1972年”既可以化答:列出两种符号化的真值表：合命题可以发现,p 与q 不可能同时为真,故上述命题有两种符号化⽅式.8.将下列命题符号化,并指出真值., 就有；（1）只要, 则；, 才有；（3）只有, 才有；（4）除⾮, 否则；（5）除⾮（6）仅当.答:设p: , 则: ; 设q: , 则: .（1）；（2）；；（3）；（4）；（5）；（6）；（7）.答:根据题意,p 为假命题,q 为真命题.（1）；（2）；（3）；（4）.答:根据题意,p 为真命题,q 为假命题.（1）若2+2=4,则地球是静⽌不动的；（2）若2+2=4,则地球是运动不⽌的；（3）若地球上没有树⽊,则⼈类不能⽣存；（4）若地球上没有⽔,则是⽆理数.12.将下列命题符号化,并给出各命题的真值：（1）2+2=4 当且仅当3+3=6；（2）2+2=4 的充要条件是3+3 6；（3）2+2 4 与3+3=6 互为充要条件；（4）若2+2 4,则3+3 6,反之亦然.答:设p:2+2=4,q:3+3=6.（1）若今天是星期⼀,则明天是星期⼆；（2）只有今天是星期⼀,明天才是星期⼆；（3）今天是星期⼀当且仅当明天是星期⼆；（4）若今天是星期⼀,则明天是星期三.答:设p:今天是星期⼀,q:明天是星期⼆,r:明天是星期三.（1）刘晓⽉跑得快,跳得⾼；（2）⽼王是⼭东⼈或者河北⼈；（3）因为天⽓冷,所以我穿了⽻绒服；（4）王欢与李乐组成⼀个⼩组；（5）李欣与李末是兄弟；（6）王强与刘威都学过法语；（7）他⼀⾯吃饭,⼀⾯听⾳乐；（8）如果天下⼤⾬,他就乘班车上班；（9）只有天下⼤⾬,他才乘班车上班；（10）除⾮天下⼤⾬,否则他不乘班车上班；（11）下雪路滑,他迟到了；（12）2 与4 都是素数,这是不对的；（13）“2 或 4 是素数,这是不对的”是不对的.答:q：⼤熊猫产在中国.r:太阳从西⽅升起. 求下列符合命题的真值：（1）（2）（3）（4）解：p真值为1，q 真值为1，r 真值为0.（1）0，（2）0，（3）0，（4）116.当p,q 的真值为0,r,s 的真值为1 时,求下列各命题公式的真值：（1）（2）（3）（4）解：（1）0，（2）0，（3）0，（4）117.判断下⾯⼀段论述是否为真：“ 是⽆理数.并且,如果3 是⽆理数,则也是⽆理数.另外,只有6 能被2 整除,6 才能被4 整除.”解：p: 是⽆理数q: 3 是⽆理数r:是⽆理数s: 6 能被2 整除t：6 能被 4 整除符号化为: ，该式为重⾔式，所以论述为真。
(完整版)《离散数学》试题及答案解析,推荐文档
则在解释 I 下取真值为 1 的公式是( ).
(A)xyP(x,y) (B)xyP(x,y) (C)xP(x,x) (D)xyP(x,y). 6. 若供选择答案中的数值表示一个简单图中各个顶点的度，能画出图的是( ).
(A)(1,2,2,3,4,5) (B)(1,2,3,4,5,5) (C)(1,1,1,2,3) (D)(2,3,3,4,5,6). 7. 设 G、H 是一阶逻辑公式，P 是一个谓词，G＝xP(x), H＝xP(x),则一阶逻辑公式
(A)下界 (B)上界 (C)最小上界
(D)以上答案都不对
6
4 下列语句中，( )是命题。
5
(A)请把门关上 (B)地球外的星球上也有人 (C)x + 5 > 6 (D)下午有会吗？
3
4
2
5 设 I 是如下一个解释：D＝{a,b}, P(a, a) P(a, b) P(b, a) P(b, b)
1
1010
AB＝_________________________;A－B＝ _____________________ . 7. 设 R 是集合 A 上的等价关系，则 R 所具有的关系的三个特性是______________________,
________________________, _______________________________. 8. 设命题公式 G＝(P(QR))，则使公式 G 为真的解释有
(1)
1
4
2
3
1 0 0 0
(2)
MR
1 1
1 1
0 1
0 0
1 1 1 1
3. (1)•＝((x))＝(x)+3＝2x+3＝2x+3.
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
离散数学试题答案2
一、填空 20%（每小题2分）
1、
)}1(),(|,{22<+∧∈><=y x R y x y x A ； 2、}}}{,{}},{{},{,{ΦΦΦΦΦ；
3、见右图；
4、{< 1 , 2 > , < 2 , 4 > , <3 , 3 > , < 1，3 >，<2,4> ,<4,2>}、{< 1 , 4 > , < 2 , 2 > }；
5、29；
6、{< 1 , 1 > , < 2 , 2 > , <3 , 3 > ；
7、{<a,b>,<a,d>,<a,e>,<b,d>,<b,e>,<a,c>,<a,f>,<a,g>,<c,f>,<c,g>}A I ⋃；
8、m n 、n=m 、n!；9、假；10、我将去上海当且仅当我有空；
11、)()()()(Q P Q P Q P Q P ⌝∨⌝∧∨∧⌝∨∧∨⌝；
12、A
S j i S S i m i j i =≠Φ=⋂⋃=1)2( )()1(。
一、
选择 20%（每小题 2分）
二、 简答题 15%
1、（10分）
（1）≤={<1,2>,<1,3>,<1,4>,<1,6>,<1,8>,<1,12>,<1,24>,<2,4>,<2,6>,<2,8>，<2,12>,<2,24>,<3,6>,<3,12>,<3,24>,<4,8>,<4,12>,<4,24>,<6,12>,<6,24>,<8,24>,<12,24>}S I ⋃
covS={<1,2>,<1,3>,<2,4>,<2,6>,<3,6>,<4,8>,<4,12>,<6,12> ,<8,24>,<12,24>} Hass 图为
（2）极小元、最小元是1，极大元、最大元是 24。
2、（5分）
解：公式A 涵义为：对任意的实数x,y,z ，如果x<y 则 (x-z) < (y-z) A 的真值为： 真（T ）。
三、 逻辑推理 10%
解：设P ：逻辑难学；Q ：有少数学生不喜欢逻辑学；R ：数学容易学 符号化：R Q P R Q P ⌝→⌝⇒⌝→∨ ,
证：①Q P ∨
P ②Q P →⌝
T ①E ③P R ⌝→
P ④Q R →
T ②③I ⑤R Q ⌝→⌝
T ④E
四、 （10分）
解：
⎪⎪
⎪⎪⎪
⎪⎭⎫ ⎝⎛=0000000010100000100000011R M =i 1时，R M [1,1]=1, A =R M
=i 2时，A[1,2]=A[4,2]=1
A=⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛00000010101000001000
01011
=i 3时，A 的第三列全为0，故A 不变
=i 4时A[1,4]=A[2,4]=A[4,4]=1
A=⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛00000010101000001010
01011
=i 5时，A 的第五行全为0，故A 不变。
所以t (R)={<1,1>, <1,2>,<1,4>,<2,2>,<2,4>,<3,5>,<4,2>,<4,4>}。
五、
证明 15% 1、（7分）
证明：设},,,{21n a a a A =，≤><,A 全序集。
若≤><,A 不是良序集，那么必有一子集)(Φ≠⊆B A B ，在B 中不存在最小元素，由于B 是一有限集合，故一定可找出两元素x ,y 是无关的，由于≤><,A 是全序集。
A y x ∈,所以x ,y 必有关系，矛盾。
故≤><,A 必是良序集。
2、（8分）
证明：设Z X f g Z Y g Y X f →→→: ,: ,: ， Z z ∈∀由于Z X f g →: 满射，故必有X x ∈使得z x f g =)( ，由复合函数定义知，存在Y y ∈使得y x f =)(，又因为g 是函数，必对任Y y ∈，必Z z ∈∃使z y g =)(，任每个z 在g 作用下都是Y 中元素的一个映象，由Z 的任意性，所以g 是满射。