2026年教资中学数理逻辑试卷及答案.docxVIP

2026年教资中学数理逻辑试卷及答案

第一部分单项选择题（本大题共15小题，每小题3分，共45分）

1.下列语句中属于真命题的是（）

A.x+510

B.请完成本次测试

C.2是唯一的偶素数

D.你今年参加教资考试了吗？

2.下列联结词集合中，不属于联结词完备集的是（）

A.{?,∧}

B.{?,∨}

C.{↑（与非）}

D.{∧,∨}

3.命题公式(p∨q)→r的主合取范式为（）

A.M?∧M?∧M?

B.M?∧M?∧M?

C.m?∨m?∨m?

D.m?∨m?∨m?

4.设论域为全体实数，Z(x)表示x是整数，F(x)表示x是负数，L(x)表示x0，命题“所有整数都不是负数，或者所有负数都小于0”的谓词逻辑符号化正确的是（）

A.?x(Z(x)→?F(x))∨?x(F(x)→L(x))

B.?x(Z(x)∧?F(x))∨?x(F(x)∧L(x))

C.?x(Z(x)→?F(x))∨?x(F(x)→L(x))

D.?x(Z(x)→?F(x))∧?x(F(x)→L(x))

5.谓词公式?xP(x)→?xQ(x)的前束范式为（）

A.?x?y(?P(x)∨Q(y))

B.?x?y(?P(x)∨Q(y))

C.?x?y(?P(x)∨Q(y))

D.?x?y(?P(x)∨Q(y))

6.已知集合A={?,1,{2}}