中国药科大学《形式逻辑》2025-2026学年期末试卷

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

1.下列哪个选项是正确的推理形式？（）

A.如果A，那么B；A；所以B。

B.如果A，那么B；非B；所以非A。

C.如果A，那么B；非A；所以非B。

D.如果A，那么B；B；所以A。

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

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

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

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

4.下列哪个命题是等价式？（）

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

5.下列哪个命题是假言式？（）

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

6.下列哪个命题是联言式？（）

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

7.下列哪个命题是选言式？（）

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

8.下列哪个命题是负命题？（）

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

9.下列哪个命题是肯定命题？（）

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

10.下列哪个命题是否定命题？（）

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

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

1.下列哪些推理形式是正确的？（）

A.如果A，那么B；A；所以B。

B.如果A，那么B；非B；所以非A。

C.如果A，那么B；非A；所以非B。

D.如果A，那么B；B；所以A。

2.下列哪些命题是重言式？（）

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

3.下列哪些命题是矛盾式？（）

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

4.下列哪些命题是等价式？（）

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

5.下列哪些命题是假言式？（）

A.所有的A都是B。

B.有些A是B。

C.所有的B都是A。

D.有些B是A。

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

1.简述演绎推理的基本形式。

2.简述归纳推理的基本形式。

四、论述题（本大题共1小题，共30分）

材料一：

随着科技的飞速发展，人工智能逐渐成为各行各业的热门话题。人工智能技术在我国的发展前景十分广阔，但同时也面临着诸多挑战。

材料二：

近年来，我国政府高度重视人工智能产业的发展，出台了一系列政策措施，旨在推动人工智能技术的创新与应用。然而，在实际发展过程中，仍存在一些问题，如人才短缺、技术瓶颈等。

请结合材料，论述我国人工智能产业发展面临的机遇与挑战，并提出相应的对策。

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

材料一：

某公司计划推出一款新型智能产品，为了确保产品的市场竞争力，公司决定采用逆向工程的方式，分析竞争对手的产品，并