2026年形式逻辑A卷期末考试题及答案.docVIP

2026年形式逻辑A卷期末考试题及答案

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

1.在形式逻辑中，命题是能够判断真假的陈述句。

2.命题逻辑主要研究命题之间的逻辑关系，包括蕴涵、等价和否定。

3.谓词逻辑是在命题逻辑的基础上，引入了量词和个体变元，以表达更复杂的命题结构。

4.逻辑联结词“非”表示命题的否定，记作?。

5.逻辑联结词“与”表示命题的合取，记作∧。

6.逻辑联结词“或”表示命题的析取，记作∨。

7.逻辑联结词“如果...那么...”表示命题的蕴涵，记作→。

8.逻辑联结词“当且仅当”表示命题的双条件，记作?。

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

10.在谓词逻辑中，普遍有效式是指在任何解释下都为真的命题形式。

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

1.命题逻辑和谓词逻辑是形式逻辑的两种主要形式。（正确）

2.命题p和?p是等价的。（正确）

3.命题p∧q和p∨q是等价的。（错误）

4.命题p→q和?p∨q是等价的。（正确）

5.重言式在任何解释下都为真。（正确）

6.谓词逻辑比命题逻辑更强大，因为它可以表达更复杂的命题结构。（正确）

7.在命题逻辑中，推理是通过对命题形式进行变换来得出新的命题形式。（正确）

8.在谓词逻辑中，推理是通过对谓词和量词进行变换来得出新的命题形式。（正确）

9.逻辑联结词“非”是二元联