离散数学期末考试题.docxVIP

离散数学期末考试题

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

下列命题公式中，属于永真式的是（）

A.P\rightarrow(P\lorQ)B.(P\landQ)\leftrightarrow(P\lorQ)C.\neg(P\rightarrowQ)\landQD.(P\lorQ)\rightarrow(P\landQ)

设集合A=\{1,2,3\}，B=\{2,3,4\}，则A\oplusB（对称差）的结果是（）

A.\{1,4\}B.\{1,2,3,4\}C.\{2,3\}D.\{1,3,4\}

若关系R是集合A上的等价关系，则下列性质中R不必然具备的是（）

A.自反性B.对称性C.传递性D.反对称性

无向图G有5个顶点，6条边，其每个顶点的度数至少为1，则G一定是（）

A.连通图B.非连通图C.树D.欧拉图

设函数f:Z\rightarrowZ（Z为整数集），定义f(x)=2x+1，则f是（）

A.单射但非满射B.满射但非单射C.双射D.既非单射也非满射

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

命题“所有实数都是有理数”的否定是________。

设集合A=\{a,b,c\}，则A的幂集P(A)中元素的个数为________。

若关系R=\{(1,2),(2,3),(1,3)\}是集合A=\{1,2,3\}上的关系，则R的传递闭包t(R)=________。

无向完全图K_4中，边的总数为________，不同的生成树个数为________。

设f:A\rightarrowB，g:B\rightarrowC均为函数，若f和g都是单射，则复合函数g\circf是________。

三、计算题（每题10分，共30分）

用真值表法判断命题公式(P\rightarrowQ)\land(Q\rightarrowR)\rightarrow(P\rightarrowR)的类型，并说明理由。

设集合A=\{1,2,3,4\}，关系R=\{(1,1),(1,2),(2,3),(3,2),(4,4)\}，求：

（1）R的自反闭包r(R)；

（2）R的对称闭包s(R)；

（3）判断R是否为偏序关系，并说明理由。

已知无向图G的顶点集V=\{v_1,v_2,v_3,v_4,v_5\}，边集E=\{(v_1,v_2),(v_1,v_3),(v_2,v_3),(v_2,v_4),(v_3,v_4),(v_4,v_5)\}，求：

（1）每个顶点的度数；

（2）图G的连通分量个数；

（3）图G是否存在欧拉路径？若存在，写出一条。

四、证明题（每题15分，共30分）

证明：对于任意集合A,B,C，有(A\cupB)\capC=(A\capC)\cup(B\capC)。

证明：若连通无向图G中所有顶点的度数都是偶数，则G是欧拉图。

五、应用题（10分）

某班级有30名学生，其中15人喜欢数学，12人喜欢物理，8人既喜欢数学又喜欢物理。求：

（1）只喜欢数学的学生人数；

（2）只喜欢物理的学生人数；

（3）既不喜欢数学也不喜欢物理的学生人数。

（要求用集合的容斥原理求解）

参考答案及解析

一、单项选择题

A解析：P\rightarrow(P\lorQ)\equiv\negP\lorP\lorQ\equivT（永真式）；B为可满足式，C、D为矛盾式。

A解析：对称差定义为A\oplusB=(A-B)\cup(B-A)=\{1\}\cup\{4\}=\{1,4\}。

D解析：等价关系满足自反、对称、传递性，反对称性是偏序关系的性质。

A解析：5个顶点的无向图，若非连通至少需要4+1=5条边（一个孤立点+K4），6条边必连通；C选项树有4条边，排除；D选项欧拉图要求所有顶点度数偶数，题干未满足，排除。

A解析：f(x_1)=f(x_2)