北大数理逻辑考研考点梳理阶段习题集试卷及答案.docxVIP

北大数理逻辑考研考点梳理阶段习题集试卷及答案

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

一、单项选择题

1.下列符号表达式中，哪个是命题？

A.x+y0

B.2+3=5

C.请开门

D.这个句子是假的

2.设命题公式P为(p∨q)→?r，Q为?p→r。下列命题公式中，与P∧Q为逻辑等价的是？

A.(p∧q)→r

B.?p∨?q∨r

C.?(p∨q)∨r

D.(?p∨?q)∧r

3.命题公式(p∧?q)∨(?p∧q)是？

A.重言式

B.可满足式但非重言式

C.永假式

D.无法判断

4.在命题逻辑的自然演绎系统中，证明重言式p∨q→q∨p时，通常首先假设什么？

A.p∨q

B.?(q∨p)

C.p

D.q

5.谓词逻辑中的量词?xP(x)与?(?x?P(x))的关系是？

A.等价

B.不可判定

C.相反

D.以上都不对

二、判断题

1.如果一个命题公式在所有可能的解释下都为真，那么它既是重言式，也是可满足式。（）

2.命题变元是代表具体命题内容的符号，例如p可以代表“北京是中国的首都”。（）

3.谓词逻辑比命题逻辑更强大，因为它可以处理更复杂的逻辑关系和对象属性。（）

4.在一个给定的模型中，一个谓词公式可以为真，也可以为假，取决于模型的具体解释。（）

5.命题逻辑的自然演绎系统包含了所有有效的推理形式。（）

三、简答题

1.简述联结词“与非”（↑）和“或非”（↓）的定义，并说明它们与命题变元p,q的真值关系。

2.写出命题逻辑中，蕴含式(p→q)和等值式(p?q)的定义（真值表形式）。

3.解释谓词逻辑中量词?（全称量词）和?（存在量词）的含义。请各举一个包含量词的谓词公式例子，并说明其含义。

4.什么是谓词逻辑的成真赋值？与命题公式的成真赋值有何区别？

四、证明题

1.在命题逻辑的自然演绎系统中，使用推理规则（如∧E,∨E,→E,→I,?I等）证明以下命题公式：

(p→q)∧(r→s),(p∧r),∴(q∧s)

2.在谓词逻辑中，给定以下谓词公式和解释：

*个体域为所有整数Z。

*P(x):x是偶数。

*Q(x):x是奇数。

*R(x,y):x能整除y。

*假设?x(P(x)→?yR(y,x))为真。

证明：?xQ(x)为真。（提示：考虑整除的性质）

五、计算与符号化

1.将以下自然语言命题符号化（请说明所使用的谓词符号含义）：

“所有热爱学习的人都通过了考试，小明没有通过考试，因此小明不热爱学习。”

2.给定谓词公式?x?y(P(x,y)∧?Q(y))，在以下解释下，判断该公式是否为真？

*个体域为自然数N。

*P(x,y):x≤y

*Q(y):y是偶数。

试卷答案

一、单项选择题

1.B

解析：选项A是命题变元x,y的函数表达式，未指明具体值无法判断真假；选项C是祈使句，不是命题；选项D是自相矛盾的命题（悖论），但在形式逻辑中常作为命题处理；选项B是一个可以判断真假的陈述句。

2.B

解析：使用真值表或等值演算法可以验证。P∧Q??p∨?q∨r。将P和Q代入P∧Q得?(p∨q)∨r，即选项B。

3.A

解析：该公式可化简为p?q。当p和q的真值相同时，公式为真；当p和q的真值不同时，公式为假。因此，它对于某些解释为真，对于其他解释为假，是可满足式但非重言式。此题有误，正确答案应为B。重言式应在所有解释下为真，(p∧?q)∨(?p∧q)等价于p?q，是可满足式但非重言式。根据题目选项，B为正确。

4.A

解析：证明蕴含式p∨q→q∨p时，根据自然演绎系统的证明规则，通常采用反证法或直接证明。反证法是先假设前件为真(p∨q)，然后推导出后件也为真(q∨p)。直接证明则需要从公理或假设出发推导出后件。但标准的反证法步骤是：假设p∨q为真，要证