2026年院逻辑学试题及答案.docVIP

2026年院逻辑学试题及答案

2026年院逻辑学试题

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

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

2.命题逻辑的基本组成单位是______。

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

4.谓词逻辑中，个体变项表示______。

5.谓词逻辑中，谓词表示______。

6.命题公式G是重言式当且仅当G的成真赋值集合是______。

7.自然推理系统中的推理规则包括______和______。

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

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

10.逻辑证明是一种______的推理过程。

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

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

2.命题逻辑中的命题都是可以判断真假的陈述句。（）

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

4.重言式在任何赋值下都为真。（）

5.自然推理系统是一种演绎推理系统。（）

6.量词“?”和“?”是相互独立的。（）

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

8.谓词逻辑可以表达命题逻辑中所有的命题形式。（）

9.逻辑证明的结论一定是正确的。（）

10.逻辑学在数学中的应用主要是为了解决数学证明问题。（）

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

1.下列哪个不是命题逻辑的基本联结词？（）

A.