武汉理工大学
《离散数学》考试试题 （B 卷）
1
站点：
姓名：
专业：
层次
一、单项选择题（本大题共 15小题，每小题1分，共15分）
在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括 号内。错选、多选或未选均无分。
1 ?令P ：今天下雪了，Q:路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（
）
A . P f Q
B . P V Q
C . P A Q
D . P A Q
2. 下列命题公式为重言式的是（ ）
A . Q f( P A Q )
B . P f( P A Q )
C . (P A Q )f P
D . (P V Q )f Q
3. 下列4个推理定律中，不.正确的是（ )
A . A=
(A A B )
B . (A V B )A A= B
C . (A f B )A A= B
D . (A f B )A B =
A
4. 谓词公式- x （P （x ） V yR （y ）） f Q （x ）中量词-x 的辖域是（ )
A . -x(P(x)
yR(y))
B . P (x )
C . (P(x) V yR(y))
D . P(x), Q(x)
5 .设个体域A={a,b},公式-xP （x ） A xS （x ）在A 中消去量词后应为（ ）
A . P(x) A S(x)
B . P(a)A P(b)A (S(a) V
S(b))
C . P(a)A S(b)
D . P(a)A P(b) A S(a)V S(b)
6. 下列选项中错误.的是（
)
A . ?』？
B . ? € ?
C . ? -{?}
D . ? € {?}
7.设 A={a,b,c,d} , A 上的等价关系 R={
是( )
A . {{a},{b, c},{d}}
B . {{a, b},{c}, {d}}
C . {{a},{b},{c},{d}}
D . {{a, b}, {c,d}}
8 .设R 为实数集，函数f : R f R , f(x)=2x ，则f 是(
)
A .满射函数
B .入射函数 2
设R 为实数集，R +={x|x € R A x ＞0} , *是数的乘法运算，＜R +, *＞是一个群，则下列集合 关于数的乘法运算构成该群的子群的是( 请在每小题的空格中填上正确答案。错填、不填均无分。
16 .任意两个不同的小项的合取为 __________________________ 式，全体小项的析取式必为
________________ 式。
C . 双射函数
D .非入射非满射
B .
C . 10.
{R 坤的有理数}
{R +
中的自然数}
D . 下列运算中关于整数集不 能构成半群的是( {R 坤的无理数} {1 , 2, 3}
)
a b=max{a, b} B . a b=
b C . a b=2ab
D . a b=|a-b|
11.设Z 是整数集，+, ?分别是普通加法和乘法，则(Z , +,)是(
A .域
B .整环和域
C .整环
D .含零因子环
12.设 A={a, b, c} ,R 是 A 上的二元关系，R={
D .不可传递的
13.设 D=
A .强连通图
B .单向连通图
C .弱连通图
D .不连通图
14.在有n 个结点的连通图中，其边数( A .最多有n-1条 B .至少有n-1条 C .最多有n 条
D .至少有n 条
15.连通图G 是一棵树，当且仅当 G 中 A .有些边不是割边 B .每条边都是割边 C .无割边集
D .每条边都不是割边
二、填空题(本大题共 10小题，每小题
2分，共20分)
A .满射函数B.入射函数
17. __________________________________________________________________ 公式
x(P(x)T Q(x,y) V szR(y, z)) S(x)中的自由变元为__________________________________ ，约束变元
3
为_________________ 。
18. 设集合M={x|1 < x w 12,x 被2 整除，x € Z},N={x|1 < x< 12,x 被3 整除，x € Z}，则
M n N= ________________ ,M U N= ________________ 。
19. 设X={1 , 2, 3}, f: X T X , g : X T X , f={<1,2>,<2,3>,<3,1>},
g={<1,2>,<2,3>,<3,3>}，则f g= __________________ ,g f= _________________ 。
20. 设A={a,b,c} , R是A上的二元关系，且给定
R={
21. 设Q为有理数集，笛卡尔集S=Q X Q, *是S上的二元运算，-
22. 设*是集合S上的二元运算，若运算*满足______________________且存在__________________ ,
则称
23. __________________________________________________________________ 令
A={a, b,
24.如下无向图割点是
4
c},
29. 求下列公式的主析取范式和主合取范式：（P- Q）A（Q T R）
30. 设A为54的因子构成的集合，R二A X A , - x,y € A, xRy x整除y。画出偏序集
图，并求A中的最大元，最小元，极大元，极小元。
五、证明题（本大题共3小题，第31、32小题各6分，第33小题8分，共20分）
31. 设R是A上的一个自反关系，证明：R是一个等价关系，当且仅当若
,割边是
25. ___________________________________________ 无向图G具有生成树，当且仅当
___________________________________________________ °G的所有生成树中 __________________ 的生成树称为最小生成树。
三、计算题(本大题共5小题，第26、27小题各5分，第28、29小题各6分，第30小题
8分，共30分)
26. 集合A={a, b, c, d, e}上的二元关系R为
R={
2 写出R的关系矩阵；
3 判断R是不是偏序关系，为什么？
27. 利用真值表判断公式((IP V Q)A( Q T R)) T 1 ( P A】R )是否为重言式。
5
€ R,贝U
32. 设 33. 设图G是具有6个结点，12条边的无向简单图，证明图G是汉密尔顿图。 五、应用题（本大题共2小题，第34小题8分，第35小题7分，共15分） 34. 构造下面推理的证明。 如果今天是星期六，我们就要到颐和园或圆明园去玩。如果颐和园游人太多，我们就不去颐和园玩。今天是星期六，颐和园游人太多，所以我们去圆明园玩。 35. n个城市用k条公路的网络连结。一条公路定义为两个城市间的一条不穿过任何中间城 市的道路。任意两个城市之间至多修一条公路。证明如果-1）（n-2），则人们总能通 2 过连结的公路，在任何两个城市间旅行。 6 7 武汉理工大学 《离散数学》考试试题 (B 卷)答案 站点： 姓名： 专业： 层次 一、单顼选择甄(本犬砸共沾小題.誓小题I 分■発15分) l.D TC 3 A 4.C 5.B 6. 0 7』8, H 9 A 2 D H.C LID 13. C B IS. B 二J*空題(本大题共iO 小邇,毎小麵2分，共20分〕 畑才感掘言 17亠y 「丄 18 {6,12} 1*330.12} 19. { 2t <1(?>农丄，-h> 22?结合疣 幺元 23-c 3 ■3 24. d ? 25. G 连通带权地小 三』十算甌(本大題共3小题，第恋覆卞小0^5分.第2^29小题各6分、第孔小题S 分■扶30分) P Q R IPV^ Q —ft (1PVQ)A(O-*R) IKPA1R) 0 0 0 I 1 I 1 1 G 0 1 I I 1 J ■ 1 0 I 0 1 0 0 1 i 0 1 1 1 1 I I r i 3 0 0 0 1 0 0 — i J 0 1 0 1 D 1 i 1 1 0 1 0 0 0「 i 1 1 1 I 1 1 1 i R ?但＜bj ＞僅乩故FL 不具备传递性「不是偏序 (3 5? U 分) 26.辭：的关系矩阵为:魁J ■1 (2)因为 电 关赛* I ) 1 ! 1 0 0 I I 0 0 1 0 0 0 各大学教材课后习题答案网址 《线性代数》（同济第四版）课后习题答案（完整版） 高等数学（同济第五版）课后答案（PDF格式，共527页） 中国近现代史纲要课后题答案 曼昆《经济学原理》课后习题解答 21世纪大学英语读写教程（第三册）参考答案 谢希仁《计算机网络教程》（第五版）习题参考答案（共48页） 《概率论与数理统计》习题答案 http:// 《模拟电子技术基础》详细习题答案（童诗白，华成英版，高教版） 《机械设计》课后习题答案（高教版，第八版，西北工业大学） 《大学物理》完整习题答案 .com/viewthread.php?tid=217&fromuid=164951 《管理学》课后答案（周三多） 机械设计基础(第五版)习题答案[杨可桢等主编] 程守洙、江之永主编《普通物理学》（第五版）详细解答及辅导 .php?tid=3&fromuid=164951 新视野大学英语课本详解（四册全） 21世纪大学英语读写教程（第四册）课后答案 新视野大学英语读写教程3册的课后习题答案 1 新视野大学英语第四册答案（第二版） 《中国近现代史》选择题全集（共含250道题目和答案） 《电工学》课后习题答案（第六版，上册，秦曾煌主编） 完整的英文原版曼昆宏观、微观经济学答案 《数字电子技术基础》习题答案（阎石，第五版） 《电路》习题答案上（邱关源，第五版） 《电工学》习题答案（第六版，秦曾煌） https://www.doczj.com/doc/ef3385037.html,/viewthread.php?tid=112&fromuid=164951 21世纪大学英语读写教程（第三册）课文翻译 《生物化学》复习资料大全（3套试卷及答案+各章习题集） 《模拟电子技术基础》课后习题答案（共10章）ewthread.php?tid=21&fromuid=164951 《概率论与数理统计及其应用》课后答案（浙江大学盛骤谢式千编著）《理论力学》课后习题答案（赫桐生，高教版） 《全新版大学英语综合教程》（第四册）练习答案及课文译文viewthread.php?tid=78&fromuid=164951 《化工原理答案》课后习题答案（高教出版社，王志魁主编，第三版）《国际贸易》课后习题答案（海闻P.林德特王新奎） 大学英语综合教程1-4册练习答案 read.php?tid=1282&fromuid=164951 《流体力学》习题答案 《传热学》课后习题答案（第四版） 高等数学习题答案及提示 离散数学试题（A卷答案） 一、（10分）求(P↓Q)→(P∧?(Q∨?R))的主析取范式 解：(P↓Q)→(P∧?(Q∨?R))??(?( P∨Q))∨(P∧?Q∧R)) ?(P∨Q)∨(P∧?Q∧R)) ?(P∨Q∨P)∧(P∨Q∨?Q)∧(P∨Q∨R) ?(P∨Q)∧(P∨Q∨R) ?(P∨Q∨(R∧?R))∧(P∨Q∨R) ?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R) ? M∧1M ? m∨3m∨4m∨5m∨6m∨7m 2 二、（10分）在某次研讨会的休息时间，3名与会者根据王教授的口音分别作出下述判断： 甲说：王教授不是苏州人，是上海人。 乙说：王教授不是上海人，是苏州人。 丙说：王教授既不是上海人，也不是杭州人。 王教授听后说：你们3人中有一个全说对了，有一人全说错了，还有一个人对错各一半。试判断王教授是哪里人？ 解设设P：王教授是苏州人；Q：王教授是上海人；R：王教授是杭州人。则根据题意应有： 甲：?P∧Q 乙：?Q∧P 丙：?Q∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以，丙至少说对了一半。因此，可得甲或乙必有一人全错了。又因为，若甲全错了，则有?Q ∧P，因此，乙全对。同理，乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为： ((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此，王教授是上海人。 三、（10分）证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系，则由定理4.19知，tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系，则由闭包的定义知r (R )?'R 。由定理4.15和由定理4.16得sr (R )?s ('R )＝'R ，进而有tsr (R )?t ('R )＝'R 。 综上可知，tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 四、（15分）集合A ＝{a ，b ，c ，d ，e }上的二元关系R 为R ＝{，，，，，，，， 浙江工业大学期终考试命题稿 2010 /2011 学年第1 学期 命题注意事项： 一、命题稿请用A4纸电脑打印，或用教务处印刷的命题纸，并用黑 墨水书写，保持字迹清晰，页码完整。 二、两份试题必须同等要求，卷面上不要注明A、B字样，由教务处 抽定A、B卷。 三、命题稿必须经学院审核，并在考试前两周交教务处。 浙江工业大学2012/2013 学年 第1学期试卷 课程＿＿＿＿＿＿＿＿ 姓名 ＿＿＿＿＿＿＿＿ 班级＿＿＿＿＿＿＿＿ 学号 ＿＿＿＿＿＿＿＿ 题序 一 二 三 四 五 六 七 八 九 十 总分 计分 一、 1．下列语句是命题的是（ A ）。 A 、离散数学是重要的一门必修课。 B 、1+101=110？ C 、我正在说谎。 D 、全体起立！ 2．图 的邻接矩阵为( C )。 A 、 1 111111*********?? ? ? ? ??? B 、1 110011*********?? ? ? ? ??? C 、0 110001*********?? ? ? ? ??? D 、0 111101*********-?? ? - ? ?-- ?-?? 3．下列排列能构成图的顶点度序列的是（ A ）。 A 、1,2,2,3,4 B 、2,3,4,5,6,7 C 、2,1,1,1,2 D 、3,3,5,6,0 4．设{}b a A ,=，则I A =（D ）。 A 、 A ； B 、A×I A ； C 、 I A ×A ； D 、{,,,}a a b b <><>。 5．下述命题公式中，是重言式的为（ C ）。 A 、)()(q p q p ∨→∧； B 、))())(()(p q q p q p →∧→??； C 、q q p ∧→?)(； D 、q p p ??∧)(。 二、填空题15分 （每小题 3分） 1已知一棵无向树T 有三个3度顶点,一个2度顶点,其余的都是1度顶点, 则T 中有 5 个1度顶点。 试卷二试题与参考答案 一、填空 1、 P:您努力,Q:您失败。 2、 “除非您努力,否则您将失败”符号化为 ; “虽然您努力了,但还就是失败了”符号化为 。 2、论域D={1,2},指定谓词P P (1,1) P (1,2) P (2,1) P (2,2) T T F F 则公式x ??真值为 。 3设A={2,3,4,5,6}上的二元关系}|,{是质数x y x y x R ∨<><=,则 R= (列举法)。 R 的关系矩阵M R = 。 4、设A={1,2,3},则A 上既不就是对称的又不就是反对称的关系 R= ;A 上既就是对称的又就是反对称的关系R= 。 5、设代数系统 二、选择 1、在下述公式中就是重言式为( ) A.)()(Q P Q P ∨→∧; B.))()(()(P Q Q P Q P →∧→??; C.Q Q P ∧→?)(; D.)(Q P P ∨→。 2、命题公式 )()(P Q Q P ∨?→→? 中极小项的个数为( ),成真赋值的个数为 ( )。 A.0; B.1; C.2; D.3 。 3、设}}2,1{},1{,{Φ=S ,则 S 2 有( )个元素。 A.3; B.6; C.7; D.8 。 4、设} 3 ,2 ,1 {=S ,定义S S ?上的等价关系 },,,, | ,,,{c b d a S S d c S S b a d c b a R +=+?>∈∈<><><<=则由 R 产 生的S S ?上一个划分共有( )个分块。 A.4; B.5; C.6; D.9 。 5、设} 3 ,2 ,1 {=S ,S 上关系R 的关系图为 则R 具有( )性质。 A.自反性、对称性、传递性; B.反自反性、反对称性; C.反自反性、反对称性、传递性; D.自反性 。 6、设 ο,+ 为普通加法与乘法,则( )>+<ο,,S 就是域。 A.},,3|{Q b a b a x x S ∈+== B.},,2|{Z b a n x x S ∈== C.},12|{Z n n x x S ∈+== D.}0|{≥∧∈=x Z x x S = N 。 7、下面偏序集( )能构成格。 第2章习题解答 2.1 本题没有给出个体域,因而使用全总个体域. (1) 令x (是鸟 x F:) (会飞翔. G:) x x 命题符号化为 x F ?. G x→ ) ( )) ( (x (2)令x x (为人. F:) (爱吃糖 G:) x x 命题符号化为 x F x→ G ?? )) ( ) ( (x 或者 F x? x ∧ ? ) )) ( ( (x G (3)令x x (为人. F:) G:) (爱看小说. x x 命题符号化为 x F ?. G x∧ (x ( )) ( ) (4) x (为人. x F:) (爱看电视. G:) x x 命题符号化为 F x? ∧ ??. x G ( ) ( )) (x 分析 1°如果没指出要求什么样的个体域，就使用全总个休域，使用全总个体域时，往往要使用特性谓词。（1）-（4）中的) F都是特性谓词。 (x 2°初学者经常犯的错误是，将类似于（1）中的命题符号化为 F x ? G x∧ ( )) ( ) (x 即用合取联结词取代蕴含联结词，这是万万不可的。将（1）中命题叙述得更透彻些，是说“对于宇宙间的一切事物百言，如果它是鸟，则它会飞翔。”因而符号化应该使用联结词→而不能使用∧。若使用∧，使（1）中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。”这显然改变了原命题的意义。 3° （2）与（4）中两种符号化公式是等值的，请读者正确的使用量词否定等值式，证明（2），（4）中两公式各为等值的。 2.2 (1)d (a),(b),(c)中均符号化为 )(x xF ? 其中,12)1(:)(22++=+x x x x F 此命题在)(),(),(c b a 中均为真命题。 （2） 在)(),(),(c b a 中均符号化为 )(x xG ? 其中02:)(=+x x G ，此命题在（a ）中为假命题，在(b)(c)中均为真命题。 （3）在)(),(),(c b a 中均符号化为 )(x xH ? 其中.15:)(=x x H 此命题在)(),(b a 中均为假命题，在(c)中为真命题。 分析 1°命题的真值与个体域有关。 2° 有的命题在不同个体域中，符号化的形式不同，考虑命题 “人都呼吸”。 在个体域为人类集合时，应符号化为 )(x xF ? 这里，x x F :)(呼吸，没有引入特性谓词。 在个体域为全总个体域时，应符号化为 ))()((x G x F x →? 这里，x x F :)(为人，且)(x F 为特性谓词。x x G :)(呼吸。 2．3 因题目中未给出个体域，因而应采用全总个体域。 326《离散数学》期末考试题(B ) 一、填空题(每小题3分，共15分) 1.设,,},,{{b a b a A =?}，则-A ? = ( )，-A {?} = ( )，)(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素，则A 上的二元关系有( )个，其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ，对于其上的整除关系“|”，元素( )不存在补元. 5.当n ( )时，n 阶完全无向图n K 是平面图，当当n 为( )时，n K 是欧拉图. 二．1. 若n B m A ==||,||，则=?||B A ( )，A 到B 的2元关系共有( )个，A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)}，则( )是单射，( )是满射，( )是双射. 3. 下列5个命题公式中，是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(； (2))(q p p ∨→； (3))(q p p ∧→； (4)q q p p →∨∧?)(； (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合，“|”是其上的整除关系，则3的补元( )，4的补元( )，6的补元( ). 5. 设G 是(7, 15)简单平面图，则G 一定是( )图，且其每个面恰由( )条边围成，G 的面数为( ). [Word格式]《成本会计》习题及答案（自学推荐，23页） [Word格式]《成本会计》配套习题集参考答案 [Word格式]《实用成本会计》习题答案 [Word格式]《会计电算化》教材习题答案（09年） [JPG格式]会计从业《基础会计》课后答案 [Word格式]《现代西方经济学（微观经济学）》笔记与课后习题详解（第3版，宋承先）[Word格式]《宏观经济学》习题答案（第七版，多恩布什） [Word格式]《国际贸易》课后习题答案（海闻 P.林德特王新奎） [PDF格式]《西方经济学》习题答案（第三版，高鸿业）可直接打印 [Word格式]《金融工程》课后题答案（郑振龙版） [Word格式]《宏观经济学》课后答案（布兰查德版） [JPG格式]《投资学》课后习题答案（英文版，牛逼版） [PDF格式]《投资学》课后习题答案（博迪，第四版） [Word格式]《微观经济学》课后答案（高鸿业版） [Word格式]《公司理财》课后答案（英文版，第六版） [Word格式]《国际经济学》教师手册及课后习题答案（克鲁格曼，第六版） [Word格式]《金融市场学》课后习题答案（张亦春，郑振龙，第二版） [PDF格式]《金融市场学》电子书（张亦春，郑振龙，第二版） [Word格式]《微观经济学》课后答案（平狄克版） [Word格式]《中级财务会计》习题答案（第二版，刘永泽） [PDF格式]《国际经济学》习题答案（萨尔瓦多，英文版） [JPG格式]《宏观经济学》课后答案（曼昆，中文版） [PDF格式]《宏观经济学》答案（曼昆，第五版，英文版）pdf格式 [Word格式]《技术经济学概论》（第二版）习题答案 [Word格式]曼昆《经济学原理》课后习题解答 [PDF格式]西方经济学（高鸿业版）教材详细答案 [Word格式]完整的英文原版曼昆宏观、微观经济学答案 [Word格式]《金融市场学》课后答案（郑振龙版） 化学物理 [Word格式]《固体物理》习题解答（方俊鑫版） [Word格式]《简明结构化学》课后习题答案（第三版，夏少武） [Word格式]《生物化学》复习资料大全（3套试卷及答案+各章习题集） [PDF格式]《光学教程》习题答案（第四版，姚启钧原著） [Word格式]《流体力学》实验分析答案（浙工大版） [Word格式]《高分子化学》课后习题答案（第四版，潘祖仁主编） [PDF格式]《化工热力学》习题与习题答案（含各种版本） [Word格式]《材料力学》习题答案 [Word格式]《量子力学导论》习题答案（曾谨言版，北京大学） [PDF格式]《理论力学》习题答案（动力学和静力学） 离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】 326《离散数学》期末考试题(B ) 一、填空题(每小题3分，共15分) 1.设,,},,{{b a b a A =?}，则-A ? = ( )，-A {?} = ( )， )(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素，则A 上的二元关系有( )个，其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ，对于其上的整除关系“|”，元素( )不存在补元. 5.当n ( )时，n 阶完全无向图n K 是平面图，当当n 为( )时，n K 是欧拉图. 二．1. 若n B m A ==||,||，则=?||B A ( )，A 到B 的2元关系共有( )个，A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)}，则( )是单射，( )是满射，( )是双射. 3. 下列5个命题公式中，是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(； (2))(q p p ∨→； (3))(q p p ∧→； (4)q q p p →∨∧?)(； (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合，“|”是其上的整除关系，则3的补元( )，4的补元( )，6的补元( ). 第一章部分课后习题参考答案 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?1 17．判断下面一段论述是否为真：“π是无理数。并且，如果3是无理数，则2也是无理数。另外6能被2整除，6才能被4整除。” 答：p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 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 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式 （5）公式类型为可满足式（方法如上例） （6）公式类型为永真式（方法如上例） 第二章部分课后习题参考答案 3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值. (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 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 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) 一．判断题（共10小题，每题1分，共10分） 在各题末尾的括号内画 表示正确，画 表示错误： 1．设p、q为任意命题公式，则(p∧q)∨p ? p ( ) 2．?x(F(y)→G(x)) ? F(y)→?xG(x)。( ) 3．初级回路一定是简单回路。( ) 4．自然映射是双射。( ) 5．对于给定的集合及其上的二元运算，可逆元素的逆元是唯一的。( ) 6．群的运算是可交换的。( ) 7．自然数集关于数的加法和乘法 列为。 19．n阶无向简单连通图G的生成树有条边。 20．7阶圈的点色数是。 三、运算题（共5小题，每小题8分，共40分） 21．求?xF(x)→?yG(x,y)的前束范式。 22．已知无向图G有11条边，2度和3度顶点各两个，其余为4度顶点，求G 的顶点数。 23．设A={a,b,c,d,e,f}，R=I A?{ 习题 2.1 1．将下列命题符号化。 (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是实数。Q(x)：x是有理数。 “有些实数是有理数。”符号化为：(?x)(R(x)∧Q(x)) 填空10% （每小题 2 分） 1、若P，Q，为二命题，P Q 真值为0 当且仅当。 2、命题“对于任意给定的正实数，都存在比它大的实数” 令F（x）：x 为实数，L（x, y） : x y 则命题的逻辑谓词公式为。 3、谓词合式公式xP（x） xQ（x）的前束范式为。 4、将量词辖域中出现的和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为 换名规则。 5、设x 是谓词合式公式A的一个客体变元，A的论域为D，A（x）关于y 是自由的，则被称为存 在量词消去规则，记为ES。 选择25% （每小题分） 1、下列语句是命题的有（）。 A、明年中秋节的晚上是晴天； C、xy 0 当且仅当x 和y 都大于0； D 、我正在说谎。 2、下列各命题中真值为真的命题有（）。 A、2+2=4当且仅当3是奇数； B、2+2=4当且仅当 3 不是奇数； C、2+2≠4 当且仅当3是奇数； D、2+2≠4当且仅当 3 不是奇数； 3、下列符号串是合式公式的有（） A、P Q ； B、P P Q； C、( P Q) (P Q)； D、(P Q) 。 4、下列等价式成立的有（ ）。 A、P QQ P ； B、P(P R) R； C、P (P Q) Q； D 、P (Q R) (P Q) R。 5、若A1,A2 A n和B为 wff ，且A1 A2 A n B 则 （ ）。 A、称A1 A2 A n 为 B 的前 件； B 、称 B 为A1,A2 A n 的有效结论 C 、 x(M (x) Mortal (x)) ； D 、 x(M(x) Mortal (x)) 8、公式 A x(P(x) Q(x))的解释 I 为：个体域 D={2} ，P(x) ：x>3, Q(x) ：x=4则 A 的 真 值为（ ） 。 A 、 1； B 、 0； C 、 可满足式； D 、无法判定。 9、 下列等价关系正确的是（ ）。 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) xP(x) Q ； D 、 x(P(x) Q) xP(x) Q 。 10 、 下列推理步骤错在（ ）。 ① x(F(x) G(x)) P ② F(y) G(y) US ① ③ xF(x) P ④ F(y) ES ③ ⑤G(y) T ②④I ⑥ xG(x) EG ⑤ A 、②； B 、④； C 、⑤； D 、⑥ 逻辑判断 30% 1、 用等值演算法和真值表法判断公式 A ((P Q) (Q P)) (P Q) 的类型。 C 、当且仅当 A 1 A 2 A n D 、当且仅当 A 1 A 2 A n B F 。 6、 A ，B 为二合式公式，且 B ，则（ ）。 7、 A 、 A C 、 A B 为重言式； B 、 B ； E 、 A B 为重言式。 人总是要死的”谓词公式表示为（ ）。 论域为全总个体域） M （x ） ： x 是人； Mortal(x) x 是要死的。 A 、 M (x) Mortal (x) ； B M (x) Mortal (x) 习题与解答 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 =???。 x x E :)(是偶数，)(x E 可表示为)2(x v v =??。 x x P :)(是素数，)(x P 可表示为)1)(()1(x u u x u v v u x =∨=?=???∧=?。 武汉理工大学《离散数学》考试试题(B卷) 站点：姓名：专业：层次 一、单项选择题（本大题共15小题，每小题1分，共15分） 在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。 1．令P：今天下雪了，Q：路滑，则命题“虽然今天下雪了，但是路不．滑”可符号化为（）A．P→Q B．P∨Q C．P∧Q D．P∧Q 2．下列命题公式为重言式的是（） A．Q→（P∧Q）B．P→（P∧Q） C．（P∧Q）→P D．（P∨Q）→Q 3．下列4个推理定律中，不．正确的是（） A．A?（A∧B）B．（A∨B）∧A?B C．（A→B）∧A?B D．（A→B）∧B?A 4．谓词公式?x(P(x)∨?yR(y))→Q(x)中量词x?的辖域是（） A．)) x? P ?B．P（x） x ∨ (y ( ) ( yR C．(P(x)∨?yR(y)) D．P(x), Q(x) 5．设个体域A={a,b}，公式?xP(x)∧?xS(x)在A中消去量词后应为（） 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．??? B．?∈? C．??{?} D．?∈{?} 7．设A={a,b,c,d}，A上的等价关系R={ 大学几乎所有学科的课本答案 ！ 任明嘉的日志 经济金融 [PDF格式]《会计学原理》同步练习题答案 [Word格式]《成本会计》习题及答案（自学推荐，23页） [Word格式]《成本会计》配套习题集参考答案 [Word格式]《实用成本会计》习题答案 [Word格式]《会计电算化》教材习题答案（09年） [JPG格式]会计从业《基础会计》课后答案 [Word格式]《现代西方经济学（微观经济学）》笔记与课后习题详解（第3版，宋承先）[Word格式]《宏观经济学》习题答案（第七版，多恩布什） [Word格式]《国际贸易》课后习题答案（海闻P.林德特王新奎） [PDF格式]《西方经济学》习题答案（第三版，高鸿业）可直接打印 [Word格式]《金融工程》课后题答案（郑振龙版） [Word格式]《宏观经济学》课后答案（布兰查德版） [JPG格式]《投资学》课后习题答案（英文版，牛逼版） [PDF格式]《投资学》课后习题答案（博迪，第四版） [Word格式]《微观经济学》课后答案（高鸿业版） [Word格式]《公司理财》课后答案（英文版，第六版） [Word格式]《国际经济学》教师手册及课后习题答案（克鲁格曼，第六版） [Word格式]《金融市场学》课后习题答案（张亦春，郑振龙，第二版）[PDF格式]《金融市场学》电子书（张亦春，郑振龙，第二版） [Word格式]《微观经济学》课后答案（平狄克版） [Word格式]《中级财务会计》习题答案（第二版，刘永泽） [PDF格式]《国际经济学》习题答案（萨尔瓦多，英文版） [JPG格式]《宏观经济学》课后答案（曼昆，中文版） [PDF格式]《宏观经济学》答案（曼昆，第五版，英文版）pdf格式 [Word格式]《技术经济学概论》（第二版）习题答案 [Word格式]曼昆《经济学原理》课后习题解答 [PDF格式]西方经济学（高鸿业版）教材详细答案 [Word格式]完整的英文原版曼昆宏观、微观经济学答案 [Word格式]《金融市场学》课后答案（郑振龙版） 化学物理 [Word格式]《固体物理》习题解答（方俊鑫版） [Word格式]《简明结构化学》课后习题答案（第三版，夏少武） [Word格式]《生物化学》复习资料大全（3套试卷及答案+各章习题集）[PDF格式]《光学教程》习题答案（第四版，姚启钧原著） [Word格式]《流体力学》实验分析答案（浙工大版） [Word格式]《高分子化学》课后习题答案（第四版，潘祖仁主编） 一、填空 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 ?∨∧∨∧)()(的主合取范式为 。 5．若解释I 的论域D 仅包含一个元素，则 )()(x xP x xP ?→? 在I 下真值为 。 6．设A={1，2，3，4}，A 上关系图为 则 R 2 = 。 7．设A={a ，b ，c ，d}，其上偏序关系R 的哈斯图为 则 R= 。 8．图的补图为 。 9．设A={a ，b ，c ，d} ，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上的关系，则下列说法正确的是（） R 是自反的； A．若R，S 是自反的，则S R 是反自反的； B．若R，S 是反自反的，则S R 是对称的； C．若R，S 是对称的，则S R 是传递的。 D．若R，S 是传递的，则S 5、设A={1，2，3，4}，P（A）（A的幂集）上规定二元系如下 t s p R= t s ∈ =则P（A）/ R=（） < > ∧ A ) (| || |} ( , {t , | s 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) = 第二章 谓词逻辑 习题与解答 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 =???。 x x E :)(是偶数，)(x E 可表示为)2(x v v =??。 离散数学试题(B卷答案1） 一、证明题（10分） 1)(?P∧(?Q∧R))∨(Q∧R)∨(P∧R)?R 证明: 左端?(?P∧?Q∧R)∨((Q∨P)∧R) ?((?P∧?Q)∧R))∨((Q∨P)∧R) ?(?(P∨Q)∧R)∨((Q∨P)∧R) ?(?(P∨Q)∨(Q∨P))∧R ?(?(P∨Q)∨(P∨Q))∧R ?T∧R(置换)?R 2) ?x (A(x)→B(x))??xA(x)→?xB(x) 证明：?x(A(x)→B(x))??x(?A(x)∨B(x)) ??x?A(x)∨?xB(x) ???xA(x)∨?xB(x) ??xA(x)→?xB(x) 二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式（10分）。 证明：(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)∨(?P∧?Q∧?R)∨(?P∧Q∧?R))∨(?P∧?Q∧?R))∨(P∧Q∧R) ?m0∨m1∨m2∨m7 ?M3∨M4∨M5∨M6 三、推理证明题（10分） 1）C∨D， (C∨D)→?E，?E→(A∧?B)， (A∧?B)→(R∨S)?R∨S 证明：(1) (C∨D)→?E P (2) ?E→(A∧?B) P (3) (C∨D)→(A∧?B) T(1)(2)，I (4) (A∧?B)→(R∨S) P (5) (C∨D)→(R∨S) T(3)(4)， I (6) C∨D P (7) R∨S T(5)，I 2) ?x(P(x)→Q(y)∧R(x))，?xP(x)?Q(y)∧?x(P(x)∧R(x)) 证明(1)?xP(x) P各大学教材课后习题答案网址
(完整版)离散数学试卷及答案
2012-2013(1)离散数学试卷及答案B卷
离散数学试题与答案
离散数学 第2章 习题解答
离散数学期末试题及答案
各科书的下载地址
离散数学期末试题及答案完整版
离散数学课后习题答案_屈婉玲(高等教育出版社)
离散数学期末试卷及答案
离散数学 第2章 习题解答
离散数学试卷及答案
离散数学答案第二章习题解答
离散数学b卷及答案
大学几乎所有学科的课本答案
离散数学试卷及答案(1)
离散数学答案(尹宝林版)第二章习题解答
离散数学期末考试试题及答案
相关主题
文本预览