福建商学院《形式逻辑》2025-2026学年期末试卷

福建商学院《形式逻辑》2025-2026学年期末试卷一、单项选择题（本大题共10小题，每小题2分，共20分）

1.命题逻辑中，表示“如果P，那么Q”的逻辑联结词是（）。

A.且B.或C.非D.若

2.在三段论推理中，大前提是“所有金属都能导电”，小前提是“铜是金属”，结论是“铜能导电”，该推理属于（）。

A.第一格EIO式B.第二格EIO式C.第三格EIO式D.第四格EIO式

3.下列命题中，属于负命题的是（）。

A.今天天气很好B.今天天气不好C.今天天气不是很好D.今天天气不是不好

4.在谓词逻辑中，表示“所有S都是P”的公式是（）。

A.∀x(S(x)→P(x))B.∀x(S(x)∧P(x))C.∃x(S(x)∧P(x))D.∃x(S(x)→P(x))

5.逻辑矛盾是指（）。

A.两个命题不能同时为真B.两个命题不能同时为假C.一个命题既为真又为假D.一个命题既不能为真又不能为假

6.形式逻辑的研究对象是（）。

A.具体科学知识B.逻辑思维规律和规则C.社会现象D.自然现象

7.在命题逻辑中，表示“P且Q”的逻辑联结词是（）。

A.若B.或C.非D.且

8.下列推理中，属于归纳推理的是（）。

A.所有鸟都会飞，企鹅是鸟，所以企鹅会飞B.某个样本是A，所以所有样本都是AC.如果P，那么Q，P为真，所以Q为真D.某个城市是沿海城市，所以某个城市不是沿海城市

9.在三段论中，中间项是指（）。

A.大前提的主项B.小前提的谓项C.结论的主项D.连接大小前提的项

10.逻辑蕴涵是指（）。

A.两个命题不能同时为真B.两个命题不能同时为假C.一个命题为真时另一个命题必然为真D.一个命题为假时另一个命题必然为假

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

1.下列命题中，属于分析命题的是（）。

A.2+2=4B.这朵花是红色的C.所有金属都是导体D.这个人很高

2.谓词逻辑中，量词包括（）。

A.全称量词B.存在量词C.个体词D.谓词

3.逻辑证明的方法包括（）。

A.直接证明B.间接证明C.演绎证明D.归纳证明

4.下列推理中，属于演绎推理的是（）。

A.所有鸟都会飞，企鹅是鸟，所以企鹅会飞B.某个样本是A，所以所有样本都是AC.如果P，那么Q，P为真，所以Q为真D.某个城市是沿海城市，所以某个城市不是沿海城市

5.逻辑联结词包括（）。

A.且B.或C.非D.若E.当且仅当

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

1.判断下列命题的真假，并说明理由。

（1）今天天气很好且今天下雨。

（2）所有偶数都能被2整除。

2.填空题：

（1）在三段论中，大前提的主项称为______，小前提的谓项称为______。

（2）谓词逻辑中，表示“存在某个x使得P(x)”的公式是______。

（3）逻辑矛盾是指______。

（4）逻辑蕴涵是指______。

（5）逻辑证明的方法包括______和______。

四、（材料分析题）（本大题共1小题，共15分）

材料一：

所有金属都能导电，铜是金属，所以铜能导电。

材料二：

所有大学生都是学生，有些大学生是研究生，所以有些学生是研究生。

请分析以上两个推理的逻辑形式，并说明其是否有效。

五、（材料分析题）（本大题共1小题，共