翻译推理
如果 某人 是东北人，那么 他 一定是中国人（东北人 → 中国人）
结论：逆否等价
a → b ，则 -b → -a （ a → b 等价于 -b -> -a ）
语言表示：前 推 后，则 否后 推 否前
前推后
什么时候是 a -> b（前 推 后）？
⚠️ 等价关联词
- 如果 ......，那么 ......
- 若 ......，则 ......
- 只要 ......，就 ......
- 为了 ......，一定（必须） ......
- 所有 ......，都 ......
- ...... 是 ...... 的充分条件
🚩 只要题目中出现了 如果/就/都 那就是 前 推 后
后推前
什么时候是 b <- a（后 推 前）？
⚠️ 等价关联词
- 只有 ......，才 ......
- 不 ......，不 ......
- 除非 ......，否则不 ...... （注意：除非 ......，否则 ...... 是 -b -> a）
- ...... 是 ...... 的 必要/必不可少的条件
- ...... 是 ...... 的 基础/假设/前提/关键
且和或
A 且 B：二者同时成立
⚠️ 等价关联词
- 和
- 既 ......，又 ......
- 不仅 ......，而且 ......
- ...... 但是 ......
A 或 B：二者至少一个成立
⚠️ 等价关联词
- 或者 ......，或者 ......
- ...... 和 ......至少一个
要么A，要么B：二者只有一个成立
⚠️ 等价关联词
- 要么 ......，要么 ......
- ...... 和 ......只有一个
德摩根定律
-（A且B）= -A 或 -B
⚠️ 例子
- 物美且价廉 的否定： 不物美 或 不价廉
-（A或B）= -A 且 -B
⚠️ 例子
- 物美或价廉 的否定： 不物美 且 不价廉