翻译推理-逆否规则与二难推理（结合不相容选言）
考点：逻辑判断 / 翻译推理-逆否规则与二难推理（结合不相容选言）
问法模型：问’下面各项中，符合要求的是’的推出型问法 → 将题干假言命题翻译并做逆否等价，构造二难推理后用选言唯一性逐项对照
推理链
- 第1步：提取题干三个条件：①’如果小李不参加，那么就小马参加’即 ¬李→马；②’如果小马不参加，那么小李也不参加’即 ¬马→¬李；③’要么小马参加，要么小李参加’为不相容选言，马、李恰有一人参加
- 第2步：对②做逆否等价得④：李→马（小李参加则小马参加）
- 第3步：合并①与④：小李参加→马参加（④），小李不参加→马参加（①），无论小李是否参加，小马必参加（二难归一）
- 第4步：由③’要么…要么…’的马、李恰一人参加，结合小马必参加，可推出小李不参加
- 第5步：对照选项：A’小马参加’可推出；B’小李参加’与④及③矛盾（若李参加则马也参加，变成两人参加，违背③）；C两人都参加、D两人都不参加均直接违背③
- 第6步：结论：只有’小马参加、小李不参加’自洽，选A
最快解法：⚡ 逆否+二难推理：②逆否得’李→马’，与①’¬李→马’合并推出’小马必参加’，直接锁定A；再用③排除C（都参加）、D（都不参加）验证即可
易错点
- ⚠ 把’要么…要么…’误当作相容选言’或’，忽略’二者只能有一个参加’的排他约束
- ⚠ 漏做②的逆否等价，导致①②无法合并，看不出’小马必参加’
- ⚠ 误选B：只满足’有一人参加’的表面条件，未检验’小李参加’会经②逆否同时推出’小马参加’，与③自相矛盾
母题抽象
🧩 当题干同时出现’如果…那么…’的假言命题与’要么…要么…’的不相容选言时，先对假言命题做逆否等价，构造’无论某前提真假，同一结论都成立’的二难推理，再用选言的排他唯一性锁定最终结论
同类特征：多个’如果…那么…’假言条件并存、‘要么…要么…’不相容选言限定二选一、条件可经逆否等价互相衔接、‘符合要求的是’推出型问法、结论指向唯一确定的人选
相关题
（暂无）
题干
某单位需选派人员参加对口扶贫工作。已知：如果小李不参加，那么就小马参加；如果小马不参加，那么小李也不参加；要么小马参加，要么小李参加。 下面各项中，符合要求的是：
选项
- A. 小马参加对口扶贫 ✅
- B. 小李参加对口扶贫
- C. 小马、小李都参加对口扶贫
- D. 小马、小李都不参加对口扶贫
官方解析
第一步：翻译题干。
①
小李
小马；
②小马小李；
③要么小马，要么小李；
将②逆否可以推出④：小李小马。
第二步：逐一分析选项。
根据①和④，无论小李是否参加，小马都会参加，再根据③可知，小马和小李只有一个参加，那么小李不参加，A项可以推出。
故正确答案为A。
给定材料
（无）