2025年逻辑学专升本数理逻辑试卷（含答案）.docxVIP

2025年逻辑学专升本数理逻辑试卷（含答案）

考试时间：______分钟总分：______分姓名：______

一、选择题（每小题2分，共10分。请将正确选项前的字母填在题干后的括号内）

1.下列哪个表达式是命题逻辑中的合式公式？

a)p∨≠q

b)(p∧q)→?(?p∨r)

c)?x?y(P(x,y))

d)(p→q)?(?q→?p)

2.设命题公式A=p∧(q∨r)，则A的对偶式A*是：

a)?p∧(?q∨?r)

b)?p∨(?q∧?r)

c)?(p∧(q∨r))

d)(?p∧?q)∨(?p∧?r)

3.下列哪个命题逻辑公式是重言式？

a)(p∨q)→(p∧q)

b)(p∧q)?(q∧p)

c)p→(q→p)

d)(p→q)∧(q→p)

4.在命题逻辑的自然演绎系统中，以下哪个推理规则是正确的？

a)化简规则(Simplification)：从p∧q推出p

b)附加规则(Addition)：从p推出p∨q

c)拒绝式(ModusTollens)：从?q和p→q推出?p

d)假言推理(HypotheticalSyllogism)：从p→q和q→r推出p→r

5.谓词逻辑公式?x?yP(x,y)的意思是：

a)对于所有的x，都存在一个y使得P(x,y)为真。

b)存在一个y，对于所有的x，P(x,y)都为真。

c)对于所有的x和y，P(x,y)都为真。

d)对于所有的x和y，P(x,y)都为假。

二、填空题（每小题2分，共10分。请将答案填在题干后的横线上）

6.在命题逻辑中，公式(p∨?q)∧(?p∧q)是_______公式。

7.谓词逻辑中的全称量词?的逻辑含义是_______。

8.若公式A和公式B是逻辑等价的，记作A?B，则A和B具有相同的_______。

9.在谓词逻辑中，将“所有的人都是会死的”翻译成谓词公式，若用个体变量x表示人，P(x)表示x会死，则该公式为_______。

10.命题公式p∧(q∨?r)在p=True,q=False,r=True下的真值为_______。

三、判断题（每小题2分，共10分。请将“正确”或“错误”填在题干后的括号内）

11.如果一个谓词逻辑理论没有模型，那么该理论是一致的。()

12.命题公式(p→q)?(?p∨q)是重言式。()

13.谓词逻辑比命题逻辑更强大，因为它能处理更复杂的逻辑关系。()

14.在命题逻辑的自然演绎系统中，我们可以从p和p→q推出q。()

15.如果一个命题公式包含命题变项p和q，那么它至少是合式公式。()

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

16.使用命题逻辑的自然演绎系统，证明以下推理形式的有效性：

(1)p∨q

(2)?q

/\p

17.使用归谬赋值法（ModusPonens间接证明法），证明公式(p→q)∧(q→r)→(p→r)是重言式。

18.设个体域为实数集R，谓词P(x)表示“x大于0”，Q(x)表示“x小于10”。将以下谓词逻辑公式翻译成自然语言：

?x(P(x)→Q(x))

五、分析与翻译题（每小题15分，共30分）

19.分析以下论证的有效性。如果有效，请给出证明；如果无效，请说明理由。

前提1：所有热爱和平的人都不赞成战争。

前提2：小明赞成战争。

结论：小明不热爱和平。

20.设个体域为自然数集N，谓词F(x,y)表示“x是y的倍数”。将以下自然语言语句翻译成谓词逻辑公式：

“存在一个自然数，它不是任何大于1的自然数的倍数。”

试卷答案

一、选择题

1.b

2.a

3.c

4.a

5.a

二、填空题

6.矛盾

7.对于所有...都...

8.真值

9.?x(P(x)→Q(x))*(注：Q(x)代表x会死，原题未给出，此处假设为Q(x)以完成