离散数学试题A卷（合集5篇）

第一篇：离散数学试题A卷

离散数学试题A卷

一、单项选择题（本大题共10小题，每小题2分，共20分）

1．下列命题公式中不是重言式的是（）．

A．p→(q→r)

C．p→(p→p)B．p→(q→p)D．(p→(q→r))(q→(p→r))

2．设个体域是整数集，则下列命题的真值为真的是（）

A．yx(x·y=1)

C．xy(x·y=y2)B．xy(x·y≠0)D．yx(x·y=x2)

3．关于谓词公式（x）(y)(P(x,y)∧Q(y,z))∧

(x)p(x,y),下面的描述中错误的是（）．．

A．（x）的辖域是（y）（P（x,y）∧Q(y,z)）

B．z是该谓词公式的约束变元

C．（x）的辖域是P（x,y）D．x是该谓词公式的约束变元

4．设有代数系统G=〈A，*〉，其中A是所有命题公式的集合，*为命题公式的合取运算，则G的幺元是（）

A．矛盾式

C．可满足式 B．重言式 D．公式p∧q

5．设A={Ø}，B=P（P（A）），以下不正确的式子是（）．

A．{{Ø }，{{Ø }}，{Ø，{Ø }}}包含于B

C．{{Ø，{Ø }}}包括于B B．{{{Ø }}}包含于B D．{{Ø }，{{Ø，{Ø }}}}包含于B

6．设Z是整数集，E={…，-4，-2，0，2，4，…}，f：Z→E，f（x）=2x，则f（）

A．仅是满射

C．是双射 B．仅是入射 D．无逆函数

7．设A={1，2，3，4，5}，A上二元关系R={〈1，2〉，〈3，4〉，〈2，2〉}，S={〈2，4〉，〈3，1〉，〈4，2〉}，则S-1R-1的运算结果是（）

A．{〈4，1〉，〈2，3〉，〈4，2〉} C．{〈4，1〉，〈2，3〉，〈2，4〉}

B．{〈2，4〉，〈2，3〉，〈4，2〉} D．{〈2，2〉，〈3，1〉，〈4，4〉}

8．在实数集合R上，下列定义的运算中不可结合的是（）．A．a*b=a+b+2ab C．a*b=a+b+ab

B．a*b=a+b D．a*b=a-b

9．设无向图中有6条边，有一个3度顶点和一个5度顶点，其余顶点度为2，则该图的顶点数是（）A．3 C．

5B．4 D．6

10．设无向图G的边数为m，结点数为n，则G是树等价于（）A．G连通且m=n+1 C．G连通且m=2n

B．G连通且n=m+

1D．每对结点之间至少有一条通路

二、填空题（本大题共10小题，每小题2分，共20分）

11．不能再分解的命题称为____________，至少包含一个联结词的命题称为____________。

12．在命题演算中，五个联结词的含义是由其____________表唯一确定的，而不是由其类似的____________

语言的含义确定。

13．使公式（x）（y）（A（x）→B（y））（（x）A（x）→（y）B（y））成立的条件是____________

不含有y，____________不含有x。

14．设A为任意集合，请填入适当的运算符，使式子A____________A=Ø；A____________~A=Ø成立。15．设A={0，1，2，3，6}，R={〈x,y〉|x≠y∧(x,y∈A)∧y≡x(mod 3)}，则domR=____________，ranR=____________。

16．称集合S是给定非空集合A的覆盖：若S={S1，S2，…，Sn}，其中SiA，Si≠Ø，i=1，2，…，n，且____________；进一步若____________，则S是集合A的划分。

17．对实数的普通加法和乘法，____________是加法的幂等元，____________是乘法的幂等元。18．在代数系统〈A，*〉中，A={a}，*是A上二元运算，则该代数系统的单位元是____________，零元

是____________。

19．设〈A，≢〉是偏序集，若A中____________都有最小上界和____________则称A关于偏序≢构成格。20．若一条路中，所有边均不相同，则此路称作____________；若一条路中所有的结点均不相同，则称此

路为____________。

三、计算题（本大题共5小题，每小题6分，共30分）21．求命题公式(PQ)(PQ)的真值表。

22．试求谓词公式x(P(x)xQ(x,y)yR(x,y))A(x,y)中，x,x,y的辖域，试问R(x,y)和A(x,y)

中x,y是自由变元，还是约束变元？

23．求命题公式（p→q）→（q∨p）的主析取范式。

24．设代数系统(Z,*)，其中Z是整数集，二元运算定义为a,bZ,a*bab2，aZ，求a的逆元。

25．已知图D(如下图)的邻接矩阵为

v1v2v3v

01

求从v2到v4长度为2和从v3到v3长度为2的通路条数，并将它们具体写出。

v10

A(D)=v21

v30v41

10 10

四、证明题（本大题共2小题，每小题6分，共12分）

26．设〈{a,b},*〉是半群，其中a*a=b，证明：（1）a*b=b*a；（2）b*b=b。

27．若一棵树恰有2个结点的度数为1，则它必是一条欧拉路。

五、应用题（本大题共3小题，每小题6分，共18分）

28．设I是整数集，<，>，＝，≢，≣，≠是Ｉ上的二元关系，分别表示小于，大于、等于、小于等于，大于等于，不等于，那么这些关系会满足什么性质？试填写下表。

29.完成下列推理：只要今天天气不好，就一定有考生不能提前进入考场，当且仅当所有考生提前进入考场，考试才能准时进行。所以，如果考试准时进行，那么天气就好。

30．75个儿童到公园游乐场，他们在那里可以骑旋转木马，坐滑行铁道，乘宇宙飞船，已知其中20人这

三种东西都乘过，其中55人至少乘坐过其中的两种。若每样乘坐一次的费用是0.5元，公园游乐场 总共收入70元，求有多少儿童没有乘坐过其中任何一种。

第二篇：离散数学试题

中央电大离散数学试题

月

一、单项选择题（每小题3分，本题共15分）

1．若集合A={1，{2}，{1，2}}，则下列表述正确的是()．

A．2AB．{1}A

C．1AD．2  A

2．已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为

()．

A．6B．4C．3D．

53．设无向图G的邻接矩阵为

0111110011100001100111010

则G的边数为()．

A．1B．7C．6D．14 4．设集合A={a}，则A的幂集为()．

A．{{a}}B．{a，{a}}

C．{，{a}}D．{，a}

5．下列公式中()为永真式．

A．AB  ABB．AB  (AB)

C．AB  ABD．AB  (AB)

二、填空题（每小题3分，本题共15分）

6．命题公式PP的真值是

7．若无向树T有5个结点，则T的边数为．

8．设正则m叉树的树叶数为t，分支数为i，则(m-1)i

9．设集合A={1，2}上的关系R＝{<1, 1>,<1, 2>}，则在R中仅需加一个元素，就可使新得到的关系为对称的．

10．(x)(A(x)→B(x，z)∨C(y))中的自由变元有．

三、逻辑公式翻译（每小题6分，本题共12分）

11．将语句“今天上课．”翻译成命题公式．

12．将语句“他去操场锻炼，仅当他有时间．”翻译成命题公式．

四、判断说明题（每小题7分，本题共14分）

判断下列各题正误，并说明理由．

13．设集合A={1，2}，B={3，4}，从A到B的关系为f={<1, 3>}，则f是A到B的函数．

14．设G是一个有4个结点10条边的连通图，则G为平面图．

五．计算题（每小题12分，本题共36分）

15．试求出（P∨Q）→（R∨Q）的析取范式．

16．设A={{1}, 1, 2}，B={ 1, {2}}，试计算

（1）（A∩B）（2）（A∪B）（3）A （A∩B）．

17．图G=，其中V={ a, b, c, d }，E={(a, b),(a, c),(a, d),(b, c),(b, d),(c, d)}，对应边的权值依次为1、2、3、1、4及5，试

（1）画出G的图形；

（2）写出G的邻接矩阵；

（3）求出G权最小的生成树及其权值．

六、证明题（本题共8分）

18．试证明：若R与S是集合A上的自反关系，则R∩S也是集合A上的自反关系．

中央电大2010年7月离散数学

试题解答

(供参考)

一、单项选择题（每小题3分，本题共15分）

1．B2．D3．B4．C5．B

二、填空题（每小题3分，本题共15分）

6．假（或F，或0）

7．48．t-

19． <2, 1>

10．z，y

三、逻辑公式翻译（每小题6分，本题共12分）

11．设P：今天上课，（2分）则命题公式为：P．（6分）

12．设 P：他去操场锻炼，Q：他有时间，（2分）则命题公式为：P Q．（6分）

四、判断说明题（每小题7分，本题共14分）

13．错误．（3分）因为A中元素2没有B中元素与之对应，故f不是A到B的函数．（7分）

14．错误．（3分）不满足“设G是一个有v个结点e条边的连通简单平面图，若v≥3，则e≤3v-6．”（7分）

五．计算题（每小题12分，本题共36分）

15．（P∨Q）→（R∨Q） ┐(P∨Q)∨（R∨Q）（4分）

(┐P∧┐Q)∨（R∨Q）（8分）

(┐P∧┐Q)∨R∨Q（析取范式）（12分）

16．（1）（A∩B）={1}（4分）

（2）（A∪B）={1, 2, {1}, {2}}（8分）

（3）A（A∩B）={{1}, 1, 2}（12分）

17．（1）G的图形表示如图一所示：ad1

5b c（3分）图一

（2）邻接矩阵：

01101111（6分）1101

1110

（3）最小的生成树如图二中的粗线所示：

a 3d5

b图二1c

权为：1+1+3=5

六、证明题（本题共8分）

18．证明：设xA，因为R自反，所以x R x，即< x, x>R；

又因为S自反，所以x R x，即< x, x >S．即< x, x>R∩S故R∩S自反．

10分）12分）（4分）（6分）（8分）（（

第三篇：08离散数学试题

离散数学试题

一、填空（共36分）

1、命题公式PQ的真值为假，当且仅当。

2、设F(x)：x是整数，G(x):x是自然数，则命题“并不是每个整数都是自然数”符号化为。

3、设10阶平面图G有5个面，则G中有条边。

4．设A={1，2，3，4，5，6，7}，R是A上的模4同余关系，则关系R＝。

5．六阶循环群的所有生成元为，所有子群为。

6．设集合Sa,b,c，S上所有互不相同的等价关系的数目为。

7．R是非空集合上的偏序关系，当且仅当R具有

8．仅用联结词来表示PQ为。

二、解答题（共24分）。

1． 求等价于下面公式的前束合取范式与前束析取范式。（10分）xPxyzQx,y(z)R(y,x)

2． 整数集合Z上的二元运算*定义为x*y判断Z,*是不xy2，是群？如果是，求出它的单位元以及每个元素的逆元。（8分）

3． 设A,B,C是三个集合，函数f:AB，函数g:BC。若函数

gf:AC是双射，则f和g一定都是双射函数吗？若是，请给出证明；若否，请举例说明。（6分）

三、证明题（共40分）

1．（10分）构造下面推理的证明（个体域取学生的集合）：

每个一年级学生至少有一个高年级学生作他的辅导员。凡理科学生的辅导员皆是理科学生。小王是理科一年级学生。因此，至少有一个理科高年级学生。

2．（8分）证明在至少含有3个节点的简单连通平面图中，至少有一个节点的度数小于等于5。

3．4． 证明命题的等价关系：证明在无向完全图Kn

顿图。（6分）

5． 设G为群，PQPQPQ（8分）n3中任意删去3条边后，所得到的图是哈密f:GG，xG有fxx1。证明当且仅当G是

交换群，f是G的自同构。（8分）

第四篇：离散数学试题+答案

www.xiexiebang.com 专注于收集各类历年试卷和答案

一、单项选择题(本大题共15小题，每小题1分，共15分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在题后的括号内。1.一个连通的无向图G，如果它的所有结点的度数都是偶数，那么它具有一条（）A.汉密尔顿回路

B.欧拉回路 C.汉密尔顿通路

D.初级回路

2.设G是连通简单平面图，G中有11个顶点5个面，则G中的边是（）A.10

B.12

C.16

D.14 3.在布尔代数L中，表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是（）A.b∧(a∨c)B.(a∧b)∨(a’∧b)C.(a∨b)∧(a∨b∨c)∧(b∨c)D.(b∨c)∧(a∨c)4.设i是虚数，·是复数乘法运算，则G=<{1,-1,i,-i},·>是群，下列是G的子群是（）A.<{1},·>

B.〈{-1},·〉

C.〈{i},·〉

D.〈{-i},·〉

5.设Z为整数集，A为集合，A的幂集为P(A),+、-、/为数的加、减、除运算，∩为集合的交运算，下列系统中是代数系统的有（）A.〈Z，+，/〉

B.〈Z，/〉 C.〈Z，-，/〉

D.〈P(A)，∩〉 6.下列各代数系统中不含有零元素的是（）A.〈Q，*〉Q是全体有理数集，*是数的乘法运算

B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合，*是矩阵乘法运算 C.〈Z，〉，Z是整数集，定义为xxy=xy,x,y∈Z D.〈Z，+〉，Z是整数集，+是数的加法运算

7.设A={1,2,3}，A上二元关系R的关系图如下： R具有的性质是 A.自反性 B.对称性 C.传递性 D.反自反性

8.设A={a,b,c}，A上二元关系R={〈a,a〉，〈b,b〉〈,a,c〉}，则关系R的对称闭包S(R)是（）A.R∪IA

B.R

C.R∪{〈c,a〉}

D.R∩IA 9.设X={a,b,c},Ix是X上恒等关系，要使Ix∪{〈a,b〉，〈b,c〉，〈c,a〉，〈b,a〉}∪R为X上的等价关系，R应取（）A.｛〈c,a〉，〈a,c〉｝

B.{〈c,b〉，〈b,a〉} C.{〈c,a〉，〈b,a〉}

D.{〈a,c〉，〈c,b〉} 10.下列式子正确的是（）A.∈

B.

C.{}

D.{}∈

11.设解释R如下：论域D为实数集，a=0,f(x,y)=x-y,A(x,y):x

www.xiexiebang.com 专注于收集各类历年试卷和答案

D.(x)(y)(A(x,y)→A(f(x,a),a))12.设B是不含变元x的公式，谓词公式(x)(A(x)→B)等价于（）A.(x)A(x)→B

B.(x)A(x)→B C.A(x)→B

D.(x)A(x)→(x)B 13.谓词公式(x)(P(x,y))→(z)Q(x,z)∧(y)R(x,y)中变元x（）A.是自由变元但不是约束变元 B.既不是自由变元又不是约束变元 C.既是自由变元又是约束变元 D.是约束变元但不是自由变元

14.若P：他聪明；Q：他用功；则“他虽聪明，但不用功”，可符号化为（）A.P∨Q

B.P∧┐Q

C.P→┐Q

D.P∨┐Q 15.以下命题公式中，为永假式的是（）A.p→(p∨q∨r)

B.(p→┐p)→┐p C.┐(q→q)∧p

D.┐(q∨┐p)→(p∧┐p)

二、填空题(每空1分，共20分)16.在一棵根树中，仅有一个结点的入度为______，称为树根，其余结点的入度均为______。17.A={1,2,3,4}上二元关系R={〈2，4〉，〈3，3〉，〈4，2〉}，R的关系矩阵MR中m24=______,m34=______。18.设〈s,*〉是群，则那么s中除______外，不可能有别的幂等元；若〈s,*〉有零元，则|s|=______。19.设A为集合，P(A)为A的幂集，则〈P(A)，是格，若x,y∈P(A),则x,y最大下界是______，〉最小上界是______。

20.设函数f:X→Y,如果对X中的任意两个不同的x1和x2，它们的象y1和y2也不同，我们说f是______函数，如果ranf=Y，则称f是______函数。

21.设R为非空集合A上的等价关系，其等价类记为〔x〕R。x,y∈A，若〈x,y〉∈R，则 〔x〕R与〔y〕R的关系是______，而若〈x,y〉R，则〔x〕R∩〔y〕R=______。

22.使公式(x)(y)(A(x)∧B(y))(x)A(x)∧(y)B(y)成立的条件是______不含有y，______不含有x。23.设M(x):x是人，D(s):x是要死的，则命题“所有的人都是要死的”可符号化为(x)______,其中量词(x)的辖域是______。24.若H1∧H2∧„∧Hn是______，则称H1,H2,„Hn是相容的，若H1∧H2∧„∧Hn是______，则称H1,H2,„Hn是不相容的。

25.判断一个语句是否为命题，首先要看它是否为，然后再看它是否具有唯一的。

三、计算题(共30分)26.(4分)设有向图G=(V,E)如下图所示，试用邻接矩阵方法求长度为2的路的总数和回路总数。

27.(5)设A={a,b},P(A)是A的幂集，是对称差运算，可以验证

是群。设n是正整数，求({a}-1{b}{a})n{a}-n{b}n{a}n 28.(6分)设A={1,2,3,4,5},A上偏序关系

R={〈1，2〉，〈3，2〉，〈4，1〉，〈4，2〉，〈4，3〉，〈3，5〉，〈4，5〉}∪IA;

www.xiexiebang.com 专注于收集各类历年试卷和答案

(1)作出偏序关系R的哈斯图

(2)令B={1,2,3,5}，求B的最大，最小元，极大、极小元，上界，下确界，下界，下确界。29.(6分)求┐(P→Q)(P→┐Q)的主合取范式并给出所有使命题为真的赋值。

30.(5分)设带权无向图G如下，求G的最小生成树T及T的权总和，要求写出解的过程。

31.(4分)求公式┐((x)F(x,y)→(y)G(x,y))∨(x)H(x)的前束范式。

四、证明题(共20分)32.(6分)设T是非平凡的无向树，T中度数最大的顶点有2个，它们的度数为k(k≥2),证明T中至少有2k-2片树叶。

33.(8分)设A是非空集合，F是所有从A到A的双射函数的集合，是函数复合运算。

证明：〈F, 〉是群。

34.(6分)在个体域D={a1,a2,„，an}中证明等价式：

(x)(A(x)→B(x))(x)A(x)→(x)B(x)

五、应用题(共15分)35.(9分)如果他是计算机系本科生或者是计算机系研究生，那么他一定学过DELPHI语言而且学过C++语言。只要他学过DELPHI语言或者C++语言，那么他就会编程序。因此如果他是计算机系本科生，那么他就会编程序。请用命题逻辑推理方法，证明该推理的有效结论。

36.(6分)一次学术会议的理事会共有20个人参加，他们之间有的相互认识但有的相互不认识。但对任意两个人，他们各自认识的人的数目之和不小于20。问能否把这20个人排在圆桌旁，使得任意一个人认识其旁边的两个人?根据是什么?

参考答案

一、单项选择题(本大题共15小题，每小题1分，共15分)

1.B

2.D

3.A

4.A

5.D

6.D

7.D

8.C

9.D

10.B

11.A

12.A

13.C

14.B

15.C

二、填空题 16.0 17.1

0 18.单位元

19.x∩y

x∪y 20.入射

满射

21.［x］R=［y］R

 22.A(x)

B(y)23.(M(x)→D(x))

M(x)→D(x)

www.xiexiebang.com 专注于收集各类历年试卷和答案

24.可满足式

永假式(或矛盾式)25.陈述句

真值

三、计算题

1100101026.M=

1011001122M=21110111

121011M2ij18,ij6 M2i1i1j144

G中长度为2的路总数为18，长度为2的回路总数为6。

27.当n是偶数时，x∈P(A),xn=

当n是奇数时，x∈P(A),xn=x

于是：当n是偶数，(｛a｝-1｛b｝｛a｝)n｛a｝-n｛b｝n｛a｝n

=(｛a｝-1)n｛b｝n｛a｝n=

当n是奇数时，(｛a｝-1｛b｝｛a｝)n｛a｝-n｛b｝n｛a｝n

=｛a｝-1｛b｝｛a｝(｛a｝-1)n｛b｝n｛a｝n

=｛a｝-1｛b｝｛a｝｛a｝-1｛b｝｛a｝= 28.(1)偏序关系R的哈斯图为

(2)B的最大元：无，最小元：无；

极大元：2，5，极小元：1，3

下界：4，下确界4；

上界：无，上确界：无

29.原式(┐(P→Q)→(P→┐Q))∧((P→┐Q)→┐(P→Q))

((P→Q)∨(P→┐Q))∧(┐(P→┐Q)∨┐(P→Q))

(┐P∨Q∨┐P∨┐Q)∧(┐(┐P∨┐Q)∨(P∧┐Q))

(┐(P∧┐Q)∨(P∧┐Q))

(P∧Q)∨(P∧┐Q)

P∧(Q∨┐Q)

P∨(Q∧┐Q)

(P∨Q)∧(P∨┐Q)

命题为真的赋值是P=1,Q=0和P=1,Q=1

www.xiexiebang.com 专注于收集各类历年试卷和答案

30.令e1=(v1,v3)，e2=(v4,v6)

e3=(v2,v5)，e4=(v3,v6)

e5=(v2,v3)，e6=(v1,v2)

e7=(v1,v4)，e8=(v4,v3)

e9=(v3,v5)，e10=(v5,v6)

令ai为ei上的权，则

a1

取a1的e1∈T,a2的e2∈T,a3的e3∈T,a4的e4∈T,a5的e5∈T,即，T的总权和=1+2+3+4+5=15 31.原式┐(x1F(x1,y)→y1G(x,y1))∨x2H(x2)

(换名)

┐x1y1(F(x1,y)→G(x,y1))∨x2H(x2)

x1y1┐(F(x1,y1)→G(x,y1))∨x2H(x2)

x1y1x2(┐(F(x1,y1)→G(x,y1))∨H(x2)

四、证明题

32.设T中有x片树叶，y个分支点。于是T中有x+y个顶点，有x+y-1 条边，由握手定理知T中所有顶点的度数之的

xy

d(vi)=2(x+y-1)。

i又树叶的度为1，任一分支点的度大于等于2

且度最大的顶点必是分支点，于是

xy

d(vi)≥x·1+2(y-2)+k+k=x+2y+2K-4 i1

从而2(x+y-1)≥x+2y+2k-4

x≥2k-2 33.从定义出发证明：由于集合A是非空的，故显然从A到A的双射函数总是存在的，如A上恒等函数，因此F非空

(1)f,g∈F,因为f和g都是A到A的双射函数，故fg也是A到A的双射函数，从而集合F关于运算是封闭的。

(2)f,g,h∈F,由函数复合运算的结合律有f(gh)=(fg)h故运算是可结合的。

(3)A上的恒等函数IA也是A到A的双射函数即IA∈F,且f∈F有IAf=fIA=f,故IA是〈F，〉中的幺元

(4)f∈F,因为f是双射函数，故其逆函数是存在的，也是A到A的双射函数，且有ff-1=f-1f=IA,因此f-1是f的逆元

由此上知〈F，〉是群

34.证明(x)(A(x)→B(x)) x(┐A(x)∨B(x))

www.xiexiebang.com 专注于收集各类历年试卷和答案

(┐A(a1)∨B(a1))∨(┐A(a2)∨B(a2))∨„∨(┐A(an)∨B(an)))

(┐A(a1)∨A(a2)∨„∨┐A(an)∨(B(a1)∨B(a2)∨„∨(B(an))

┐(A(a1)∧A(a2)∧„∧A(an))∨(┐B(a1)∨B(a2)∨„∨(B(an))

┐(x)A(x)∨(x)B(x)(x)A(x)→(x)B(x)

五、应用题

35.令p：他是计算机系本科生

q：他是计算机系研究生

r：他学过DELPHI语言

s:他学过C++语言

t:他会编程序

前提：(p∨q)→(r∧s),(r∨s)→t

结论：p→t

证①p

P(附加前提)

②p∨q

T①I

③(p∨q)→(r∧s)

P(前提引入)

④r∧s

T②③I

⑤r

T④I

⑥r∨s

T⑤I

⑦(r∨s)→t

P(前提引入)

⑧t

T⑤⑥I 36.可以把这20个人排在圆桌旁，使得任一人认识其旁边的两个人。

根据：构造无向简单图G=,其中V={v1,v2,„，V20}是以20个人为顶点的集合，E中的边是若任两个人vi和vj相互认识则在vi与vj之间连一条边。

Vi∈V,d(vi)是与vi相互认识的人的数目，由题意知vi,vj∈V有d(vi)+d(vj)20,于是G中存在汉密尔顿回路。

设C=Vi1Vi2„Vi20Vi1是G中一条汉密尔顿回路，按这条回路的顺序按其排座位即符合要求。

第五篇：离散数学试题及解答

离散数学

2^m*n

一、选择题（2*10）

1．令P：今天下雨了，Q：我没带伞，则命题“虽然今天下雨了，但是我没带伞”可符号化为（（A）P→Q（C）P∧Q）。

（B）P∨Q（D）P∧Q

2．下列命题公式为永真蕴含式的是（）。

（A）Q→（P∧Q）（B）P→（P∧Q）（C）（P∧Q）→P（D）（P∨Q）→Q

3、命题“存在一些人是大学生”的否定是(A)，而命题“所有的人都是要死的”的否定是（）。

（A）所有人都不是大学生，有些人不会死（B）所有人不都是大学生，所有人都不会死（C）存在一些人不是大学生，有些人不会死（D）所有人都不是大学生，所有人都不会死

4、永真式的否定是（）。

（A）永真式（B）永假式

（C）可满足式（D）以上均有可能

5、以下选项中正确的是（）。

（A）0= Ø

（B）0  Ø

（C）0∈Ø

（D）0∉Ø

6、以下哪个不是集合A上的等价关系的性质？（）

（A）自反性

（B）有限性

（C）对称性

（D）传递性

7、集合A={1,2,…,10}上的关系R={|x+y=10,x,y∈A}，则R的性质为（）。

（A）自反的

（B）对称的

（C）传递的，对称的（D）传递的

8．设D=为有向图，V={a, b, c, d, e, f}, E={, , , , }是（）。

（A）强连通图（B）单向连通图（C）弱连通图（D）不连通图

9、具有6个顶点，12条边的连通简单平面图中，每个面都是由（）条边围成？

（A）

2（B）4

（C）（D）5 10．连通图G是一棵树，当且仅当G中（）。

（A）有些边不是割边（B）每条边都是割边（C）无割边集

（D）每条边都不是割边

二、填空题（2*10）

1、命题“2是偶数或-3是负数”的否定是________。

2、设全体域D是正整数集合，则命题xy(xy=y)的真值是______。

3、令R(x):x是实数，Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为________。

4、公式(PQ)(PQ)化简为________。

5、设A∩B=A∩C，A∩B=A∩C，则B________C。

6、设A={2,4,6}，A上的二元运算*定义为：a*b=max{a,b}，则在独异点中，单位元是________，零元是________。

7、任一有向图中，度数为奇数的结点有________(奇数/偶数)个。8．如下无向图割点是________，割边是________。

三、（10分）设A、B和C是三个集合，则AB(BA)。

四、（15分）某项工作需要派A、B、C和D 4个人中的2个人去完成，按下面3个条件，有几种派法？如何派？(1)若A去，则C和D中要去1个人；(2)B和C不能都去；(3)若C去，则D留下

五、（15分）设A={1,2,3},写出下列图示关系的关系矩阵，并讨论它们的性质：

六、（20分）画一个图使它分别满足：（1）有欧拉回路和哈密尔顿回路；（2）有欧拉回路，但无条哈密尔顿回路；（3）无欧拉回路，但有哈密尔顿回路；（4）既无欧拉回路，又无哈密尔顿回路。

A C

B A C

B A C B 答案：

一、选择题：

2、C

7、B

3、A

8、C

4、B

9、C

5、D

10、B

1、D

6、B

二、填空： 1、2不是偶数且-3不是负数

2、F

3、x(R(x)Q(x))

4、P

5、等于 6、2，6

7、偶数

8、d，e5

三、证明：

ABx(x∈A→x∈B)∧x(x∈B∧xA)x(xA∨x∈B)∧x(x∈B∧xA)x(x∈A∧xB)∧x(xB∨x∈A)x(x∈A∧xB)∨x(x∈A∨xB)(x(x∈A∧xB)∧x(x∈A∨xB))(x(x∈A∧xB)∧x(x∈B→x∈A))(BA)。

四、解

设A：A去工作；B：B去工作；C：C去工作；D：D去工作。则根据题意应有：ACD，(B∧C)，CD必须同时成立。因此(ACD)∧(B∧C)∧(CD)(A∨(C∧ D)∨(C∧D))∧(B∨C)∧(C∨D)(A∨(C∧ D)∨(C∧D))∧((B∧C)∨(B∧D)∨C∨(C∧D))(A∧B∧C)∨(A∧B∧D)∨(A∧C)∨(A∧C∧D)∨(C∧ D∧B∧C)∨(C∧ D∧B∧D)∨(C∧ D∧C)∨(C∧ D∧C∧D)∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧D∧C∧D)F∨F∨(A∧C)∨F∨F∨(C∧ D∧B)∨F∨F∨(C∧D∧B)∨F∨(C∧D)∨F (A∧C)∨(B∧C∧ D)∨(C∧D∧B)∨(C∧D)(A∧C)∨(B∧C∧ D)∨(C∧D)T 故有三种派法：B∧D，A∧C，A∧D。

五、000（1）R={<2,1>,<3,1>,<2,3>};MR=101;它是反自反的、反对称的、传递的；

100011（2）R={<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};MR=101;它是反自反的、110对称的；

011（3）R={<1,2>,<2,1>,<1,3>,<3,3>};MR=100;它既不是自反的、反自反的、001也不是对称的、反对称的、传递的。

六、