离散数学 集合、数理逻辑、图部分的综合练习题

合集下载

离散数学形考任务1-7试题及答案完整版

离散数学形考任务1-7试题及答案完整版

包为 {<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 >}
解答:学习计划
学习离散数学任务目标:
其一是通过学习离散数学,使学生了解和掌握在后续课程中要直接用到的一些数学概念和 基本原理,掌握计算机中常用的科学论证方法,为后续课程的学习奠定一个良好的数学基 础; 其二是在离散数学的学习过程中,培养自学能力、抽象思维能力和逻辑推理能力,解决实 际问题的能力,以提高专业理论水平。 其三是初步掌握处理离散结构所必须的描述工具和方法 离散数学的主要内容: 第一章节:主要介绍集合及其运算 第二章节:主要介绍关系与函数 第三章节:主要介绍图的基本概念及性质 第四章节:主要介绍几种特殊图 第五章节:主要介绍树及其应用 第六章节:主要介绍命题逻辑 第七章节:主要介绍谓词逻辑 离散数学的考核方式分为:了解、理解和掌握。
题干
标记题目
如果 R1 和 R2 是 A 上的自反关系,则 R1∪R2,R1∩R2,R1-R2 中自反关系有( B ) 个
选择一项:
A. 0
B. 2
C. 1
D. 3
题目 6
答案已保存 满分 10.00
题干
标记题目
设 A={1, 2, 3, 4, 5, 6, 7, 8} , R 是 A 上的整除关系, B={2, 4, 6} ,则集合 B 的最
2017 年 11 月上交的离散数学形考任务一

《离散数学》题库及标准答案

《离散数学》题库及标准答案

《离散数学》题库及标准答案《离散数学》题库及答案————————————————————————————————作者:————————————————————————————————日期:《离散数学》题库与答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?( )(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条边。

离散数学 练习-第1部分 数理逻辑(解答)

离散数学 练习-第1部分 数理逻辑(解答)

5、下列命题公式为重言式的是( D ),为矛盾式的是( C )
A、(P→Q)⋀Q⋀R
B、(P→P)→Q
C、(Q⋁R)⋀R
D、((P→Q)⋀(Q→R))→(P→R)
6、命题公式 (P→Q) 的主合取范式中含有( D )个极大项, 主析取范式中含有( B )个极小项 A、0 B、1 C、2 D、3
7、下列式子不正确的是( D ) A、∃xA(x) ⇔ ∀xA(x) B、∃x(A→B(x)) ⇔ A→∃xB(x) C、∀xA(x) ⇔ ∃xA(x) D、∀x(A(x)→B) ⇔ ∀xA(x)→B
以下方案任选一:①A不去,B不去,C去;②A不去,B去,C不去; ③A去,B不去,C去
9、证明下列谓词公式为永真式
(xF( x) yG( y)) (yG( y) xF( x))
证明:题中的谓词公式为 (P Q) (Q P) 的代换实例
(P Q) (Q P) (P Q) (Q P) (P Q) (P Q) 1 (A A 1)
(P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) m001 m000 m011 m111 m0 m1 m3 m(7 主析取范式) M2 M4 M5 M(6 主合取范式) (P Q R) (P Q R) (P Q R) (P Q R)
命题“并不是所有汽车都比火车跑得慢”可符号化为( C )
命题“说汽车都比火车快是不对的”可符号化为( C ) A、∃x(F(x)∧∀y(G(y)→H(x,y))) B、∃x∃y(F(x)∧G(y)→H(x,y)) C、∀x∀y(F(x)∧G(y)→H(x,y)) D、∀x(F(x)∧∃y(G(y)→H(x,y)))

离散数学图论部分综合练习及答案

离散数学图论部分综合练习及答案
B.6 点,7 边 D.5 点,7 边
3.设图 G=<V, E>,则下列结论成立的是 ( C
A.deg(V)=2E
B.deg(V)=E
C. ∑deg(v) = 2 E v∈V
D. ∑deg(v) = E v∈V

).神马东东?????
aο
οb
οd
οf
4.图 G 如图一所示,以下说法正确的是 ( C ) .
2.设 G 是一个 n 阶无向简单图,n 是大于等于 2 的奇数.证明图 G 与它的 补图 G 中的奇数度顶点个数相等.
2.证明:设 G =< V , E > , G =< V , E′ > .则 E′ 是由 n 阶无向完全图 Kn 的边 删去 E 所得到的.所以对于任意结点 u ∈V ,u 在 G 和 G 中的度数之和等于 u 在 Kn 中的度数.由于 n 是大于等于 2 的奇数,从而 Kn 的每个结点都是偶数度的 ( n −1 (≥ 2) 度),于是若 u ∈V 在 G 中是奇数度结点,则它在 G 中也是奇数度 结点.故图 G 与它的补图 G 中的奇数度结点个数相等.
(v2, v4),(v3, v4),(v3, v5),(v4, v5) },试 (1)画出 G 的图形表示;
(2)写出其邻接矩阵;
(3)求出每个结点的度数;
V1:2;V2:3;V3:4;V4:3;V5:2
(4)画出图 G 的补图的图形.
3.设 G=<V,E>,V={ v1,v2,v3,v4,v5},E={ (v1,v3),(v2,v3),(v2,v4),(v3,v4), (v3,v5),(v4,v5) },试
则对于结点集 V 的每个非空子集 S,在 G 中删除 S

离散数学集合论部分测试题

离散数学集合论部分测试题

离散数学集合论部分测试题离散数学集合论部分综合练习本课程综合练习共分3次,分别是集合论部分、图论部分、数理逻辑部分的综合练习,这3次综合练习基本上是按照考试的题型安排练习题目,目的是通过综合练习,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。

本次是集合论部分的综合练习。

一、单项选择题1.若集合A={a,b},B={ a,b,{ a,b }},则().A.A⊂B,且A∈B B.A∈B,但A⊄BC.A⊂B,但A∉B D.A⊄B,且A∉B2.若集合A={2,a,{ a },4},则下列表述正确的是( ).A.{a,{ a }}∈A B.{ a }⊆AC.{2}∈A D.∅∈A3.若集合A={ a,{a},{1,2}},则下列表述正确的是( ).A.{a,{a}}∈A B.{2}⊆AC.{a}⊆A D.∅∈A4.若集合A={a,b,{1,2 }},B={1,2},则().A.B⊂ A,且B∈A B.B∈ A,但B⊄AC.B ⊂ A,但B∉A D.B⊄ A,且B∉A5.设集合A = {1, a },则P(A) = ( ).A.{{1}, {a}} B.{∅,{1}, {a}}C.{∅,{1}, {a}, {1, a }} D.{{1}, {a}, {1, a }}6.若集合A的元素个数为10,则其幂集的元素个数为().A.1024 B.10 C.100 D.17.集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={<x,y>|x+y=10且x, y∈A},则R 的性质为().A.自反的B.对称的C.传递且对称的D.反自反且传递的8.设集合A = {1,2,3,4,5,6 }上的二元关系R ={<a , b>⎢a , b∈A , 且a +b = 8},则R具有的性质为().A.自反的B.对称的C.对称和传递的D.反自反和传递的9.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有()个.A.0 B.2 C.1 D.310.设集合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 .以上都不对11.设集合A = {1 , 2 , 3 , 4 , 5}上的偏序关系的哈斯图如图一所示,若A 的子集B = {3 , 4 , 5},则元素3为B 的( ).A .下界B .最大下界C .最小上界D .以上答案都不对 12.设A ={1, 2, 3, 4, 5, 6, 7, 8},R 是A 上的整除关系,B ={2, 4, 6},则集合B 的最大元、最小元、上界、下界依次为 ( ).A .8、2、8、2B .无、2、无、2C .6、2、6、2D .8、1、6、113.设A ={a , b },B ={1, 2},R 1,R 2,R 3是A 到B 的二元关系,且R 1={<a ,2>, <b ,2>},R 2={<a ,1>, <a ,2>, <b ,1>},R 3={<a ,1>, <b ,2>},则( )不是从A 到B 的函数.A .R 1和R 2B .R 2C .R 3D .R 1和R 3二、填空题1.设集合A 有n 个元素,那么A 的幂集合P (A )的元素个数为 .2.设集合A ={a ,b },那么集合A 的幂集是 . 应该填写:{∅,{a ,b },{a },{b }}3.设集合A ={0, 1, 2, 3},B ={2, 3, 4, 5},R 是A 到B 的二元关系, },,{B A y x B y A x y x R ⋂∈∈∈><=且且则R 的有序对集合为 .4.设集合A ={0, 1, 2},B ={0, 2, 4},R 是A 到B 的二元关系,},,{B A y x B y A x y x R ⋂∈∈∈><=且且则R 的关系矩阵M R =.5.设集合A ={a ,b ,c },A 上的二元关系R ={<a , b >,<c . a >},S ={<a , a >,<a , b >,<c , c >}则(R ∙S )-1= .6.设集合A ={a ,b ,c },A 上的二元关系R ={<a , b >, <b , a >, <b , c >, <c , d >},则二元关系R 具有的性质是 .7.若A ={1,2},R ={<x , y >|x ∈A , y ∈A , x +y =10},则R 的自反闭包为 .8.设集合A ={1, 2},B ={a , b },那么集合A 到B 的双射函数是 . 2 4 1 3 5图一9.设A ={a ,b ,c },B ={1,2},作f :A →B ,则不同的函数个数为 .三、判断说明题(判断下列各题,并说明理由.)1.设A 、B 、C 为任意的三个集合,如果A ∪B =A ∪C ,判断结论B =C 是否成立?并说明理由.2.如果R 1和R 2是A 上的自反关系,判断结论:“R -11、R 1∪R 2、R 1⋂R 2是自反的” 是否成立?并说明理由.3. 若偏序集<A ,R >的哈斯图如图一所示,则集合A 的最大元为a ,最小元不存在. 4.若偏序集<A ,R >的哈斯图如图二所示,则集合A 的最大元为a ,最小元不存在.5.设N 、R 分别为自然数集与实数集,f :N→R ,f (x )=x +6,则f 是单射.四、计算题 1.设集合A ={a , b , c },B ={b , d , e },求(1)B ⋂A ; (2)A ⋃B ; (3)A -B ; (4)B ⊕A .2.设A ={{a , b }, 1, 2},B ={ a , b , {1}, 1},试计算(1)(A -B ) (2)(A ∪B ) (3)(A ∪B )-(A ∩B ).3.设集合A ={{1},{2},1,2},B ={1,2,{1,2}},试计算(1)(A -B ); (2)(A ∩B ); (3)A ×B .4.设A ={0,1,2,3,4},R ={<x ,y >|x ∈A ,y ∈A 且x +y <0},S ={<x ,y >|x ∈A ,y ∈A 且x +y ≤3},试求R ,S ,R ∙S ,R -1,S -1,r (R ).5.设A ={1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12},R 是A 上的整除关系,B ={2, 4, 6}.(1)写出关系R 的表示式; (2)画出关系R 的哈斯图;(3)求出集合B 的最大元、最小元.6.设集合A ={a , b , c , d }上的二元关系R 的关系图 如图三所示.(1)写出R 的表达式;(2)写出R 的关系矩阵;(3)求出R 2. 7.设集合A ={1,2,3,4},R ={<x , y >|x , y ∈A ;|x -y |=1或x -y =0},试(1)写出R 的有序对表示; (2)画出R 的关系图;(3)说明R 满足自反性,不满足传递性.五、证明题1.试证明集合等式:A ⋃ (B ⋂C )=(A ⋃B ) ⋂ (A ⋃C ).2.试证明集合等式A ⋂ (B ⋃C )=(A ⋂B ) ⋃ (A ⋂C ).图一图二a dbc 图三3.设R 是集合A 上的对称关系和传递关系,试证明:若对任意a ∈A ,存在b ∈A ,使得<a , b >∈R ,则R 是等价关系.4.若非空集合A 上的二元关系R 和S 是偏序关系,试证明:S R ⋂也是A 上的偏序关系.参考解答一、单项选择题1.A 2.B 3.C 4.B 5.C 6.A 7.B 8.B 9.B 10.C 11.C 12.B 13.B二、填空题1.2n2.{∅,{a ,b },{a },{b }}3.{<2, 2>,<2, 3>,<3, 2>},<3, 3>4.⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡011000011 5.{<a . c >, <b , c >}6.反自反的7.{<1, 1>, <2, 2>}8.{<1, a >, <2, b >},{<1, b >, <2, a >}9.8三、判断说明题(判断下列各题,并说明理由.)1.解:错.设A ={1, 2},B ={1},C ={2},则A ∪B =A ∪C ,但B ≠C .2.解:成立.因为R 1和R 2是A 上的自反关系,即I A ⊆R 1,I A ⊆R 2。

离散数学(本)试题(2016年10月)

离散数学(本)试题(2016年10月)


7.设 A={2, 3},B={1, 2},C={3, 4},从 A 到 B 的函数 f={<2, 2>, <3, 1>},从 B 到 C 的
函数 g={<1,3>, <2,4>},则 Dom(g f)等于

8.若图 G=<V, E>,其中 V={ a, b, c, d },E={ (a, b), (a, d), (b, c), (b, d)},则该图中的割
B. {<1, 1>, <1, 2>, <1, 3>, <1, 4>, <1, 5>}
C. {<1, 1>, <2, 1>}
D. {<1, 1>, <2, 2>, <3, 3 >}
3.无向图 G 的边数是 10,则图 G 的结点度数之和为( ).
A. 10
B. 20
边,r 个面,则( ).
A. {<1,3>,<2,4>,<3,5>}
B. {<2,1 >,<4,3>,<6,5>}
C. {<1,1>,<2,2>,<3,3>}
D. {<1,2>,<2,4>,<3,6>}
3.无向图 G 是棵树,边数是 10,则 G 的结点度数之和是( ).
A. 20
B. 9
C. 10
D. 11
4.下面的推理正确的是( ).
18.试证明:P→Q P→( (P∨Q)).
2
离散数学(本)2016 年 10 月份试题 参考解答

离散数学综合练习及答案

离散数学综合练习及答案

北京科技大学远程教育学院《离散数学》综合练习(一)参考答案数理逻辑一、判断下列句子是否是命题,若是命题判断真值,并将其符号化。

1、今天天气真好!解:不是命题。

2、王华和张民是同学。

解:是命题。

真值视实际情况而定。

p:王华和张民是同学。

3、我一边吃饭,一边看电视。

解:是命题。

真值视实际情况而定。

p:我吃饭。

q:我看电视。

p∧q 4、没有不呼吸的人。

解:是命题。

真值为1。

M(x):x是人。

F(x):x呼吸。

∀x(M(x)→F(x))二、求命题公式的真值表和成真赋值、成假赋值。

p→∧qr∧→(p])[(r)解:成真赋值:000,001,010,011,101,111;成假赋值100,110三、用真值表、等值演算两种方法判别公式类型。

1、r q q p →∧→])[( 解:rq q p r q q q p r q q p rq q p r q q p r q q p ∨⌝∧⌝∨⇔∨⌝∨⌝∧⌝∨⇔∨⌝∨⌝∧⇔∨⌝∨∨⌝⌝⇔∨∧∨⌝⌝⇔→∧→])[()]()[()()(])[(])[(可满足式2、))((p q p q ∧∨⌝⌝∨ 解:))((p q p q A ∧∨⌝⌝∨=1)()()())((⇔∨⌝∨∨⌝⌝⇔⌝∨∨⌝⌝∨⇔∧∨⌝⌝∨q p q p p q p q p q p q永真式四、求命题公式的主析取范式和成真赋值、成假赋值。

)(r q p →→ 解:∑=→→),,,,,,7543210()(r q p 成真赋值:000,001,010,011,100,101,111;成假赋值110 五、解释I 如下:D 是实数集,特定元素a =0;特定函数f (x ,y )=x -y ;特定谓词F (x ,y ):x<y 。

在解释I 下判别公式真、假。

1、)])(([x y x f F y x ,,⌝∀∀ 解:)])[()])(([)]([)])(([x y x y x x y x y x x y x F y x x y x f F y x ≥-∀∀⇔<-⌝∀∀⇔-⌝∀∀⇔⌝∀∀,,,真值为假2、)]()([)({z y f z x f F y x F z y x ,,,,→∀∀∀ 解:)]()()[()]}()([)({z y z x y x z y x z y f z x f F y x F z y x -<-→<∀∀∀⇔→∀∀∀,,,,真值为真 六、1、求前束范式)()(y x yG x xF ,∀→⌝∃ 解:)]()([)()()()()()(y t G x F y x y t yG x xF y x yG x xF y x yG x xF ,,,,∨∀∃⇔∀∨∃⇔∀∨∃⇔∀→⌝∃2、证明:B x xA B x A x →∀⇔→∃)())(( 证明:Bx xA Bx xA B x A x B x A x B x A x →∀⇔∨⌝∀⇔∨⌝∃⇔∨⌝∃⇔→∃)()()())(())((七、写出下面推理的证明,要求写出前提、结论,并注明推理规则。

离散数学集合论部分综合练习

离散数学集合论部分综合练习

离散数学集合论部分综合练习本课程综合练习共分3次, 分别是集合论部分、图论部分、数理逻辑部分的综合练习, 这3次综合练习基本上是按照考试的题型安排练习题目, 目的是经过综合练习, 使同学自己检验学习成果, 找出掌握的薄弱知识点, 重点复习, 争取尽快掌握。

本次是集合论部分的综合练习。

一、单项选择题1.若集合A={a, b}, B={ a, b, { a, b }}, 则( ) . A.A B, 且A B B.A B, 但A BC.A B, 但A B D.A B, 且A B 2.若集合A={2, a, { a }, 4}, 则下列表述正确的是( ).A.{a, { a }}A B.{ a }AC.{2}A D. A3.若集合A={a, {a}, {1, 2}}, 则下列表述正确的是( ). A.{a, {a}}A B.{2}AC.{a}A D.A4.若集合A={a, b, {1, 2 }}, B={1, 2}, 则( ) .A.B A, 且B A B.B A, 但B AC.B A, 但B A D.B A, 且B A5.设集合A = {1, a }, 则P(A) = ( ).A.{{1}, {a}} B.{∅,{1}, {a}} C.{∅,{1}, {a}, {1, a}} D.{{1}, {a}, {1, a}} 6.若集合A的元素个数为10, 则其幂集的元素个数为( ) .A.1024 B.10 C.100 D.1 7.集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={<x, y>|x+y=10且x, y∈A}, 则R的性质为( ) .A.自反的 B.对称的C.传递且对称的 D.反自反且传递的8.设集合A = {1, 2, 3, 4, 5, 6 }上的二元关系R ={<a , b>a , b∈A , 且a +b = 8}, 则R具有的性质为( ) .A.自反的 B.对称的C.对称和传递的 D.反自反和传递的9.如果R1和R2是A上的自反关系, 则R1∪R2, R1∩R2, R1-R2中自反关系有( ) 个.A .0B .2C .1D .310.设集合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 .以上都不对11.设集合A = {1 , 2 , 3 , 4 , 5}上的偏序关系 的哈斯图如图一所示, 若A 的子集B则元素3为B 的( ) .A .下界B .最大下界C .最小上界D .以上答案都不对12.设A ={1, 2, 3, 4, 5, 6, 7, 8}, R 是A 上的整除关系, B ={2, 4, 6}, 则集合B 的最大元、 最小元、 上界、 下界依次为 ( ).A .8、 2、 8、 2B .无、 2、 无、 2C .6、 2、 6、 2D .8、 1、 6、 113.设A ={a , b }, B ={1, 2}, R 1, R 2, R 3是A 到B 的二元关系, 5图且R1={<a, 2>, <b, 2>}, R2={<a, 1>, <a, 2>, <b, 1>}, R3={<a, 1>, <b, 2>}, 则( ) 不是从A到B的函数.A.R1和R2 B.R2 C.R3 D.R1和R3二、填空题1.设集合A有n个元素, 那么A的幂集合P(A)的元素个数为.2.设集合A={a, b}, 那么集合A的幂集是.应该填写: {,{a,b},{a},{b }}3.设集合A={0, 1, 2, 3}, B={2, 3, 4, 5}, R是A到B的二元关系,∈R⋂xy∈x且=且<>∈{B,,}AyyBxA则R的有序对集合为.4.设集合A={0, 1, 2}, B={0, 2, 4},R是A到B的二元关系,∈∈R⋂x∈y且=且<>A{B,,}xyAxyB则R的关系矩阵M R=.5.设集合A={a,b,c}, A上的二元关系R={<a, b>,<c. a>}, S={<a, a>,<a, b>,<c, c>}则(R S)-1= .6.设集合A={a,b,c}, A上的二元关系R={<a, b>, <b, a>, <b, c>, <c, d>}, 则二元关系R具有的性质是.7.若A={1,2}, R={<x, y>|x A, y A, x+y=10}, 则R的自反闭包为.8.设集合A={1, 2}, B={a, b}, 那么集合A到B的双射函数是.9.设A={a, b, c}, B={1, 2}, 作f: A→B, 则不同的函数个数为.三、判断说明题( 判断下列各题, 并说明理由.)1.设A、B、C为任意的三个集合, 如果A∪B=A∪C, 判断结论B=C是否成立? 并说明理由.图一。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

集合、数理逻辑、图部分的综合练习题一、单选题:1、设A 、B 为集合,则下列命题为真的是________。

A .若A x ∈,)(B P A ∈,则)(B P x ∈.B .若A x ⊆,)(B P A ⊆,则)(B P x ∈.C .若A x ⊆,)(B P A ⊆,则)(B P x ⊆.D .若A x ∈,)(B P A ⊆,则)(B P x ⊆.2、设R 是实数集,其子集:X = {x | -3≤x <0},Y = {x | -1≤x <5},Z = {x | x <1},则 (X ∩Y )-Z =________。

A .ΦB .{ x | -1≤x <0 }C .{ x | -3≤x <-1 或 –1<x <5}D .{ x | -3≤x <5 }3、若A – B = Φ,则必有________。

A .B = ΦB .B ≠ ΦC .B A ⊆D .A B ⊆4、0与Φ间的关系是0________Φ。

A .=B .∈C .⊆D .∉5、设关系R={<1,2>,<2,2>},S={<2,2>,<2,3>},则R оS= ________。

A .{<1,2>,<2,2>,<2,3>}B .{<1,2>,<1,3>,<2,2>,<2,3>}C .{<2,2>}D .Φ6、设X={1,2},R={<x ,y >|x ,y ∈X ,x +y <3},则关系R 在X 上________。

A .是自反的,但不是对称的B .是对称的,但不是自反的C .既是对称的,又是自反的D .既不是对称的,又不是自反的7、设X={a ,b ,c },R={<a ,b >},则关系R 的自反且传递的闭包是________。

A .{< a ,a >,<b ,b >,<a ,b >}B .{< a ,a >,<b ,b >,<c ,c >,<a ,b >}C .{< a ,a >,<b ,b >,<a ,b >,<b ,a >}D .{< a ,a >,<b ,b >,<c ,c >,<a ,b >,<b ,a >}8、设X ={a },则P (X ) × X = ________。

A .{<Φ,a >}B .{<Φ,a >,<{a },a > }C .{<Φ,a >,< a ,a > }D .{< a ,a > }9、设R 和S 是集合A 上的关系,则下列命题为真的是_______。

A .若R 和S 都是自反的,R ∩S 也是自反的B .若R 和S 都是对称的,R оS 也是对称的C .若R 和S 都是反对称的,R ∪S 也是反对称的D .若R 和S 都是传递的,R ∪S 也是传递的10、设A={a ,b ,c ,d },下列_______是A 的一个划分。

A .{{a ,b },{b ,c },{c ,d }}B .{{ a ,b ,c ,d },{a },{b },{c },{d } }C .{{a },{b ,c },{d }}D .{{a },{b },{c }}11、下列句子中_______是命题。

A .63>+xB .将手机关掉!C .2是有理数。

D .天气真冷啊!12、下列命题中________是简单命题。

A .张三和李四都是大学生B .张三和李四是同学C .张三和李四不是同学D .如果张三是二年级的,则李四就是三年级的13、下列推理依据(蕴涵式)不正确的是_________。

A .AB A ⇒∧)(B .A B B A ⌝⇒⌝∧∨)(C .B A B A ⇒∧→)(D . A B A B ⌝⇒→∧⌝)(14、以下公式中不是可满足式的是________。

A .┐(Q →P )∧PB .(P →Q )∧┐PC .(┐P ∨Q )∧QD .(Q →P )∧P15、在P ,Q ,R 为原子生成的极小项中,对应于二进制数101的是________。

A .┐P ∧Q ∧┐RB . P ∨┐Q ∨RC .┐P ∧Q ∧┐RD . P ∨┐Q ∨R16、设P :天下雨,Q :我骑自行车上班,命题“除非天下雨,否则我骑自行车上班”可符号化为 ________。

A .P →QB .Q →PC .┐P →┐QD .┐Q →P17、设P :2是素数,Q :3是素数,R :3是有理数。

下列公式中为真的是________。

A .(P ∧Q )→RB .R →(P ∧Q )C .R ←→(P ∨Q )D .(R ∧P )←→Q18、在下列各组公式中, ________不是等值式。

A .))((B x A x ∨∀与B x xA ∨∀)(B .))((B x A x ∧∀与B x xA ∧∀)(C .))((B x A x →∀与B x xA →∀)(D .))((x A B x →∀与)(x xA B ∀→19、设I 是如下的解释:个体域D={1,2},F (1,2)=F (2,2)=0,F (1,1)=F (2,1)=1在I 下,下列公式真值为1的是________。

A .))2,()1,((x F x F x →∀B .))2,()1,((x F x F x ∧∃C .))2,()1,((x F x F x ∧⌝∃D .),(y x yF x ∃∃20、由n 个命题原子组成的不等值的命题公式的个数是________。

A .2nB .2nC .n 2D .n2221、下列四组数中,可以对应做4阶图(无向、简单)四个点的度的是________。

A .1,2,3,4B .0,2,2,3C .1,1,2,2D .1,3,3,322、设G 为7阶图,则下列命题可能为真的是________。

A .G 的每个点的度都是3B .G 的每个点的度都是5C .G 的每个点的度都是6D .G 的每个点的度都是723、在有n 个点的连通图中,其边数________。

A .最多有n -1条B .最多有n 条C .最少有n -1条D .最少有n 条24、下列图中,________不是树。

A .无回路的连通图B .有n 个点n -1条边的连通图C .每对点之间都有通路的图D .连通但任意删去一条边就不连通的图二、填空题1、设A = {0,1,3},B = {0,3,6},R 是A 到B 的关系:R = {<x ,y >|x ,y ∈A ∩B },则R 的关系矩阵是_________________。

2、设集合A ={ 1,2,3,4,5,6,7,8,9,10,11,12},R 是A 上的整除关系,子集B ={2,4,6}的最大元是_______,最小元是_______,上界是_______,下界是_______。

3、设集合A ={ 1,2,3,4,5,6,8,10,24,36},R 是A 上的整除关系,子集B ={1,2,3,4}的上界是_______,下界是_______,上确界是_______,下确界是_______。

4、设集合A ={2,3,4,5,6,8,10,12},R 是A 上的整除关系,A 的极大元是_______,极小元是_______。

5、设非空集合A 满足|A |=n ,则从A 到A 的双射函数有________________个。

6、设A = { { a ,{ a }},a },B = { a ,{ a }},则B A ⊕=_______________。

7、设A 、B 是集合,则命题A - B =Φ<==> A = B 的真值是_______________。

8、P ←→Q 的主合取范式中含________个极大项。

9、设F (x ):x 是人,G (x ):x 呼吸,命题“所有人都呼吸”可符号化为________________。

10、设F (x ):x 是实数,G (x ):x 是有理数,H (x ):x 是无理数,命题“实数不是有理数就是无理数”可符号化为________________。

11、设F (x ):x 是熊猫,G (x ):x 产在中国,命题“熊猫都产在中国”可符号化为________________。

12、在个体域D={1,2,3}中,公式)()(y yG x xF ∃→∀消去量词后的形式是_______________。

13、公式p ∧q 在联结词完备集{┐,→}中的等值式是_______________。

14、n 阶m 条边得到图G 是树的充分必要条件是G 连通且m =___________。

15、完全图K n 的边数为___________。

16、n 阶k 度正则图的边数为______________。

17、n 阶图(无向简单图→)中各点度的最大值不超过_______________。

18、设图G 有12条边,有6个度为3的点,其余点的度都小于3,则G 至少有_____个点。

三、计算题1、设集合A ={ 1,2,3,4,5,6,7,8,9,10,12},画出A 上整除关系的哈斯图。

2、设f :R →R ,f (x )=x 2+1,g :R →R ,g (x )=x +2,求f оg3、求p →(p ∧q ∧r )的主析取范式和主合取范式。

4、构造下面推理的证明,要求每步都写出依据。

前提:p →q ,┐q ∨r ,┐r结论:┐p ∨s5、化简公式((P →Q )←→(┐Q →┐P ))∧R6、用真值表判断((┐P ∨Q )∧(Q →R ))→┐(P ∧┐R )是否重言式。

7、写出),()(y x yG x xF ∃→∀的前束范式。

8、设有向图G =<V ,A >,其中:V ={a ,b ,c ,d ,e },A ={<a ,b >,<b ,d >,<c ,a >,<d ,e >,<e ,b >},写出G 的邻接矩阵。

9、对下图,求v1到其余各点的最短路径。

vv 3 4 v 5 v 710、求上图的最小生成树(最优树)。

四、证明题1. 证明(P ∧(P ∨Q )→R )= P →R2. 证明推理“任何人只有不遵守学校的纪律才会被处分;小张被处分了。

所以小张必然违反了学校的某条纪律。

相关文档
最新文档