翻译推理-逆否规则（否后必否前）结合位置唯一性排除
考点：逻辑判断 / 翻译推理-逆否规则（否后必否前）结合位置唯一性排除
问法模型：‘如果……那么下列哪项必然为真’→ 将题干假言命题与选言命题翻译成逻辑式，代入附加条件后用否后否前加排除法锁定唯一剩余选项
推理链
- 第1步：翻译题干条件，(1)（仙女座在C 或 猎户座在C）→ 大熊座在B；(2) 狮子座在C → 人马座在E；附加条件(3) 人马座在B。
- 第2步：利用‘一个位置只能标一个星座’的隐含前提，由‘人马座在B’推出‘大熊座不在B’，即否定了条件(1)的后件。
- 第3步：对条件(1)否后必否前，否定析取前件须两个支命题同时为假，得‘仙女座不在C 且 猎户座不在C’，排除C、D两项。
- 第4步：同理，‘人马座在B’隐含‘人马座不在E’，否定条件(2)的后件，否后必否前得‘狮子座不在C’，排除B项。
- 第5步：位置穷举收尾——仙女座、猎户座、狮子座均不在C，人马座在B，五个星座中只剩大熊座可占据位置C，故‘大熊座在C上’必然为真，选A。
最快解法：⚡
易错点
- ⚠ 忽略‘一个位置只能标一个星座’的隐含前提，无法由‘人马座在B’推出‘大熊座不在B’
- ⚠ 对‘或’命题否后时误以为只需否定一个支命题，实际否定析取须仙女座和猎户座同时不在C
- ⚠ 排除三项后不会用剩余元素穷举收尾，误以为A项‘大熊座在C’未经直接推理而不够‘必然’
母题抽象
🧩 当题干出现‘若P或Q则R’‘若S则T’且附加某元素确定位置时，用‘位置唯一占位→否定后件→否后否前+排除法’，排除后唯一剩余的元素与位置组合即为必然为真的答案
同类特征：假言命题且前件为选言（或）、五元素与五位置一一对应标记、附加条件确定某元素的位置、‘哪项必然为真’的排除型问法、否后必否前、隐含占位唯一性前提
相关题
- 16095260（江苏 2024，相关度1）
- 17467534（湖北 2026，相关度1）
- 18643705（天津 2026，相关度1）
- 18643987（广东 2026，相关度1）
- 2035842（江苏 2016，相关度1）
题干
小王把仙女座、猎户座、大熊座、人马座、狮子座五个星座在星空图上的位置用A、B、C、D、E随机标记。已知：如果仙女座或猎户座中有一个在位置C上，则大熊座在位置B上；如果狮子座在位置C上，则人马座在位置E上。 如果人马座在位置B上，那么下列哪项必然为真？
选项
- A. 大熊座在位置C上 ✅
- B. 狮子座在位置C上
- C. 仙女座在位置C上
- D. 猎户座在位置C上
官方解析
第一步：翻译题干条件。
（1）仙女座在位置C 或 猎户座在位置C
大熊座在位置B；
（2）狮子座在位置C人马座在位置E；
（3）人马座在位置B。
第二步：根据题干条件进行推理。
根据条件（3）人马座在位置B，可知大熊座不在位置B，是对条件（1）的否后，根据否后必否前，可以推出仙女座不在位置C且猎户座不在位置C，排除C、D两项；
根据条件（3）人马座在位置B，可知人马座不在位置E，是对条件（2）的否后，根据否后必否前，可以推出狮子座不在位置C，排除B项。
故正确答案为A。
给定材料
（无）