中国矿业大学《逻辑学》2025-2026学年期末试卷

中国矿业大学《逻辑学》2025-2026学年期末试卷一、单项选择题（本大题共10小题，每小题2分，共20分。在每小题给出的四个选项中，只有一项是符合题目要求的）

1.普遍有效式是逻辑学中用来判定推理形式是否有效的标准，下列哪个式子是普遍有效式？

A.(p→q)∧¬p∧q

B.(p∨q)→p

C.p→(p∨q)

D.(p∧q)→p

2.在逻辑学中，一个命题是否为重言式可以通过真值表来确定，下列哪个命题是重言式？

A.p∧¬p

B.p∨¬p

C.(p→q)∧¬q∧p

D.(p∧q)→¬p

3.逻辑学中的矛盾律指的是同一时间、同一关系下，一个命题不能既真又假，下列哪个选项违反了矛盾律？

A.p∨¬p

B.p∧¬p

C.(p→q)∧¬q∧p

D.(p∧q)→¬p

4.逻辑学中的排中律指的是同一时间、同一关系下，一个命题要么真要么假，下列哪个选项违反了排中律？

A.p∨¬p

B.p∧¬p

C.(p→q)∧¬q∧p

D.(p∧q)→¬p

5.逻辑学中的同一律指的是在同一思维过程中，每一思想都必须保持自身同一性，下列哪个选项违反了同一律？

A.p↔¬p

B.p↔p

C.(p→q)↔(q→p)

D.(p↔q)↔(¬p↔¬q)

6.在逻辑学中，命题逻辑的推理形式是通过一系列的推理规则来保证推理的有效性，下列哪个推理形式是有效的？

A.(p→q)∧p∴q

B.(p→q)∧¬q∴¬p

C.(p∨q)∧¬p∴q

D.(p∧q)∴p

7.在逻辑学中，谓词逻辑是用来表达更复杂命题的，下列哪个谓词逻辑公式是有效的？

A.∀x(P(x)→Q(x))∧∃xP(x)∴∃xQ(x)

B.∀x(P(x)∧Q(x))∴∀xP(x)

C.∃xP(x)∧∀xQ(x)∴∀x(P(x)∧Q(x))

D.∀x(P(x)→Q(x))∧∃x¬Q(x)∴∃x¬P(x)

8.在逻辑学中，命题的真假值可以通过真值赋值来确定，下列哪个命题在所有可能的真值赋值下都为真？

A.p∧q

B.p∨q

C.(p→q)∧¬q

D.(p∧q)→p

9.在逻辑学中，条件命题是指一个命题的形式为“如果p，则q”，下列哪个条件命题是有效的？

A.如果p，则q；如果¬q，则¬p

B.如果p，则q；如果q，则p

C.如果p，则¬q；如果q，则¬p

D.如果p，则q；如果¬p，则¬q

10.在逻辑学中，命题的等值式是指两个命题在所有可能的真值赋值下具有相同的真假值，下列哪个选项是正确的命题等值式？

A.p∧q↔q∧p

B.p∨q↔q∨p

C.(p→q)↔(¬q→¬p)

D.(p↔q)↔(p→q)∧(q→p)

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

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.在所有可能的真值赋值下都为假

三、简答题（本大题共3小题，每小题5分，共15分）

1.请简述逻辑学中同一律的定义及其作用。

2.请简述逻辑学中矛盾律的定义及其作用。

3.请简述逻辑学中排中律的定义及其作用。

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

材料一：

在现代逻辑学中，谓词逻辑被广泛应用，特别是在计算机科学和数学中。谓词逻辑通过引入量词和谓词，可以表达更复杂的命题。例如，谓词逻辑可以表达“所有的人都是会死的”，这个命题在命题逻辑中很难表达。在谓词逻辑中，我们可以使用量词和谓词来表达这个命题，即“∀x(P(x)→Q(x))”，其中P(x)表示“x是人”，Q(x)表示“x会死”。谓词逻辑的引入使得逻辑学能够表达更复杂的命题，从而在计算机科学和数学中得到广泛应用。

材料二：

在逻辑学中，命题逻辑和谓词逻辑是两种重要的逻辑形式。命题逻辑只能处理简单的命题，而谓词逻辑可以处理更复杂的命题。命题逻辑不考虑命题内部的逻辑结构，而谓词逻辑考虑命题内部的逻辑结构。命题逻辑使用命题变项来表示命题，而谓词逻辑使用谓词和量词来表示命题。命题逻辑的推理形式相对简单，而谓词逻辑的推理形式更加复杂。命题逻辑在日常生活中得到广泛应用，而谓词逻辑在计算机科学和数学中得到广泛应用。

1.请分析材料一中谓词逻辑的定义及其作用。

2.请分析材料二中命题逻辑和谓词逻辑的区别。

五、论述题（本大题共2小题，每小题15分，共30分）

材料一：

在现代逻辑学中，谓词逻辑被广泛应用，特别是在计算机科学和数学中。谓词逻辑通过引入量词和谓词，可以表达更复杂的命题。例如，谓词逻辑可以表达“所有的人都是会死的”，这个命题在命题逻辑中很难表达。在谓词逻辑中，我们可以使用量词和谓词来表达这个命题，即“∀x(P(x)→Q(x))”，其中P(x)表示“x是人”，Q(x)表示“x会死”。谓词逻辑的引入使得逻辑学能够表达更复杂的命题，从而在计算机科学和数学中得到广泛应用。

材料二：

在逻辑学中，命题逻辑和谓词逻辑是两种重要的逻辑形式。命题逻辑只能处理简单的命题，而谓词逻辑可以处理更复杂的命题。命题逻辑不考虑命题内部的逻辑结构，而谓词逻辑考虑命题内部的逻辑结构。命题逻辑使用命题变项来表示命题，而谓词逻辑使用谓词和量词来