沈阳建筑大学《逻辑学导论》2025-2026学年期末试卷

沈阳建筑大学《逻辑学导论》2025-2026学年期末试卷一、单项选择题（本大题共12小题，每小题3分，共36分。在每小题给出的四个选项中，只有一项是符合题目要求的）

1.逻辑学作为一门科学，其主要研究对象是

A.自然界的具体规律

B.社会现象的复杂关系

C.思维规律和推理规则

D.人类历史的演变过程

2.在逻辑学中，一个有效的推理形式是指

A.推理的前提为真时结论必然为真

B.推理的前提为假时结论必然为假

C.推理的形式无论前提如何结论都必然为真

D.推理的前提和结论之间存在因果关系

3.下列哪个命题是复合命题

A.今天天气很好

B.他既聪明又勤奋

C.太阳从东方升起

D.李明喜欢读书

4.在命题逻辑中，命题变项是指

A.可以取值为真的简单命题

B.可以取值为假的简单命题

C.代表特定命题的符号

D.命题的否定形式

5.逻辑联结词"非"表示

A.命题的合取

B.命题的析取

C.命题的蕴含

D.命题的否定

6.下列哪个是正确的逻辑等价式

A.p∧q≡¬p∨¬q

B.p∨q≡¬p∧¬q

C.p→q≡¬p∨q

D.p↔q≡p∧q

7.在谓词逻辑中，量词∀表示

A.特定个体

B.存在个体

C.全体个体

D.任意个体

8.谓词逻辑的优点之一是

A.可以处理简单的命题推理

B.可以表达复杂的思维内容

C.只能处理量化命题

D.不需要命题变项

9.下列哪个是正确的谓词逻辑公式

A.∀x∃yP(x,y)

B.∃x∀yP(x,y)

C.∀xP(x)∧∃yQ(y)

D.∃xP(x)∨∀yQ(y)

10.逻辑证明是指

A.通过观察得出结论的过程

B.通过实验验证假设的过程

C.从公理出发按照规则推导出定理的过程

D.通过直觉发现真理的过程

11.归谬法在逻辑证明中的作用是

A.直接证明命题为真

B.间接证明命题为真

C.构造反例推翻命题

D.说明命题的相对性

12.逻辑悖论是指

A.两个互相矛盾的命题

B.一个命题同时为真又为假

C.无法判断真假的命题

D.与常识相违背的命题

二、多项选择题（本大题共6小题，每小题4分，共24分）

1.逻辑学在科学中的作用包括

A.提供科学研究的思维工具

B.帮助确立科学理论

C.检验科学假说

D.证明科学真理

2.复合命题的基本类型有

A.联言命题

B.析言命题

C.蕴含命题

D.等价命题

3.谓词逻辑的系统特征包括

A.具有丰富的表达力

B.包含命题逻辑作为特殊情形

C.可以处理量化关系

D.需要复杂的推理规则

4.逻辑证明的方法主要有

A.直接证明

B.间接证明

C.演绎证明

D.归纳证明

5.逻辑悖论的主要类型有

A.说谎者悖论

B.罗素悖论

C.确定性悖论

D.一贯性悖论

6.逻辑学在日常生活中的应用包括

A.提高思维能力

B.增强表达清晰度

C.避免思维谬误

D.解决实际问题

三、简答题（本大题共4小题，每小题6分，共24分）

1.简述逻辑学的基本特征。

2.解释什么是命题逻辑，并说明其局限性。

3.比较谓词逻辑与命题逻辑的主要区别。

4.阐述逻辑证明的基本要求。

四、分析题（本大题共2小题，每小题10分，共20分）

材料一：

某公司规定，员工如果工作满5年，可以享受住房补贴；如果工作满8年，可以享受交通补贴；如果既享受住房补贴又享受交通补贴，则必须缴纳个人所得税。小王在该公司工作满6年，但没有享受任何补贴。

材料二：

某哲学家提出一个思想实验：一个理想国中，如果公民都诚实，则社会将和谐；如果社会和谐，则资源分配将公平；如果资源分配不公平，则公民将不满；如果公民不满，则统治者将不稳定；如果统治者不稳定，则需要改革。该哲学家认为，理想国中不存在统治者不稳定的情况。

1.分析小王的情况是否符合公司规定，并说明理由。

2.分析该哲学家的思想实验是否自洽，并说明理由。

五、论述题（本大题共2小题，每小题13分，共26分）

材料一：

古希腊哲学家亚里士多德认为，逻辑学是"思维的艺术"，是研究思维规律和推理规则的学科。他建立了经典的命题逻辑系统，提出了三段论等重要推理形式。亚里士多德逻辑学对后世西方哲学和科学产生了深远影响。

材料二：

现代逻辑学的发展突破了传统逻辑的局限，形成了多种逻辑系统，如命题逻辑、谓词逻辑、模态逻辑等。现代逻辑学不仅丰富了逻辑的表达能力，还发展了