长春理工大学《逻辑学》2025-2026学年期末试卷

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

1.下列哪个命题是正确的？（）

A.所有S都是P，所以有的P是S

B.所有S都不是P，所以有的P不是S

C.所有S是P，所以有的S不是P

D.所有S是P，所以有的P是S

2.下列哪个推理是有效的？（）

A.所有S都是P，所有P都是Q，所以所有S都是Q

B.所有S都是P，所有P都不是Q，所以所有S都不是Q

C.所有S都是P，有的P是Q，所以有的S是Q

D.所有S都是P，有的P不是Q，所以有的S不是Q

3.下列哪个命题是重言式？（）

A.所有S都是P

B.所有S都不是P

C.所有S是P，有的S不是P

D.所有S是P，所有S不是P

4.下列哪个命题是矛盾式？（）

A.所有S都是P

B.所有S都不是P

C.所有S是P，有的S不是P

D.所有S是P，所有S不是P

5.下列哪个命题是可满足式？（）

A.所有S都是P

B.所有S都不是P

C.所有S是P，有的S不是P

D.所有S是P，所有S不是P

6.下列哪个命题是永真式？（）

A.所有S都是P

B.所有S都不是P

C.所有S是P，有的S不是P

D.所有S是P，所有S不是P

7.下列哪个命题是永假式？（）

A.所有S都是P

B.所有S都不是P

C.所有S是P，有的S不是P

D.所有S是P，所有S不是P

8.下列哪个命题是析取式？（）

A.所有S都是P

B.所有S都不是P

C.所有S是P，有的S不是P

D.所有S是P，所有S不是P

9.下列哪个命题是合取式？（）

A.所有S都是P

B.所有S都不是P

C.所有S是P，有的S不是P

D.所有S是P，所有S不是P

10.下列哪个命题是条件式？（）

A.所有S都是P

B.所有S都不是P

C.所有S是P，有的S不是P

D.所有S是P，所有S不是P

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

1.下列哪些是命题的形式？（）

A.所有S都是P

B.所有S都不是P

C.所有S是P，有的S不是P

D.所有S是P，所有S不是P

2.下列哪些是推理的形式？（）

A.所有S都是P，所有P都是Q，所以所有S都是Q

B.所有S都是P，所有P都不是Q，所以所有S都不是Q

C.所有S是P，有的P是Q，所以有的S是Q

D.所有S是P，有的P不是Q，所以有的S不是Q

3.下列哪些是命题的类型？（）

A.简单命题

B.复合命题

C.真命题

D.假命题

4.下列哪些是推理的类型？（）

A.演绎推理

B.归纳推理

C.类比推理

D.演绎归纳推理

5.下列哪些是命题逻辑的规则？（）

A.真值表规则

B.合取规则

C.析取规则

D.蕴含规则

三、简答题（本大题共5小题，每小题10分，共50分）

1.简述命题的定义及其性质。（10分）

2.简述推理的定义及其性质。（10分）

3.简述命题逻辑的基本概念及其相互关系。（10分）

4.简述命题逻辑的公理及其证明。（10分）

5.简述命题逻辑的推理方法及其应用。（10分）

四、论述题（本大题共2小题，每小题20分，共40分）

材料一：

逻辑学是一门研究推理、论证和证明的学科。它是哲学、数学、计算机科学等领域的基础学科。逻辑学的研究对象包括命题、推理、论证、证明等。在逻辑学中，命题是逻辑推理的基本单位，推理是连接命题的桥梁，论证是推理的结果，证明是论证的依据。

材料二：

逻辑学在人类历史上有着悠久的发展历程。古希腊哲学家亚里士多德是逻辑学的奠基人，他提出了著名的三段论。在我国，逻辑学也有着悠久的历史，如《墨经》中的“名、辞、辩”等。

1.结合材料一和材料二，论述逻辑学在人类历史发展中的作用。（20分）

2.结合材料一和材料二，分析逻辑学在当今社会的重要性。（20分）

五、案例分析题（本大题共2小题，每小题20分，共40分）

材料一：

某公司招聘员工，要求应聘者具备以下条件：①具有大学本科及以上学历；②具有3年以上相关工作经验；③具备良好的沟通能力和团队合作精神。小王符合上述条件，但公司以小王年龄过大为由拒绝了他的应聘。

材料二：

某学校为了提高学生的综合素质，要求学生参加各种课外活动。小张因家庭原因无法参加课外活动