翻译推理-假言逆否＋二难（穷举）推理＋选言否一推一
考点：逻辑判断 / 翻译推理-假言逆否＋二难（穷举）推理＋选言否一推一
问法模型：四人陈述全部为真且问’一定正确’→ 翻译推理模型：先把各句翻成箭头式，再用逆否等价、穷举（二难）合并、选言否一推一、肯前必肯后链式锁定必然结论
推理链
- 第1步：翻译题干——小王’如果小刘能得奖，那么小李也可以得奖’记①小刘得奖→小李得奖；小李’如果小刘能得奖，那么我不能得奖’记②小刘得奖→¬小李得奖；小明’小刘得奖与我得奖是相容的命题’按相容选言记③小刘得奖∨小明得奖；小春’如果小明得奖，那么小军不能得奖’记④小明得奖→¬小军得奖
- 第2步：分别对①②作逆否等价：①的逆否为⑤¬小李得奖→¬小刘得奖，②的逆否为⑥小李得奖→¬小刘得奖
- 第3步：小李’得奖’与’不得奖’穷尽全部情况，⑤⑥合并构成二难推理：无论小李得奖与否，小刘一定没有得奖
- 第4步：将’¬小刘得奖’代入③这个相容选言，用’或关系否一推一’否定’小刘得奖’这一肢，必肯定另一肢，得小明得奖了
- 第5步：‘小明得奖’是④的肯前，根据’肯前必肯后’推出小军不能得奖
- 第6步：对照选项——A’小刘得奖了’与推理结果矛盾，B’小李一定得奖’无法确定（小刘没得奖使①②前件均假），C’小明没有得奖’与推理结果矛盾，只有D’小军不能得奖’必然为真
最快解法：⚡ 二难推理＋否一推一链式法：一眼抓住小王、小李两句’同前提、后件相反’，逆否合并必得’小刘没得奖’；再借小明的’相容（或）‘否一推一得’小明得奖’，肯前小春的话直接选D，全程无需纠结小李是否得奖
易错点
- ⚠ 把’相容’误解为’两人都得了奖’，不会译成相容选言’或’关系，导致链条在③处断裂推不下去
- ⚠ 缺乏穷举（二难）意识：只对①或②单条逆否，看不出小李’得奖/不得奖’两种情况合并后必得’小刘没得奖’
- ⚠ 相容选言规则用反：正确是’否一推一’（否定一个肢必肯定另一肢），若误用’肯一否一’会把方向推错
母题抽象
🧩 当题干出现’多人各说一句且全真、其中两句为同前提不同后件的假言命题、另含一句相容（或）关系’时，先翻译并对假言作逆否，用穷举合并推出公共结论，再借选言否一推一触发下一句假言的肯前，链式锁定必然答案
同类特征：四人说法全部为真、‘如果…那么…’假言命题成对且同前提异后件、‘相容的命题’提示相容选言（或）关系、问’一定正确’即求必然结论、结论由假言与选言接力推出、人物得奖信息相互牵制可层层传递
相关题
（暂无）
题干
在一个办公室里，小王和几个同事在探讨即将举办的演讲比赛。小王说：如果小刘能得奖，那么小李也可以得奖。小李说：如果小刘能得奖，那么我不能得奖。小明说：小刘得奖与我得奖是相容的命题。小春说：如果小明得奖，那么小军不能得奖。最终结果出来，发现他们四人说的都对。 请问以下选项一定正确的是：
选项
- A. 小刘得奖了
- B. 小李一定得奖了
- C. 小明没有得奖
- D. 小军不能得奖 ✅
官方解析
第一步：翻译题干。
①小刘得奖
小李得奖
②小刘得奖
小李得奖
③小刘得奖 或 小明得奖
④小明得奖小军得奖
将①逆否可以推出：⑤小李得奖小刘得奖
将②逆否可以推出：⑥小李得奖小刘得奖
第二步：根据题干条件进行推理。
根据条件⑤和条件⑥可知，无论小李是否得奖，小刘一定没有得奖，再结合条件③，根据或关系否一推一可知，小明得奖了，小明得奖是对条件④的肯前，根据肯前必肯后可知，小军没有得奖，因此D项可以推出。
故正确答案为D。
给定材料
（无）
疑点（官方解析可能有误，待人工复核）
官方解析排版有误：⑤⑥因缺’→‘与否定号被写成完全相同的’小李得奖小刘得奖’，正确应为⑤’¬小李得奖→¬小刘得奖’（①的逆否）、⑥’小李得奖→¬小刘得奖’（②的逆否）；另’相容’在严格逻辑中仅指’可同真’，本题按公考惯例译为相容选言’或’，D的成立依赖此前提，但答案D本身无误。