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.逻辑学中的推理是指从已知命题推导出新命题