初级数理逻辑期末考试题（含详细答案）.docxVIP

初级数理逻辑期末考试题（含详细答案）

适用范围：大学本科初级数理逻辑、离散数学逻辑基础模块

考试时长：90分钟

满分：100分

说明：答题步骤清晰，推理严谨，计算题需写出核心过程，证明题不得跳关键步骤。

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

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

A.明天会下雨吗？B.请安静！C.3+5=9D.x+2=7

2.命题公式(P∧Q)→P是（）

A.矛盾式B.重言式C.可满足式D.不确定

3.下列等值式不成立的是（）

A.P→Q??P∨Q

C.?(P∧Q)??

4.设个体域为整数集，下列公式中真值为真的是（）

A.?x?

C.?x?

5.命题公式P?Q的成真赋值个数为（）

A.1B.2C.3D.4

6.在谓词逻辑中，量词的辖域是指（）

A.量词后面紧邻的最短公式B.整个谓词公式

C.量词后的所有命题变元D.公式中不含约束变元的部分

7.下列推理形式有效的是（）

A.P→Q,?Q?

C.P∨Q,P??Q

8.命题公式?(P→Q)∨R

A.P→(Q∨?R)

C.?(P←Q)∧RD.

9.若公式A是可满足式，则下列说法正确的是（）

A.A无成真赋值B.A至少有一个成真赋值

C.A所有赋值均为真D.A所有赋值均为假

10.谓词公式