翻译推理-假言命题连锁推理（确定信息起点+排除法）
考点：逻辑判断 / 翻译推理-假言命题连锁推理（确定信息起点+排除法）
问法模型：题干给出多条’如果…那么…’的分配约束和一个确定事实（S继承2号），问’谁必须继承3号’→从确定信息出发连锁触发假言条件，逐人排除不可能者，剩余唯一选项即为必然答案
推理链
- 第1步：抓住确定信息’S继承了2号房子’作为推理起点，其余条件均为待触发的假言规则
- 第2步：由条件①’谁继承了2号房子，就不能继承其他房子’，S只能继承2号、不能再继承3号，排除A项；同时S已’继承了一套房子’，满足条件③的前件
- 第3步：条件③’如果S继承了一套或数套房子，那么U就不能继承其他房子’的前件成立，故U不能继承其他房子，U不可能继承3号，排除C项
- 第4步：条件④’S继承了2号房子→T必须继承4号房子’的前件成立，得T必须继承4号；再结合条件②’没有一个继承者既可以继承3号又可以继承4号’，T不能同时继承3号，排除B项
- 第5步：S、U、T均不可能继承3号，而七套房子必须全部分配给四个继承人，故3号房只能由V继承，选D
最快解法：⚡ 排除法：以确定信息’S继承2号’为起点连锁触发三个假言条件——①排S（2号与其他房子互斥）、③排U（S有房则U无房）、④+②排T（T得4号则3、4不可兼得），剩余唯一候选V即答案
易错点
- ⚠ 忽略确定信息’S继承2号’已满足条件③的前件，漏掉对U的排除
- ⚠ 推出’T必须继承4号’后，忘记结合条件②的互斥约束（3号与4号不可兼得）进一步排除T继承3号
- ⚠ 误以为3号房可以空置不分配，未意识到七套遗产必须分给四个继承人、3号必须有人继承，从而无法锁定’必须’的答案
母题抽象
🧩 当题干出现多条’如果…那么…’的分配规则并附带一个确定事实、问’谁必须/一定…’时，从确定事实出发连锁触发各假言规则逐人排除，最后剩下的唯一候选者即为必然答案
同类特征：确定信息作推理起点（S继承2号）、多条假言条件（如果…那么…）、排他性约束（继承2号不能继承其他房子）、互斥性约束（3号与4号不可兼得）、问法为’谁必须’（求唯一必然项）、四人分七套房的分配型推理
相关题
（暂无）
题干
写遗嘱的人有四个继承人：S、T、U、V。遗产是七套房子，编号为1～7号。七套房子按以下条件分配： ①谁继承了2号房子，就不能继承其他房子。 ②没有一个继承者既可以继承3号房子，又可以继承4号房子。 ③如果S继承了一套或数套房子，那么U就不能继承其他房子。 ④如果S继承了2号房子，那么T必须继承4号房子。 现已知S继承了2号房子，那么谁必须继承3号房子？
选项
- A. S
- B. T
- C. U
- D. V ✅
官方解析
第一步：分析题干条件。
①继承2号房
不能继承其它房子；
②非3号房或非4号房；
③S继承了一套或数套房子U就不能继承其他房子；
④S继承了2号房子T必须继承4号房子；
⑤S继承了2号房子。
第二步：根据题干条件进行推理。
条件⑤为题干确定信息，可由此开始进行推理。
根据①⑤可知S不能继承其它房子，排除A项；
根据③⑤可知U不能继承其他的房子，排除C项；
根据④⑤可知T必须继承4号房，再结合条件②可以推出T不能继承3号房，排除B项。
故正确答案为D。
给定材料
（无）