2025年大一（离散数学）逻辑推理综合测试试题及答案.docVIP

2025年大一（离散数学）逻辑推理综合测试试题及答案

（考试时间：90分钟满分100分）

班级______姓名______

第I卷（选择题共40分）

答题要求：本卷共8小题，每小题5分。在每小题给出的四个选项中，只有一项是符合题目要求的。请将正确答案的序号填在题后的括号内。

1.设命题p：2+2=4，命题q：3是奇数，则下列命题中为真命题的是（）

A.p且qB.p或qC.非pD.非q且p

答案：B

2.设集合A={1,2,3,4}，B={2,4,6,8}，则A∩B=（）

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

答案：B

3.设R是集合A上的关系，若R满足自反性、对称性和传递性，则R是（）

A.等价关系B.偏序关系C.全序关系D.以上都不对

答案：A

4.下列关于谓词逻辑的说法正确的是（）

A.个体变元只能表示具体的事物

B.谓词只能表示事物的性质

C.量词可以用来表示数量

D.谓词公式的真值与个体域无关

答案：C

5.设函数f：R→R，f(x)=2x+1，则f是（）

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

答案：C

6.设G是一个图，若G中任意两个顶点之间都有路径相连，则G是（）

A.连通图B.完全图C.欧拉图D.哈密顿图

答案：A

7.设A={a,b,c}，则A上的二元关系R={(a,a),(b,b),(c,c)}是（）

A.自反关系B.对称关系C.传递关系D.以上都是

答案：D

8.设命题公式A=(p→q)∧(q→r)，则A的主析取范式为（）

A.m0∨m1∨m2∨m3∨m4∨m5∨m7

B.m0∨m1∨m2∨m3∨m4∨m5∨m6

C.m0∨m1∨m2∨m3∨m4∨m6∨m7

D.m0∨m1∨m2∨m3∨m5∨m6∨m7

答案：A

第II卷（非选择题共60分）

9.（10分）用真值表法判断命题公式(p∨q)→(p∧q)的类型。

答案：

|p|q|p∨q|p∧q|(p∨q)→(p∧q)|

|----|----|----|----|----|

|0|0|0|0|1|

|0|1|1|0|0|

|1|0|1|0|0|

|1|1|1|1|1|

该命题公式是可满足式。

10.（10分）设集合A={1,2,3,4,5}，R是A上的关系，R={(1,1),(1,2),(2,1),(2,2),(3,3),(3,4),(4,3),(4,4),(5,5)}，证明R是等价关系。

答案：

自反性：对于任意a∈A，都有(a,a)∈R，所以R具有自反性。

对称性：对于(R中任意(a,b)∈R，都有(b,a)∈R，所以R具有对称性。

传递性：逐一验证对于任意(a,b)∈R且(b,c)∈R，都有(a,c)∈R，所以R具有传递性。

综上，R是等价关系。

11.（10分）在谓词逻辑中，将命题“所有的人都会呼吸”符号化。

答案：设M(x)：x是人，H(x)：x会呼吸。则该命题符号化为：?x(M(x)→H(x))。

12.（15分）材料：有一个关于课程选修的情况，已知有数学、物理、化学、生物四门课程，学生A、B、C、D进行选修。A选修了数学和物理；B选修了化学和生物；C选修了数学和化学；D选修了物理和生物。

问题：请用图来表示学生和课程之间的选修关系，并判断该图是否为二分图。

答案：

用顶点表示学生和课程，若学生选修了某课程，则在相应顶点间连边。

得到的图中，顶点可分为两组，一组是学生顶点{A,B,C,D}，另一组是课程顶点{数学,物理,化学,生物}，且同一组内顶点不相邻，所以该图是二分图。

13.（15分）材料：已知集合A={a,b,c,d}，A上的二元运算定义如下：aa=a，ab=b，ac=c，ad=d，ba=b，bb=a，bc=d，bd=c，ca=c，cb=d，cc=b，cd=a，da=d，db=c，dc=a，dd=b。

问题：求元素b的逆元。

答案：

根据逆元定义，若存在元素x使得bx=xb=a，则x为b的逆元。

通过计算可知bb=a，所以b的逆元是b。