集美大学《形式逻辑》2025-2026学年期末试卷

集美大学《形式逻辑》2025-2026学年期末试卷一、单项选择题（本大题共12小题，每小题2分，共24分）

1.命题逻辑中，下列哪个表达式是重言式？

A.(p∧q)→p

B.(p∨q)↔¬p∧¬q

C.p→(q→p)

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

2.在自然推理系统中，下列哪个推理规则是正确的？

A.拒绝前件式

B.合取引入式

C.附加式

D.拒绝后件式

3.谓词逻辑中，∀x(P(x)→Q(x))与¬∃x(P(x)∧¬Q(x))的关系是？

A.等价

B.互为矛盾

C.不等价

D.无法判断

4.下列哪个是有效的三段论？

A.所有A是B，所有B是C，所以所有A是C

B.所有A是B，所有C是B，所以所有A是C

C.有些A是B，所有B是C，所以有些A是C

D.所有A是B，有些B是C，所以有些A是C

5.假言推理中，从“如果p则q”和“p”推出“q”属于哪种推理形式？

A.合取推理

B.假言推理

C.选言推理

D.貌似推理

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

A.p∧(q∨r)↔(p∧q)∨(p∧r)

B.p∨(q∧r)↔(p∨q)∧(p∨r)

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

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

7.在命题逻辑中，下列哪个表达式是可满足的？

A.(p∧¬p)

B.(p∨¬p)

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

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

8.谓词逻辑中，∀x∃y(P(x,y))与∃y∀x(P(x,y))的关系是？

A.等价

B.互为矛盾

C.不等价

D.无法判断

9.下列哪个是正确的命题公式？

A.p∧q∨r

B.(p∧q)∨r

C.p∧(q∨r)

D.p∧q∨

10.在自然推理系统中，下列哪个推理规则是正确的？

A.拒绝前件式

B.合取引入式

C.附加式

D.拒绝后件式

11.谓词逻辑中，∀x(P(x)→Q(x))与¬∃x(P(x)∧¬Q(x))的关系是？

A.等价

B.互为矛盾

C.不等价

D.无法判断

12.下列哪个是有效的三段论？

A.所有A是B，所有B是C，所以所有A是C

B.所有A是B，所有C是B，所以所有A是C

C.有些A是B，所有B是C，所以有些A是C

D.所有A是B，有些B是C，所以有些A是C

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

1.下列哪些是命题逻辑的基本联结词？

A.非

B.合取

C.选言

D.假言

2.谓词逻辑中，下列哪些是量词？

A.∀

B.∃

C.¬

D.∧

3.在自然推理系统中，下列哪些是正确的推理规则？

A.拒绝前件式

B.合取引入式

C.附加式

D.拒绝后件式

4.下列哪些是有效的三段论？

A.所有A是B，所有B是C，所以所有A是C

B.所有A是B，所有C是B，所以所有A是C

C.有些A是B，所有B是C，所以有些A是C

D.所有A是B，有些B是C，所以有些A是C

5.下列哪些是命题公式？

A.p∧q∨r

B.(p∧q)∨r

C.p∧(q∨r)

D.p∧q∨

6.谓词逻辑中，下列哪些是正确的逻辑等价式？

A.p∧(q∨r)↔(p∧q)∨(p∧r)

B.p∨(q∧r)↔(p∨q)∧(p∨r)

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

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

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

1.判断题：命题逻辑中的重言式在所有解释下都为真。（√）

2.判断题：谓词逻辑中的量词∀和∃是互相排斥的。（×）

3.判断题：自然推理系统中，合取引入式是正确的推理规则。（√）

4.判断题：三段论中的大项是结论中的谓项。（√）

5.判断题：命题公式p∧q∨r是有效的。（×）

6.填空题：在命题逻辑中，p→q的对偶式是_______。（¬p∨q）

7.填空题：谓词逻辑中，∀x(P(x)→Q(x))的否定是_______。（∃x(P(x)∧¬Q(x)））

8.填空题：自然推理系统中，附加式是指从p推出p∨q。（√）

9.填空题：三段论中的小项是前提中的谓项。（×）

10.填空题：命题公式(p∧q)∨r的对偶式是_______。（(p∨q)∧r）

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

材料一：

所有喜欢阅读的人都喜欢思考，有些喜欢思考的人喜欢哲学，小明喜欢阅读。

问题：

1.用谓词逻辑表示上述材料。

2.根据上述材料，能否推出小明喜欢哲学？

材料二：

如果今天是星期一，那么明天是星期二。今天是星期一。

问题：

1.用命题逻辑表示上述材料。

2.根据上述材料，能否推出明天是星期二？

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

材料一：

所有大学生都是学生，有些学生是运动员，小张是大学生。

材料二：

如果天下雨，那么地面湿。地面湿了。

问题：

1.分析上述材料中的逻辑结构，并说明其有效性。

2.结合材料一和材料二，讨论逻辑推理在日常生活中的应用。

材料三：

所有