翻译推理-逆否规则（结合选言否定一支推另一支）
考点：逻辑判断 / 翻译推理-逆否规则（结合选言否定一支推另一支）
问法模型：‘由上述事实可以推出’→ 先将’如果…则…”只有…才…’翻译为箭头表达式，再以确定事实为起点用逆否规则连锁推导，逐项排除。
推理链
- 第1步：翻译条件（1）‘如果蒋某和张某都感染…则李某没有被感染’为：蒋∧张→¬李
- 第2步：翻译条件（2）‘李某感染了…而且王某的陈述正确’为两个确定事实：李为真、王对为真
- 第3步：翻译条件（3）‘只有王某的陈述不正确，张某才没有感染’为：¬张→¬王对，逆否得：王对→张
- 第4步：由确定事实’王对为真’代入逆否式’王对→张’，推出张某感染了
- 第5步：由条件（1）逆否得：李→¬蒋∨¬张；李为真，又张为真否定’¬张’这一支，选言否定一支则另一支为真，推出蒋某没有感染
- 第6步：结论为’蒋某没有感染、张某感染了’，对照选项仅A项完全吻合，B、C、D均与推出结论矛盾
最快解法：⚡ 逆否连锁法：先由’王对’逆推’张感染’（王对→张），再由’李感染’逆推’¬蒋∨¬张’，代入’张感染’锁定’蒋未感染’，直接锁定A。
易错点
- ⚠ ‘只有…才…’翻译方向搞反：应译为后推前（¬张→¬王对），误译为前推后则无法由’王对’推出’张感染’
- ⚠ 忽视条件（2）是确定事实（李真、王对真），只盯着假言条件无从下手
- ⚠ C项偷换概念：‘王某的陈述正确’不等于’王某感染’，李某感染与王某感染无必然联系
母题抽象
🧩 当题干同时出现’如果…则…”只有…才…’的条件句和若干确定事实时，先全部翻译成箭头，再从确定事实出发逆否连锁推导，联言/选言命题否定一支即可肯定另一支，最后对照选项。
同类特征：如果…则…（前推后）、只有…才…（后推前）、给出确定事实（李某感染且王某陈述正确）、多个主体感染情况、逆否等价、选言否定一支推另一支
相关题
- 12304865（江苏 2024，相关度1）
- 1752836（北京 2016，相关度1）
- 1797234（山东 2016，相关度1）
- 2021872（吉林 2016，相关度1）
- 2050900（江西 2017，相关度1）
题干
经过全力检测和排查，疾控中心的专家确定如下事实： （1）如果蒋某和张某都感染了H7N9新型禽流感病毒，则李某没有被感染； （2）李某感染了H7N9新型禽流感病毒，而且王某的陈述正确； （3）只有王某的陈述不正确，张某才没有感染H7N9新型禽流感病毒。 由上述事实可以推出（ ）。
选项
- A. 蒋某没有感染H7N9新型禽流感病毒，张某感染了 ✅
- B. 蒋某和李某都感染了H7N9新型禽流感病毒
- C. 李某和王某都感染了H7N9新型禽流感病毒
- D. 蒋某感染了H7N9新型禽流感病毒，张某没有感染
官方解析
第一步：翻译题干。 （1）蒋且张→非李； （2）李且王对； （3）非张→非王对。 第二步，逐一分析选项。 由条件（1）（3）得“李→非蒋或非张”“王对→张”； 由或关系否定其一，另一个一定为真得出“张→非蒋”； 因此张某感染了，蒋某没有感染。 故正确答案为A。
给定材料
（无）