逻辑符号速查 + 套路卡
199 管综逻辑 · 夜窗工单 G2 · 翻译表 14 条 / 等价变形 / 陷阱 6 则 / 套路卡 14 张 / 速解口诀 10 条
壹
符号翻译规则表
¬非（否定）→推出∧且∨或□必然◇可能
| 原文说法 | 符号化 | 口诀 / 备注 |
|---|---|---|
| 如果A，那么B / 只要A，就B | A→B | 充分在前：A 是充分条件 |
| 只有A，才B | B→A | 只有才，后推前；A 在箭头尖上（必要） |
| A 是 B 的必要条件 / 前提 | B→A | 必要的放箭头尖，别放箭尾 |
| 除非A，否则B | ¬A→B | 等价于 A∨B；否一推一 |
| 所有A都是B | A→B | 全称当条件式逐个用 |
| 所有A都不是B | A→¬B | 全称否定 |
| 有些A是B | A∧B（存在） | 有些不带箭头，不能连锁 |
| 有些A不是B | A∧¬B | 同上；与上句不是矛盾 |
| 必然P | □P | 必然真 > 实际真 > 可能真 |
| 可能P | ◇P | ◇P ⇔ ¬□¬P |
| A且B | A∧B | 两者都真才算真 |
| A或B | A∨B | 相容或：可以同时真 |
| 要么A，要么B | A∨B 且 ¬(A∧B) | 不相容或：恰居其一 |
| 不是A，就是B | ¬A→B | 同"除非A否则B" |
贰
等价变形
逆否（唯一安全的变形）
A→B ⇔ ¬B→¬A 原式与逆否同真假；除此之外一切"变形"都要警惕。链条上：A→B，B→C ⇒ A→C（假言三段论）。
德摩根律
¬(A∧B) ⇔ ¬A∨¬B ¬(A∨B) ⇔ ¬A∧¬B
负号进屋，且变或、或变且。
其他常用
| 变形 | 等价式 |
|---|---|
| 除非A否则B | ¬A→B ⇔ A∨B ⇔ ¬B→A |
| 双重否定 | ¬¬P ⇔ P |
| 模态对当 | ¬□P ⇔ ◇¬P；¬◇P ⇔ □¬P |
| 逆否的模态版 | □(A→B) ⇔ □(¬B→¬A) |
有效 vs 无效推理
| 形式 | 例子 | 判定 |
|---|---|---|
| 肯前式 | A→B，A 成立 ⇒ B | 有效 |
| 否后式（逆否） | A→B，¬B ⇒ ¬A | 有效 |
| 否前式 | A→B，¬A ⇒ ? | 无效，什么都推不出 |
| 肯后式 | A→B，B ⇒ ? | 无效，什么都推不出 |
叁
常见陷阱
① 必要误当充分（最高频） 看到"只有…才"顺手写成 A→B，方向一反全盘错。检查法：箭头必须指向"才"前面的那个词。
② 逆命题当等价 A→B 推不出 B→A，也推不出 ¬A→¬B。唯一等价是逆否。
③ 否前 / 肯后 ¬A 之后、B 之后都是盲区，选项若靠"没这个条件所以没那个结果"，直接排除。
④ "有些" = 至少一个 可能恰是全部；"有些A是B"与"有些A不是B"可以同真，不是矛盾关系。
⑤ "或"是相容的 A∨B 不排斥同时成立，除非题干明说"不可兼得 / 二者仅居其一"。
⑥ 概念偷换 翻译前先把每句补成"主语+谓语"再上符号；两个词长得像不等于同一概念。
八字防线：肯前必肯后，否后必否前；其余全不行。
肆
论证套路卡（14 张）
削弱先找结论，再找它踩着的因果或桥梁
削弱另有他因
机制：给出第三个原因同样能造成结果，让"X导致Y"不再是唯一解释。
关键词：真正原因 / 其实是 / 与此同时还
例：孩子吃糖多所以蛀牙多？——这批孩子恰好也最不爱刷牙。
削弱因果倒置
机制：指出顺序相反，是结果造就了所谓的原因。
关键词：先有…后有… / 并非因为，而是
例：不是自信带来好成绩，而是好成绩养出了自信。
削弱样本偏差
机制：攻击样本代表性——样本挑歪了，数据再漂亮也推不到总体。
关键词：只调查了 / 网上问卷 / 自愿参与
例：网调九成人支持调休——不常上网的人没被问到。
削弱釜底抽薪
机制：直接推翻论据事实本身，让结论失去地基。
关键词：与事实不符 / 数据有误 / 根本没有
例：所谓销量大涨，其实是经销商压货，终端根本没动。
削弱断桥（方法无效）
机制：承认前提为真，但手段到不了目的，桥断了。
关键词：即使…也 / 仍然无法 / 起不到作用
例：即使提高罚款，赶时间的司机照样闯灯。
加强把论据到结论之间缺的那一块补上
加强搭桥
机制：在论据与结论两个没接上的概念之间补一条联系。
关键词：选项同时含题干两个概念 / 是…的主要标准
例：从"论文多"跳到"适合当教授"，补"论文是学术能力的核心指标"。
加强排除他因
机制：封死其他解释，让题干原因成为唯一变量。
关键词：其余条件完全相同 / 没有别的变化
例：两个班除教学软件外，师资、生源、课时全部一致。
加强补充正面例证
机制：加一个同类案例，提高结论的普遍性（弱加强）。
关键词：同样地 / 另一地也 / 此前也有
例：邻市试点同样的积分制后，投诉量同样下降。
假设找论证不说不行的那句隐形话
假设否定代入检验
机制：把候选项取非代入题干，论证塌掉的才是必要假设。
关键词：题干问"假设 / 前提 / 隐含"
例：若"学生会课前预习"不成立，翻转课堂的收益论证立即瓦解。
假设搭桥型假设
机制：结论里冒出论据没有的新概念，假设就是那座必需的桥。
关键词：结论出现新词 / 衡量标准
例：说"该公司更值得投资"，须假设"利润率是投资价值的核心标准"。
假设可行性假设
机制：建议类论证默认方案能落地且无致命副作用，这就是要补的假设。
关键词：可以实施 / 不会导致 / 能够承担
例：靠修高架缓解拥堵，须假设车流不会因路好而暴增。
评价哪句话最能决定论证的生死，就问哪句
评价是否可比
机制：比较型论证的评价点是：对照组是否同质。
关键词：两者相比 / 差异 / 对照
例：评价两校成绩差距的结论，先问生源起点是否相同。
评价溯因检验
机制：评价因果解释就问一句：是不是这个原因在起作用？
关键词：为什么 / 归因于 / 起作用
例：评价"广告带来销量"，就问不打广告销量会不会照涨。
评价基数与口径
机制：统计论证的评价点是：分母与统计口径是否一致。
关键词：比例还是绝对数 / 和谁比 / 同期
例：事故率升了？先问车流量是否也升了。
套路总口诀：削弱找他因倒置断桥，加强搭桥排因举例，假设取非看塌不塌，评价先问可不可比。
伍
速解口诀（10 条）
口诀1真假话：一找二绕三回
先找矛盾（一真一假），绕开矛盾读其余定真假，最后回推矛盾对。
适用于"只有一人说真/假话"型，三步出答案不硬凑。
口诀2对当关系三句
矛盾必一真一假；上反对（所有是 vs 所有非）必有一假；下反对（有些是 vs 有些非）必有一真。
两个"所有"不能同真，两个"有些"不能同假。
口诀3二难推理：两头同一出口
A→B 且 ¬A→B，两条路殊途同归 ⇒ B 必真。
识别：两个箭头指向同一处，答案就是箭头尖上那个。
口诀4连锁推理：糖葫芦串
A→B→C 像糖葫芦：给头得尾，给 ¬尾 用逆否回 ¬头；中途断链的选项直接排除。
串题只认箭头方向，逆行必须加否定。
口诀5逆否速记
A→B ⇔ ¬B→¬A：走不通原箭头，就反着走加否定——考场最常用的一步。
题干给条件用顺推，给否定结论用逆否。
口诀6德摩根：负号进屋
¬(A∧B)=¬A∨¬B；¬(A∨B)=¬A∧¬B。负号进屋，且变或、或变且。
"不是都"≠"都不"：不是(A且B) 只要缺一个。
口诀7只有才·后推前
见到"只有 / 必须 / …才"，一律后句→前句。
"不下功夫，别想过" = 过→下功夫，而不是反过来。
口诀8除非否则·否一推一
除非A否则B ⇒ ¬A→B：先删"否则"，剩两截，负其一必推另一。
等价 A∨B，所以"否A"或"否B"都是切入口。
口诀9匹配题：表格法
画"人×属性"网格：先填题干给死的格子，再用每行每列不重复排除；卡壳时优先试出现次数最多的名字。
确定信息下手，矛盾格打叉，一圈填满即答案。
口诀10有些不下箭头
"有些"只表示存在：不能连锁、不能逆否。全题干都是"有些"时，改画欧拉圈，不画箭头。
箭头串只服务"所有"，"有些"单独画圈看交叠。
考前 30 秒自检：① 箭头方向查过"只有/必要"了吗？② 逆否之外没乱变形吧？③ 否前肯后的选项排了吗？④ 削弱优先找他因与倒置，假设用取非检验。
夜窗内容工单 G2 · 与 speed-skills.html 同风格 · 纯静态零依赖