2026年逻辑学试题及答案人大版.docVIP

2026年逻辑学试题及答案人大版

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

1.在逻辑学中，______是用来表示命题之间真假关系的联结词。

2.命题公式G是重言式当且仅当G的所有______都是重言式。

3.在自然推理系统中，______是一种不依赖于具体内容而进行的推理规则。

4.谓词逻辑中的量词“______”表示存在量词。

5.逻辑证明是一种______的推理过程，它从公理出发，通过推理规则得出结论。

6.在命题逻辑中，______是一种通过真值表来判断命题公式是否为重言式的方法。

7.逻辑悖论是指那些______的命题或理论。

8.在逻辑学中，______是用来表示命题之间非对称关系的联结词。

9.归谬法是一种通过______来证明命题的方法。

10.在谓词逻辑中，______是用来表示个体变量取值范围的量词。

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

1.重言式在命题逻辑中是普遍存在的。（）

2.逻辑证明不需要任何假设。（）

3.谓词逻辑比命题逻辑更复杂。（）

4.逻辑联结词“非”是可交换的。（）

5.逻辑悖论在逻辑学中是有益的。（）

6.归谬法是一种有效的证明方法。（）

7.逻辑推理只关注命题的真假值。（）

8.量词“?”表示全称量词。（）

9.逻辑联结词“或”是可结合的。（）

10.逻辑证明的唯一目的是得出结论。（）