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.逻辑学只是一种理论工具，没有实际应用价值。（）

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

1.下列哪个符号表示逻辑蕴涵？（A）

A.→

B.