翻译推理的全部难度在"翻译"这一步：题干是一段人话，你要把它变成箭头。箭头画对了，后面只剩机械的传递；箭头画反了，越推越远。判断自己翻没翻对的标志只有一个——能否用四条规则解释每一个结论。
1. 三类句式的翻译
| 句式 | 译法 | 例子 |
|---|---|---|
| 如果 P 那么 Q | P → Q | 如果下雨，那么比赛取消：下雨 → 取消 |
| 只有 P 才 Q | Q → P | 只有通过笔试才能面试：面试 → 笔试 |
| 除非 P 否则 Q | ¬P → Q（等价于 ¬Q → P） | 除非检修，否则不停机：¬检修 → 不停机 |
| P 是 Q 的必要条件 | Q → P | 登记是投票的必要条件：投票 → 登记 |
| P 是 Q 的充分条件 | P → Q | 缺氧是窒息的充分条件：缺氧 → 窒息 |
| 所有 A 都是 B | A → B | 所有通过初试的人都要培训：初试 → 培训 |
| 不 A 不 B | B → A | 不努力不成功：成功 → 努力 |
"只有……才"是后推前，这是最高频的错误点。记忆抓手："只有"后面跟的是必要条件，必要条件在箭头右边。
2. 四条推理规则
| 规则 | 形式 | 结论 | 有效性 |
|---|---|---|---|
| 肯前必肯后 | P → Q，且 P | Q | 有效 |
| 否后必否前 | P → Q，且 ¬Q | ¬P | 有效 |
| 否前 | P → Q，且 ¬P | 无结论 | 无效 |
| 肯后 | P → Q，且 Q | 无结论 | 无效 |
口诀
箭头的方向是"充分 → 必要"
顺着箭头往前走（肯前）可以
逆着箭头去否定（否后）可以
逆着箭头去肯定（肯后）不行
顺着箭头去否定（否前）不行
四条规则里，两条有效两条无效，无效的两条正是出题人批量制造干扰项的地方。选项里凡是出现"没 P 所以没 Q""有 Q 所以有 P"，先按无效处理。
3. 逆否等价：机械替换
P → Q 与 ¬Q → ¬P 完全等价。改写动作只有两个：前后件互换，各自取否。两处都做才是逆否，只做一处就成了"否前"。
【例 1】如果下雨，那么比赛取消。已知比赛没有取消。
解：
下雨 → 取消
已知 ¬取消，属"否后"
否后必否前：¬取消 ⇒ ¬下雨
答：没有下雨
【例 2】只有通过笔试，才能进入面试。小张进入了面试。
解：
面试 → 笔试（后推前）
已知面试，属"肯前"
肯前必肯后：面试 ⇒ 笔试
答：小张通过了笔试
【例 3】除非设备检修，否则不停机。已知设备停机了。
解：
¬检修 → 不停机
停机 = ¬不停机，属"否后"
逆否：¬不停机 ⇒ 检修
答：设备检修过
【例 4】除非你道歉，否则我不原谅。已知我原谅了你。
解：
¬道歉 → 不原谅
原谅 = ¬不原谅，属"否后"
逆否：原谅 ⇒ 道歉
答：你道歉了
例 3 与例 4 是同一套结构的两次使用。做题时不必每次重推逆否，见"除非"就先写成 ¬P → Q，再对已知条件做"是否等于 ¬Q"的判断，一步到位。
4. 且 / 或 与德摩根转换
| 原命题 | 否定形式 | 说明 |
|---|---|---|
| P 且 Q | ¬P 或 ¬Q | 至少一个不成立 |
| P 或 Q | ¬P 且 ¬Q | 两个都不成立 |
| 并非都 P | 至少一个不 P | 与第一行等价 |
| 要么 P 要么 Q | 都真，或都假 | 排斥或，否定后两侧同时成立 |
【例 5】并非"甲和乙都参加了"。
解：
¬(甲 ∧ 乙)
= ¬甲 ∨ ¬乙
答：甲、乙至少有一人没参加（可能甲没参加，可能乙没参加，也可能都没参加）
德摩根的价值在于把"否定整个复合命题"转成"单个命题的否定"，这样才能继续套四条规则。转换方向永远是从外往里：先拆括号，再分到每个支命题上。
5. 连锁推理：把箭头串成链
多条条件可以首尾相接：A → B，B → C，则 A → C。链条的正确用法只有两个动作——从头顺推（肯前）与从尾逆推（否后）。
【例 6】所有通过初试的人都必须参加培训；所有参加培训的人都必须提交报告。
已知小李没有提交报告。
解：
初试 → 培训 → 报告
已知 ¬报告，两次"否后必否前"
¬报告 ⇒ ¬培训 ⇒ ¬初试
答：小李没有通过初试
链越长，越容易在中间某个环节把方向弄反。可靠做法是把链画成一行箭头，每一步只处理相邻两环，不跳步。
6. 三类题型与解法
| 题型 | 问法 | 解法 |
|---|---|---|
| 推出结论型 | "由此可以推出" | 翻译全部条件 → 只看能顺着箭头走通的项 → 无结论的选项直接排除 |
| 补充条件型 | "还需补充哪项前提" | 从结论倒推：要得 ¬A，须有 ¬B（因为 A → B） |
| 真假话型 | "只有一句真/假" | 先找矛盾对，矛盾必一真一假，其余命题据此定真假，再代回 |
补充条件型
【例 7】条件：如果小王去，那么小李也去。
问：要推出"小王不去"，需要补充什么？
解：
王 → 李
要得到 ¬王，唯一合法路径是否后
否后需要 ¬李
答：小李不去
真假话型
【例 8】三句话：
(1) 如果甲去，那么乙去。
(2) 甲去且乙不去。
(3) 丙去。
已知只有一句为真。
解：
(2) 正是 (1) 的否定，两者构成矛盾对，必一真一假
既然只有一句真，真话已被 (1)(2) 占用 → (3) 必假
答：丙不去
6.1 推出结论型的排除顺序
四条排除线（按速度排序，命中即停）
① 选项含"必然/一定"，但题干只给了"可能" → 排除
② 选项的箭头方向与题干相反 → 排除（最常见）
③ 选项把"有的"当"所有"用 → 排除
④ 选项引入题干没出现的概念 → 排除
四条线都不用完整翻译题干，扫一眼选项就能删掉两三个。真正需要翻译的往往只剩一个选项，这一步能省下大半时间。
矛盾对的识别是这类题的唯一入口。常见的矛盾组合有三组：P → Q 与 P ∧ ¬Q；所有 A 都是 B 与 有的 A 不是 B；P 且 Q 与 ¬P 或 ¬Q。三组都能用德摩根或逆否互推得到。
7. 符号化速查表
| 中文表述 | 符号 | 备注 |
|---|---|---|
| 如果…那么… | P → Q | 前推后 |
| 只要…就… | P → Q | 前推后 |
| 只有…才… | Q → P | 后推前 |
| 除非…否则… | ¬P → Q | 等价 ¬Q → P |
| …是…的必要条件 | Q → P | 必要在右 |
| …是…的充分条件 | P → Q | 充分在左 |
| 所有…都… | P → Q | 全称蕴含 |
| 不…不… | Q → P | 双重否定转肯定 |
| 没有…就没有… | Q → P | 同"不…不…" |
| 且 | ∧ | 否定后变 ∨ |
| 或 | ∨ | 否定后变 ∧ |
8. 易错点
| 易错点 | 表现 | 纠正 |
|---|---|---|
| 把必要条件当充分 | "通过笔试"推出"进入面试" | 必要条件在箭头右边，只能由右推左 |
| 否前误推否后 | 没下雨 ⇒ 比赛没取消 | 否前无结论 |
| 肯后误推肯前 | 比赛取消 ⇒ 下雨 | 肯后无结论 |
| "只有…才"译反 | 译成 笔试 → 面试 | 后推前，写在题头提醒自己 |
| 逆否只做一半 | 只把结论取否，前后件没换 | 两处同时改 |
| 连锁时跳环 | 从 A 直接推到 D | 每次只处理相邻两环 |
| 忽略量词 | "有的 A 是 B"被当全称 | 看到"有的"不可逆否 |
最后一条要单独记："有的"命题不可逆否。"有的 A 是 B"的逆否并不成立，因为"有的"只保证存在，不保证全部。这是翻译推理与集合推理的交界处，混用会稳定出错。
9. 边界
| 场景 | 处理 | 理由 |
|---|---|---|
| 题干全是"有的" | 改用文氏图，不做箭头翻译 | 存在量词不可逆否 |
| 条件超过五条且互相交叉 | 先画链，再单独处理游离条件 | 链条之外的孤立条件往往是解题钥匙 |
| 选项含"可能" | 只要不与条件矛盾即可选 | 推出"必然"比推出"可能"要求高 |
| 题干出现"否则"单独使用 | 按"如果不…就…"补全再翻译 | 否则的前件常被省略 |
| 真假话型找不到矛盾对 | 用假设法逐一代入 | 没有矛盾对时只能枚举 |
| 单题超过 80 秒 | 先写符号再判断，别在文字上纠缠 | 文字推理容易绕回原点 |
10. 自测
- "只有 P 才 Q"译成箭头是什么形状？为什么？
- "除非 P 否则 Q"有哪两种等价译法？
- 四条推理规则里哪两条无效？各举一个干扰项的样子。
- 逆否等价要同时做哪两个动作？
- "并非甲和乙都参加"等价于什么？
- "有的 A 是 B"为什么不可逆否？