翻译推理-假言命题连锁推理与假设归谬（结合分配名额约束）
考点：逻辑判断 / 翻译推理-假言命题连锁推理与假设归谬（结合分配名额约束）
问法模型：题干给出多个’如果…则…’假言条件＋‘每项目1-2人’名额约束＋确定信息’叶未参加高山滑雪’→ 先翻译串联假言命题，再从确定信息出发用假设法归谬，锁定唯一可推出的结论
推理链
- 第1步：翻译条件（1）：(石高山 或 白高山)→(方单板 且 于高山)；条件（2）：(于高山 或 方高山)→(白单板 且 叶单板)；确定信息：叶未参加高山滑雪
- 第2步：提取名额约束——‘每人参加一个项目，每个项目均有1-2人参加’，即任一项目人数不得超过2，且高山滑雪至少1人参加
- 第3步：假设’石高山 或 白高山’成立，由条件（1）推出方参加单板滑雪、于参加高山滑雪；于高山使条件（2）前件成立，推出白和叶均参加单板滑雪
- 第4步：此时方、白、叶3人参加单板滑雪，超过’每项目1-2人’上限，矛盾，故假设不成立，得出石和白均不参加高山滑雪（排除C）
- 第5步：结合叶未参加高山滑雪，石、白、叶三人皆不高山，而高山滑雪至少1人，只能是于或方参加高山滑雪，条件（2）前件成立，推出白和叶均参加单板滑雪（排除B）
- 第6步：每人只参加一个项目，白已参加单板滑雪，故白不可能参加跳台滑雪，D项必然成立；方究竟参加高山还是越野无法确定，A项不能推出
最快解法：⚡ 假设归谬法＋名额约束检验：先假设’石或白参加高山’，沿条件（1）（2）串出’方、白、叶三人单板’，撞上’每项目1-2人’即归谬，锁定石白均不高山；再用’高山至少1人’逼出’于或方高山’，触发条件（2）得白单板，每人一个项目故白未参加跳台滑雪
易错点
- ⚠ 忽略’每个项目均有1-2人参加’的名额上限，发现不了’3人单板滑雪’这一矛盾，归谬无从谈起
- ⚠ 漏用’高山滑雪至少1人参加’这一隐含约束，无法从’石、白、叶均不高山’推进到’于高山或方高山’，推理中断
- ⚠ 误选A：方参加高山滑雪还是越野滑雪不确定（于高山时方可在越野/跳台中浮动），把’可能’当’必然’；或对B项误判叶的单板状态
母题抽象
🧩 当题干出现’如果…则…’的假言命题叠加’每项均有1-2人/每项限报N人’之类的名额约束，并给出一个确定信息时，先翻译串联条件，再假设前件成立代入推演，一旦推出某项目人数超限即归谬否定该假设，最后用’每项至少1人’的保底约束逼出剩余分支得必然结论
同类特征：如果…则…（假言命题）、至少有一人参加（析取前件）、每个项目均有1-2人参加（名额约束）、每人参加一个项目（唯一分配）、叶未参加高山滑雪（确定信息入口）、假设归谬
相关题
题干
石、方、白、于、叶5人参加单板滑雪、跳台滑雪、越野滑雪和高山滑雪4个项目的比赛，每人参加一个项目，每个项目均有1-2人参加。 已知：（1）如果石和白至少有一人参加高山滑雪，则方参加单板滑雪，而于参加高山滑雪； （2）如果于和方至少有一人参加高山滑雪，则白和叶均参加单板滑雪。 如果叶未参加高山滑雪，则可以得出以下哪项？
选项
- A. 方参加了越野滑雪
- B. 叶未参加单板滑雪
- C. 石参加了高山滑雪
- D. 白未参加跳台滑雪 ✅
官方解析
第一步：分析题干条件。
（1）每人参加一个项目，每个项目均有1-2人参加；
（2）石高山滑雪 或 白高山滑雪
方单板滑雪 且 于高山滑雪；
（3）于高山滑雪 或 方高山滑雪白单板滑雪 且 叶单板滑雪；
（4）
叶高山滑雪；
将（2）和（3）串联得到条件（5）石高山滑雪 或 白高山滑雪方单板滑雪 且 于高山滑雪白单板滑雪 且 叶单板滑雪。
第二步：根据题干条件进行推理。
题干条件（4）为确定信息，根据条件（4）叶高山滑雪可知，其余4人均可能参加高山滑雪，考虑采用假设法做题。根据条件（5）假设石高山滑雪 或 白高山滑雪，能够推出方参加单板滑雪，进而得出白和叶都参加单板滑雪，此时有3人参加单板滑雪，明显违背条件（1）每人参加一个项目，每个项目均有1-2人参加，因此石和白均不参加高山滑雪，排除C项；此时再结合条件（4）可知，叶、石和白均不参加高山滑雪，故而得出于高山滑雪 或 方高山滑雪，代入条件（3）可知白和叶均参加单板滑雪，排除B项；结合条件（1）每人参加一个项目，因此白不可能再参加跳台滑雪，D项正确。
故正确答案为D。
给定材料
（无）