上海师范大学天华学院《形式逻辑》2025-2026学年期末试卷

上海师范大学天华学院《形式逻辑》2025-2026学年期末试卷一、单项选择题（本大题共20小题，每小题2分，共40分。在每小题给出的四个选项中，只有一项是符合题目要求的）

1.下列命题中，哪一个是有效的？

A.所有的人都是凡人（有效）

B.所有的人都是智者（无效）

C.没有人是智者（无效）

D.有些人是智者（无效）

2.下列命题中，哪一个是矛盾的？

A.所有的人都是智者

B.没有人是智者

C.有些人是智者

D.所有的人都是凡人

3.下列推理中，哪一个是正确的？

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

B.所有S是P，所以有些P是S

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

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

4.下列推理中，哪一个是有效的？

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，所以所有P是S

5.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

6.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

7.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

8.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

9.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

10.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

11.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

12.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

13.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

14.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

15.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

16.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

17.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

18.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

19.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

20.下列推理中，哪一个是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

二、多项选择题（本大题共10小题，每小题3分，共30分。在每小题给出的四个选项中，至少有两项是符合题目要求的）

1.下列哪些命题是有效的？

A.所有的人都是凡人

B.所有的人都是智者

C.没有人是智者

D.有些人是智者

2.下列哪些命题是矛盾的？

A.所有的人都是智者

B.没有人是智者

C.有些人是智者

D.所有的人都是凡人

3.下列哪些推理是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

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

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，所以所有P是S

5.下列哪些命题是正确的？

A.所有的人都是智者

B.没有人是智者

C.有些人是智者

D.所有的人都是凡人

6.下列哪些推理是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

7.下列哪些命题是正确的？

A.所有的人都是智者

B.没有人是智者

C.有些人是智者

D.所有的人都是凡人

8.下列哪些推理是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

9.下列哪些命题是正确的？

A.所有的人都是智者

B.没有人是智者

C.有些人是智者

D.所有的人都是凡人

10.下列哪些推理是正确的？

A.所有S是P，所以有些S不是P

B.所有S是P，所以所有P是S

C.所有S是P，所以有些P是S

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

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

1.简述形式逻辑的研究对象和任务。

2.简述形式逻辑的基本规律。

3.简述命题推理的基本形式。

4.简述演绎推理和归纳推理的区别。

5.简述形式逻辑在现实生活中的应用。

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

材料一：

甲：所有的人都是凡人

乙：有些人不是凡人

材料二：

甲：所有的人都是凡人

乙：有些人不是凡人

请根据以上材料，回答以下问题：

1.甲的命题和乙的命题之间的关系是什么？

2.如果甲的命题是真的，那么乙的命题一定是真的吗？

3.如果乙的命题是真的，那么甲的命题一定