翻译推理-假言命题逆否规则（结合最大信息法与匹配排除）
考点：逻辑判断 / 翻译推理-假言命题逆否规则（结合最大信息法与匹配排除）
问法模型：‘根据以上叙述，可推出的结论是’→ 属确定性信息推理题，应从题干中出现次数最多的信息（班长）入手，逐层排除锁定唯一对应
推理链
- 第1步：从题干提取前提：甲、乙、丙、丁与’班长/院男篮队员/逻辑学/数学建模比赛’四项一一对应且’四人均不兼项’；否定条件为：甲非班长非建模、乙非逻辑学非班长、丁非建模非班长
- 第2步：将假言命题’如果甲没有选修逻辑学，那么丙也不是班长’翻译为’甲非逻辑学→丙非班长’，其逆否等价形式为’丙是班长→甲选修逻辑学’
- 第3步：‘班长’在题干中提及次数最多，优先推理：甲、乙、丁均被否定为班长，结合一一对应关系，只有丙能是班长
- 第4步：丙是班长构成假言命题逆否形式的前件，据’否后必否前’可得甲选修逻辑学
- 第5步：由’丁没有参加数学建模比赛’，且逻辑学已被甲占据，故丁只能是院男篮队员
- 第6步：剩余’刚参加完数学建模比赛’只能对应乙，逐项对照：A项甲是男篮（错，甲选修逻辑学）、B项丁选修逻辑学（错，丁是男篮）、D项丙或乙选修逻辑学（错，甲选修逻辑学且丙是班长、乙是建模），只有C项’乙参加了数学建模比赛’符合
最快解法：⚡ 最大信息法+排除法：先数’班长’被甲、乙、丁否定三次→丙是班长→逆否推出甲选修逻辑学→丁排除建模只能是男篮→乙建模，锁定C
易错点
- ⚠ 忽略’四人均不兼项’及四身份一一对应，无法用排除法锁定丙是班长
- ⚠ 推出丙是班长后忘记使用假言命题的逆否规则（否后必否前），误选D’丙或乙选修了逻辑学’
- ⚠ 忘记甲已占据’逻辑学’名额，或混淆丁的角色（丁非建模应是男篮而非逻辑学），误选B
母题抽象
🧩 当题干出现’多对象与多身份一一对应+多个否定条件+一条假言命题’时，先找提及/否定次数最多的信息确定锚点结论，再将假言命题转为逆否形式与锚点联用，最后用排除法填满剩余对应即可锁定答案
同类特征：四人四项一一对应、四人均不兼项、多个否定条件、假言命题’如果…那么…’、最大信息’班长’、逆否推理
相关题
- 12101032（江苏 2025，相关度1）
- 1789566（江苏 2016，相关度1）
- 1797328（山东 2016，相关度1）
- 2139488（天津 2017，相关度1）
- 2742139（江苏 2021，相关度1）
题干
寝室里住着甲、乙、丙、丁四位大学生。他们当中一人是班长，一人是院男篮队员，一人选修了逻辑学，一人刚参加完数学建模比赛，且四人均不兼项。其中，甲不是班长也没参加数学建模比赛，乙没选修逻辑学也不是班长，丁没有参加数学建模比赛也不是班长。另外还知道，如果甲没有选修逻辑学，那么丙也不是班长。 根据以上叙述，可推出的结论是：
选项
- A. 甲是院男篮队员
- B. 丁选修了逻辑学
- C. 乙参加了数学建模比赛 ✅
- D. 丙或乙选修了逻辑学
官方解析
第一步：分析题干条件。
（1）甲、乙、丙、丁中一人是班长，一人是院男篮队员，一人选修了逻辑学，一人刚参加完数学建模比赛，且四人均不兼项；
（2）甲
班长，甲数学建模比赛；
（3）乙逻辑学，乙班长；
（4）丁数学建模比赛，丁班长；
（5）
甲选修逻辑学
丙是班长。
第二步：根据题干条件进行推理。
题干条件中“班长”提及次数最多，可优先从此处入手进行推理。
根据条件（2）（3）（4）可知，甲、乙、丁都不是班长，结合条件（1）可知，丙是班长。这是对条件（5）的否后，否后必否前，可得甲选修逻辑学。根据（4）可知，丁没有参加数学建模比赛，那么丁是院男篮队员，乙参加了数学建模比赛，只有C项符合。
故正确答案为C。
给定材料
（无）