翻译推理-假言命题逆否规则+匹配排除
问法模型：‘由此可以推出’的多人多物匹配题 → 先翻译条件，用否定条件凑出唯一确定项，再用假言命题逆否推理，最后排除选项
推理链
- 第1步：翻译条件——①小明¬饺子且¬米饭；②小红¬饺子且¬面条；③¬小明吃面条→¬小强吃饺子；④小丽¬饺子且¬米饭；每人只吃一种且四种食物各被吃一次
- 第2步：饺子只有一人吃，而①②④表明小明、小红、小丽三人都没吃饺子，故唯一确定：小强吃饺子
- 第3步：对假言命题③作逆否：¬小强吃饺子→¬小明吃面条的逆否为’小强吃饺子→小明吃面条’，结合第2步得：小明吃面条
- 第4步：面条已被小明占用，小丽由④没吃饺子、没吃米饭，排除后只能吃汤圆
- 第5步：剩余米饭归小红，完整分配为：小明面条、小红米饭、小丽汤圆、小强饺子
- 第6步：对照选项——C项’小丽吃汤圆，小明吃面条’与推导一致；A项小明吃汤圆、B项小强吃面条、D项小强吃米饭均与已推结论矛盾，排除
最快解法：⚡ 排除法+逆否链条：三重否定条件锁’小强吃饺子’→条件③逆否得’小明吃面条’→直接锁定C，无需推完全部分配
易错点
- ⚠ 对假言命题③误用’肯定前件/否定后件’式推理（如由小明没吃面条直接推小强没吃饺子后卡死），必须用逆否：小强吃饺子→小明吃面条
- ⚠ 忽略’每人各吃一种、互不重复’的隐含前提，无法用排除法锁定唯一吃饺子的人
- ⚠ 只推出’小强吃饺子’就匆忙对照选项，漏掉小明吃面条这一关键结论，可能在B、D间误判
母题抽象
🧩 当题干出现’多人多物一一对应+多个确定否定条件+一个如果那么假言命题’时，先用否定条件凑唯一确定项（谁必占某物），再对假言命题做逆否推出第二确定项，最后排除法锁定答案
同类特征：由此可以推出、四人四食物匹配问题、多个’没吃’否定条件、‘如果…那么…’假言命题、每人各吃一种（不重复）、冬至日节日情境
相关题
- 10297093（天津 2025，相关度1）
- 10297282（浙江 2025，相关度1）
- 10297302（浙江 2025，相关度1）
- 10886464（山东 2025，相关度1）
- 11881060（黑龙江 2024，相关度1）
题干
冬至日，小明、小红、小丽、小强各吃了一种食物，分别是饺子、汤圆、面条、米饭。已知：①小明没吃饺子，也没吃米饭；②小红没吃饺子，也没吃面条；③如果小明没吃面条，那么小强也没吃饺子；④小丽既没吃饺子，也没吃米饭。 由此可以推出：
选项
- A. 小明吃汤圆，小丽吃面条
- B. 小强吃面条，小丽吃汤圆
- C. 小丽吃汤圆，小明吃面条 ✅
- D. 小红吃面条，小强吃米饭
官方解析
第一步：翻译题干。
①小明没吃饺子 且 没吃米饭
②小红没吃饺子 且 没吃面条
③小明没吃面条
小强没吃饺子
④小丽没吃饺子 且 没吃米饭
由题干条件小明、小红和小丽没吃饺子，可知小强吃了饺子；
由小强吃了饺子，逆否条件③可以推出：小强吃饺子小明吃面条。
第二步：逐一分析选项。
A项：小明吃汤圆，与题干已推结论小明吃面条不符，排除；
B项：小强吃面条，与题干已推结论小强吃饺子不符，排除；
C项：小丽吃汤圆，小明吃面条，正确；
D项：小强吃米饭，与题干已推结论小强吃饺子不符，排除。
故正确答案为C。
给定材料
（无）