2025年逻辑学考试试题及答案.docxVIP

2025年逻辑学考试试题及答案

一、单项选择题（每题2分，共20分）

1.以下哪组命题的逻辑形式完全相同？（）

A.“所有金属都是导体”与“有的学生是党员”

B.“如果下雨，那么地湿”与“只有努力，才能成功”

C.“张三或者李四获奖”与“要么今天复习，要么明天复习”

D.“并非所有人都赞同”与“有的人不赞同”

2.已知“如果p，那么q”为假，则以下必然为真的是（）

A.p且非qB.非p且qC.p且qD.非p且非q

3.若“所有S都是P”为真，则“有的S不是P”的真假情况是（）

A.必真B.必假C.可真可假D.无法确定

4.以下属于“求异法”（差异法）的是（）

A.某城市去年推广垃圾分类后，垃圾处理量下降；今年未推广的区域垃圾处理量未下降，因此垃圾分类有效

B.研究显示，每天运动1小时的人比不运动的人平均寿命长5年，因此运动有助于延长寿命

C.某地连续三年春季干旱后发生地震，因此干旱可能是地震前兆

D.服用新药的患者康复率为80%，未服用的患者康复率为30%，因此新药有效

5.“逻辑形式的不同取决于逻辑常项”这一论断的依据是（）

A.逻辑变项的具体内容可替换，而常项决定结构关系

B.逻辑常项是自然语言中的连接词，变项是具体概念

C.逻辑形式的真假由常项决定，变项不影响

D.常项是逻辑研究的核心，变项是次要的

6.归谬法的逻辑结构可表示为（）

A.若p则q；非q；故非p

B.若p则q且非q；故非p

C.若p则q；p；故q

D.或p或q；非p；故q

7.“必然非p”为真时，以下哪项为假？（）

A.可能非pB.可能pC.必然pD.B和C

8.一个有效论证的必要条件是（）

A.前提为真B.结论为真C.前提与结论有逻辑关联D.前提包含结论

9.“人是由猿进化而来的，张三是人，所以张三是由猿进化而来的”违反了（）

A.同一律B.矛盾律C.排中律D.充足理由律

10.关于“命题”与“语句”的关系，正确的是（）

A.所有命题都由语句表达，所有语句都表达命题

B.不同语句可表达同一命题，同一语句可表达不同命题

C.命题是语句的内容，语句是命题的形式，因此一一对应

D.疑问句和感叹句不表达命题，因为无真值

二、填空题（每题2分，共10分）

1.逻辑形式“所有S不是P”中，逻辑常项是__________，逻辑变项是__________。

2.必要条件假言命题的逻辑表达式为__________（用符号表示）。

3.矛盾律的逻辑公式是__________（用符号表示）。

4.三段论“所有M是P，所有S是M，所以所有S是P”属于第__________格。

5.命题逻辑的自然演绎系统中，“如果p→q且p，则q”对应的推理规则是__________。

三、分析题（每题15分，共45分）

1.分析以下三段论是否有效：“所有鸟都会飞，企鹅是鸟，所以企鹅会飞。”要求：（1）指出其格与式；（2）根据三段论规则说明无效的原因。

2.识别以下论证中的逻辑谬误，并简要分析：“某品牌护肤品广告称：‘90%的用户使用后皮肤明显改善，所以这款产品值得购买。’”

3.用真值表判定命题公式“(p→q)?(?p∨q)”的逻辑类型（重言式、矛盾式或可满足式）。

四、综合题（每题12.5分，共25分）

1.构造自然演绎证明：已知前提①(p∨q)→r；②?r∧s；③t→(p∨?s)。求证：?t。（要求写出每一步的推理规则）

2.模态逻辑应用：已知“必然所有科学家都是理性的”为真，根据模态对当关系，判定以下命题的真假，并说明理由：（1）可能有的科学家不是理性的；（2）必然有的科学家是理性的；（3）可能所有科学家都是理性的。

2025年逻辑学考试答案

一、单项选择题

1.D（“并非所有人都赞同”等价于“有的人不赞同”，逻辑形式均为??xP(x)??x?P(x)）

2.A（“如果p则q”为假当且仅当p真且q假）

3.B（“所有S是P”与“有的S不是P”是矛盾关系，必有一真一假）

4.A（求异法要求其他条件相同，仅一个因素不同，观察结果差异）

5.A（逻辑常项决定结构关系，如“所有…是…”与“有的…是…”因常项不同而形式不同）

6.B（归谬法通过假设p推出矛盾q∧?q，从而否定p）

7.D（“必然非p”为真时，“必然p”必假，“可能p”也必假，因“必然非p”与“可能p”矛盾）