2026年大学逻辑学笔记试题及答案.docVIP

2026年大学逻辑学笔记试题及答案

一、填空题（每题2分，共20分）

1.逻辑学是研究______的科学。

2.命题是能够判断真假的______。

3.一个有效的推理形式是指______。

4.在命题逻辑中，联结词“非”表示______。

5.谓词逻辑中，个体变量表示______。

6.逻辑等价是指两个命题形式______。

7.逻辑蕴涵是指一个命题形式蕴涵另一个命题形式______。

8.在自然推理中，假设引入规则是指______。

9.逻辑悖论是指______。

10.逻辑学的基本方法包括______、______和______。

二、判断题（每题2分，共20分）

1.逻辑学只研究正确的推理形式。（）

2.命题逻辑可以处理所有逻辑问题。（）

3.一个有效的推理形式必然是可证的。（）

4.在谓词逻辑中，量词分为全称量词和存在量词。（）

5.逻辑等价和逻辑蕴涵是同一个概念。（）

6.自然推理是一种非形式化的推理方法。（）

7.逻辑悖论是逻辑学中无法解决的问题。（）

8.逻辑学的基本方法包括公理化方法、模型方法和证明方法。（）

9.逻辑联结词“与”表示命题的合取关系。（）

10.逻辑学在计算机科学中没有应用。（）

三、选择题（每题2分，共20分）

1.下列哪个不是逻辑联结词？（）

A.非

B.与