2026年形式逻辑学考试题及答案.docVIP

2026年形式逻辑学考试题及答案

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

1.在形式逻辑中，命题的基本类型包括______、______和______。

2.命题逻辑的主要研究内容包括命题的______、______和______。

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

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

5.在命题逻辑中，重言式是指在任何解释下都为______的命题形式。

6.在谓词逻辑中，量词“?”表示______，量词“?”表示______。

7.在命题逻辑中，推理的有效性是指前提为真时结论______的性质。

8.在谓词逻辑中，谓词的辖域是指______。

9.在命题逻辑中，对偶原理是指通过交换______和______得到的命题形式。

10.在谓词逻辑中，Skolem化是一种将存在量词消去的方法，其基本思想是引入______。

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

1.命题逻辑和谓词逻辑是形式逻辑的两种基本类型。（√）

2.在命题逻辑中，联结词“或”是相容的。（√）

3.重言式在任何解释下都为真。（√）

4.在谓词逻辑中，个体变量必须是有具体指代的对象。（×）

5.在命题逻辑中，推理的有效性与解释有关。（×）

6.在谓词逻辑中，量词“?”表示存在。（×）

7.在命题逻辑中，