翻译推理-逆否规则+相容选言否定肯定式（否一推一）
考点：逻辑判断 / 翻译推理-逆否规则+相容选言否定肯定式（否一推一）
问法模型：‘上述文字可以推知’→ 将题干全称命题符号化为充分条件，从确定信息出发否后逆否，再逐项对照排除
推理链
- 第1步：条件①‘小李的所有大学同学都不是男性’翻译为：大学同学→¬男性
- 第2步：条件②‘通过小李而认识他所在公司的同事的都是男性’前件是联言，翻译为：（通过小李认识 ∧ 认识对象是小李公司同事）→男性
- 第3步：条件③‘小李的一个大学同学通过小李认识了小赵’是确定信息，结合①得：该大学同学→¬男性
- 第4步：该同学¬男性构成对②后件的否定，否后必否前，得¬（通过小李认识 ∧ 认识对象是公司同事），即‘¬通过小李认识 ∨ 认识对象不是公司同事’
- 第5步：由③‘通过小李认识了小赵’，选言支‘¬通过小李认识’被否定，按否一推一得：认识对象小赵不是小李所在公司的同事
- 第6步：对照选项，C项‘小赵不是小李所在公司的同事’必然成立；A项小赵是否大学同学、B项小赵性别、D项小赵与小李是否认识，题干均无信息支持，予以排除
最快解法：⚡ 逆否+否一推一：抓住‘该大学同学非男性’否定②的后件→逆否得‘不通过小李认识 或 认识的不是公司同事’→由‘确实通过小李认识了小赵’否定一支→直接锁定C
易错点
- ⚠ 漏拆联言前件：②的前件须‘通过小李认识’与‘认识对象是公司同事’同时成立，只看其一便无法正确逆否
- ⚠ 误选B：把②的‘都是男性’误解为对被认识对象小赵性别的断定，其实指向的是实施认识行为的主体，小赵性别题干完全未提及
- ⚠ 逆否得到选言后忘记结合③排除‘¬通过小李认识’这一支，得不出唯一确定结论而错选其他项
母题抽象
🧩 当题干出现‘所有A都非B’‘凡通过X途径认识Y者都是Z’的全称条件句并给出一个具体实例时，先符号化条件句，用实例否定后件逆否展开为选言，再以确定信息‘否一推一’锁定落在另一对象身上的隐藏结论
同类特征：全称否定命题：所有大学同学都不是男性、联言前件的充分条件：通过小李认识＋对象是公司同事→男性、确定实例：一个大学同学通过小李认识了小赵、问法为‘可以推知’、需连续使用逆否规则与选言否定肯定式、结论落在被认识对象的身份判定上
相关题
（暂无）
题干
小李的所有大学同学都不是男性，通过小李而认识他所在公司的同事的都是男性。小李的一个大学同学通过小李认识了小赵。 上述文字可以推知下列 项。
选项
- A. 小赵不是小李的大学同学
- B. 小赵不是男性
- C. 小赵不是小李所在公司的同事 ✅
- D. 小赵不认识小李
官方解析
第一步：翻译题干。
①小李的所有大学同学
男性；
②通过小李认识 且 认识的是他所在公司的同事
男性；
③小李的一个大学同学，通过小李认识了小赵。
第二步：根据题干条件进行推理。
从题干确定信息条件③入手，结合条件①可知，小李的这个大学同学不是男性，是对条件②的否后，否后必否前，可推出
（通过小李认识 且 认识的是他所在公司的同事），即不通过小李认识或认识的不是他所在公司的同事，结合条件③可知，小李的这个大学同学通过小李认识了小赵，根据否一推一原则可知，小赵不是小李所在公司的同事，对应C项。
故正确答案为C。
给定材料
（无）