翻译推理-否后必否前（逆否规则）连锁应用
考点：逻辑判断 / 翻译推理-否后必否前（逆否规则）连锁应用
问法模型：给出确定信息（孙周五值班）→ 代入假言命题链条，用两次’否后必否前’逐层回推出确定结论
推理链
- 第1步：题干给定孙周五值班，由’每天仅安排一人值班’可知孙不在周三值班，这否定了条件②后件’孙周三值班且王周六值班’中的一支，联言后件即被否定
- 第2步：对条件②’赵周二→孙周三且王周六’运用否后必否前，推出赵不在周二值班
- 第3步：赵不在周二值班直接肯定条件③’赵周二不值班→吴周二值班且郑周三值班’的前件，推出吴周二值班且郑周三值班（郑占周三，非周四）
- 第4步：吴周二值班意味着吴不在周日值班，否定了条件④’钱周一不值班→吴周日值班’的后件，否后必否前推出钱周一值班
- 第5步：对照选项——A郑应为周三非周四、C周五已被孙占据、D与’赵不在周二’直接矛盾，均排除，B当选
最快解法：⚡ 逆否连锁法：从’孙周五’出发沿条件②→③→④两次’否后必否前’串联：孙周五⇒孙非周三⇒赵非周二⇒吴周二⇒吴非周日⇒钱周一，直接锁定B；辅以排除法：郑由条件③定为周三（杀A），周五被孙占（杀C），赵非周二（杀D）
易错点
- ⚠ 条件②后件是联言命题’孙周三且王周六’，否定其中一支即否定整个后件，误以为需两支同时被否定才可否前
- ⚠ 推出’吴周二值班’后止步于中间结论，未继续联动条件④完成第二次否后否前，漏选真正结论
- ⚠ 忽略’每人一天、每天一人’的排他约束：孙占周五则李不能占周五（C项），郑占周三则不可能占周四（A项）
母题抽象
🧩 当题干出现’如果A则B且C’与’如果非A则D’的前件互补结构，并给出与某后件冲突的确定信息时，用’否后必否前’的连锁逆否推理逐层回推至确定结论
同类特征：每人每周值班一天且每天仅一人（排他分配）、如果…那么…且…（联言后件的假言命题）、前件互补：赵周二/赵周二不值班、周一或周日（选言条件①可暂存不用）、给定确定信息孙周五、问’可以推出’需连锁逆否
相关题
（暂无）
题干
为支持社区抗疫，赵、钱、孙、李、王、吴、郑7位志愿者，每人每周轮流值班一天，且每天仅安排一人值班，同时还需满足以下条件： ①钱周一或周日值班； ②如果赵周二值班，那么孙周三值班且王周六值班； ③如果赵周二不值班，那么吴周二值班且郑周三值班； ④如果钱周一不值班，那么吴周日值班。 若孙周五值班，则可以推出（ ）。
选项
- A. 郑周四值班
- B. 钱周一值班 ✅
- C. 李周五值班
- D. 赵周二值班
官方解析
第一步：分析题干条件。
（1）钱周一 或 周日；
（2）赵周二
孙周三 且 王周六；
（3）
赵周二吴周二 且 郑周三；
（4）钱周一吴周日；
（5）孙周五。
第二步：根据题干条件进行推理。
根据条件（5）可知孙周五值班，即孙不在周三值班，是对条件（2）的“否后”，根据“否后必否前”可以推出赵不在周二值班，再根据条件（3）可以推出吴周二值班，即吴不在周日值班，是对条件（4）的“否后”，根据“否后必否前”可以推出钱在周一值班，B项当选。
故正确答案为B。
给定材料
（无）