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

2026年逻辑学试题及答案8套

2026年逻辑学试题及答案

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

1.逻辑学的研究对象是________和________。

2.在命题逻辑中，基本命题是________。

3.谓词逻辑中的量词分为________和________。

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

5.谓词逻辑中的全称量词符号为________。

6.逻辑推理的基本形式是________。

7.矛盾式是指两个命题公式P和Q，使得P和Q的合取式P∧Q为________。

8.在命题逻辑中，合取联结词的优先级________。

9.谓词逻辑中的存在量词符号为________。

10.逻辑证明的基本方法有________和________。

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

1.逻辑学是研究思维规律和推理规则的学科。（√）

2.命题逻辑中的联结词“非”是可交换的。（×）

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

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

5.矛盾式在任何赋值下都为假。（√）

6.逻辑推理的基本形式包括直接推理和间接推理。（√）

7.量词逻辑中的全称量词表示“所有”的意思。（√）

8.存在量词表示“存在至少一个”的意思。（√）

9.逻辑证明的基本方法只