仰恩大学《逻辑学》2025-2026学年期末试卷

仰恩大学《逻辑学》2025-2026学年期末试卷仰恩大学《逻辑学》2025-2026学年期末试卷

一、单项选择题（本大题共10小题，每小题2分，共20分）

1.逻辑学的研究对象是（）。

A.客观世界的本质规律

B.人的思维规律和规则

C.数学中的推理关系

D.自然科学中的实验方法

2.在命题逻辑中，下列哪项是永真式？

A.\(P\rightarrowQ\)

B.\((P\land\negQ)\rightarrow\negP\)

C.\(P\lor\negP\)

D.\(\neg(P\landQ)\)

3.“所有的人都是会死的，苏格拉底是人，所以苏格拉底会死”这一推理属于（）。

A.演绎推理

B.归纳推理

C.类比推理

D.悖论推理

4.下列哪项是有效推理形式？

A.\(P\rightarrowQ，\negQ\rightarrow\negP\)

B.\(P\rightarrowQ，Q\rightarrowP\)

C.\(P\landQ\rightarrowP\)

D.\(P\lorQ\rightarrowQ\)

5.“如果今天下雨，那么地面会湿，今天没有下雨，所以地面不会湿”这一推理犯了（）。

A.矛盾律错误

B.排中律错误

C.假设错误

D.否定前件错误

6.下列哪项是逻辑常项？

A.变项

B.联结词

C.量词

D.个体词

7.“所有金属都能导电，铜是金属，所以铜能导电”这一推理属于（）。

A.完全归纳推理

B.不完全归纳推理

C.类比推理

D.演绎推理

8.下列哪项是逻辑矛盾？

A.\(P\land\negP\)

B.\(P\lor\negP\)

C.\(P\rightarrowQ\)

D.\(P\leftrightarrowQ\)

9.在谓词逻辑中，下列哪项是正确的量化表达式？

A.\(\forallx(P(x)\rightarrowQ(y))\)

B.\(\existsx(P(x)\landQ(x))\)

C.\(\forallx\existsy(P(x)\landQ(y))\)

D.\(\existsx\forally(P(x)\landQ(y))\)

10.“所有大学生都是爱学习的，小明不是大学生，所以小明不爱学习”这一推理犯了（）。

A.偷换概念错误

B.逻辑矛盾

C.否定前件错误

D.倒置因果错误

二、多项选择题（本大题共5小题，每小题3分，共15分）

1.逻辑学的基本规律包括（）。

A.同一律

B.矛盾律

C.排中律

D.充足理由律

E.量词律

2.下列哪些是命题？

A.今天天气很好

B.2+2=4

C.请你安静

D.菲尔兹奖得主都是数学家

E.火星上有生命

3.在命题逻辑中，下列哪些是永假式？

A.\(P\land\negP\)

B.\(P\lor\negP\)

C.\((P\rightarrowQ)\land(\negQ\rightarrowP)\)

D.\(\neg(P\landQ)\)

E.\((P\lorQ)\rightarrowP\)

4.下列哪些是有效推理形式？

A.\(P\rightarrowQ，Q\rightarrowR，P\rightarrowR\)

B.\(P\rightarrowQ，\negQ\rightarrow\negP\)

C.\(P\landQ\rightarrowP\)

D.\(P\lorQ\rightarrowQ\)

E.\(\negP\rightarrowQ\)

5.谓词逻辑的量词包括（）。

A.全称量词

B.存在量词

C.选择量词

D.限制量词

E.独占量词

三、判断题、填空题、简答题（本大题共2小题，每小题10分，共20分）

1.判断下列命题的真假，并简要说明理由。（200字以上）

（1）如果所有鸟都会飞，企鹅是鸟，那么企鹅会飞。

（2）如果今天下雨，那么地面会湿，今天地面没有湿，所以今天没有下雨。

2.填空题和简答题：

（1）在命题逻辑中，永真式的定义是什么？请举例说明。

（2）在谓词逻辑中，量词的作用是什么？请解释全称量词和存在量词的区别。

（3）简述演绎推理和归纳推理的区别，并举例说明。

四、材料分析题（本大题共2小题，每小题15分，共30分）

材料一：

“所有的人都是会死的，苏格拉底是人，所以苏格拉底会死。”这一推理形式是有效的，因为它是典型的三段论推理。在三段论中，大前提和小前提都为真，结论必然为真。

材料二：

“如果今天下雨，那么地面会湿，今天没有下雨，所以地面不会湿。”这一推理形式是无效的，因为它是假言推理中的否定前件错误。假言推理的正确形式是肯定前件或否定后件，而不是否定前件。

（1）请分析材料一中三段论推理的逻辑结构，并说明其有效性依据。

（2）请分析材料二中假言推理的错误类型，并举例说明其他有效的假言推理形式。

五、论述题（本大题共1小题，共25分）

材料一：

“所有金属都能导电，铜是金属，所以铜能导电。”这一推理形式是有效的，因为它是典型的三段论推理。在三段论中，大前提和小前提都为真，结论必然为真。

材料二：

“如果今天下雨，那么地