翻译推理-组合约束（假设法+逆否规则+代入排除）
考点：逻辑判断 / 翻译推理-组合约束（假设法+逆否规则+代入排除）
问法模型：‘据此，可以推出以下哪一项是正确的’→ 先代入排除与题干条件直接矛盾的选项，剩余选项用假设法找矛盾确定必然结论
推理链
- 第1步：提取六个条件：①王、李只去一人；②李、周只去一人；③王或陈至少一人；④王、林、胡中两人参加；⑤陈和周要么都参加、要么都不参加；⑥林参加→李参加
- 第2步：A/B/C项直接代入检验：A’王、陈不参加’与③’至少有一人参加’矛盾；B’林、胡不参加’则④中王林胡最多只剩王一人参加，与’应有两人参加’矛盾；C’周、李不参加’与②’李、周只去一人’矛盾，三项均排除
- 第3步：对D用假设法：假设李参加，由①②’只去一人’得王不参加、周不参加
- 第4步：由③’王或陈至少一人’且王不参加，得陈一定参加
- 第5步：由⑤’陈周同去同不去’，陈参加→周参加，与第3步’周不参加’矛盾，故假设不成立，李必不参加
- 第6步：由⑥’林→李’，李不参加是否定后件，据逆否规则（否后必否前）得林不参加
- 第7步：综上’李、林不参加’必真，D当选；进一步可还原唯一方案：王、陈、周、胡参加，李、林不参加
最快解法：⚡ 代入排除法+假设法：A与③、B与④、C与②逐条对撞秒排；对D假设’李参加’，沿①②→③→⑤推出’周既不参加又参加’的矛盾，锁定’李不参加’，再用⑥逆否推出’林不参加’即得D
易错点
- ⚠ 把’只要一人参加’误读为’至少一人参加’，破坏二者居其一的排他约束，导致推不出唯一结论
- ⚠ 忽略⑤’陈周要么都参加要么都不参加’是双向绑定条件，只单向使用就找不到’周既不参加又参加’的矛盾
- ⚠ 忘记⑥’林→李’的逆否规则，只能推出李不参加却推不出林不参加，误认为D只对了一半
母题抽象
🧩 当题干给出多个’二者只居其一”至少一人”同去同不去”A→B’等复合约束求必真结论时，先用选项代入对撞硬约束排除，再用假设法沿约束链传导找矛盾，最后用逆否规则收尾确定答案
同类特征：只要一人参加（二者居其一）、至少有一人参加、三人中应有两人参加、要么都参加，要么都不参加、如果…一定…（充分条件假言）、据此可以推出哪一项正确
相关题
（暂无）
题干
某单位领导决定在王、陈、周、李、林、胡六人中挑几个人去执行一项重要任务，执行任务的人选应满足以下所有条件：王、李两人中只要一人参加；李、周两人中也只要一人参加；王、陈两人至少有一人参加；王、林、胡三人中应有两人参加；陈和周要么都参加，要么都不参加；如果林参加，李一定要参加。 据此，可以推出以下哪一项是正确的？
选项
- A. 王、陈不参加
- B. 林、胡不参加
- C. 周、李不参加
- D. 李、林不参加 ✅
官方解析
第一步：分析题干。
① 要么王要么李；
② 要么李要么周；
③ 王 或 陈；
④ 王、林、胡选两人；
⑤ 陈周要么都参加，要么都不参加；
⑥ 林
李
第二步：根据题干条件分析选项。
A项：代入A项，如果王、陈不参加，则与③矛盾，排除；
B项：代入B项，如果林、胡不参加，则与④矛盾，排除；
C项：代入C项，如果周、李不参加，则与②矛盾，排除；
D项：假设李参加，根据①②可知，王、周一定不参加；再根据③可知，陈一定参加；则根据⑤可知，周一定参加，与前面得到的周不参加矛盾，所以可知假设错误，李一定不参加。此时，根据⑥的否后必否前可知，林一定不参加，即李、林一定不参加，当选。
故正确答案为D。
给定材料
（无）