1. 翻译推理, 前推后,关联词***(9.14)
如果..., 那么...
- 若..., 则...
只要...., 就...
...., 都...
- 为了..., 一定(必须)...
-
...., 就
都
一定...
...是...的充分条件
2. 前推后, 符合逆否等价***(16.19)
符号表示: A->B = -B=>-A
文字表示: 肯前必肯后
否后必否前
否前, 肯后无必然结论
例如:
条件: 北京人 -> 中国人
张三: 北京人-> 中国人 肯前推肯后
李四: -中国人-> -北京人 否后推否前
王五: -北京人-> ? 否前无必然结论
赵六: 中国人-> ? 肯后无必然结论
3. 前推后的传递关系***(33.15)
- 上报 -> 开除
- 开除 -> 否决
- -上报 -> 愈演愈烈 = -不愈演愈烈 -> 上报
结论:
-不愈演愈烈 -> 上报 -> 开除 -> 否决
4. 翻译推理, 后推前(42.31)
-
只有... 才...
转化为前推后
, 例如:
只有通过笔试, 才能进入面试
面试 -> 笔试
5. 后推前, 关联词***(48.23)
- 只有...才..
- 不... 不...
- 除非..., 否则不...
结论: 去掉不
, 就是后推前
例如:
-
不
到万不得已,不
要打开锦囊
锦囊 -> 万不得已
等价于
如果
不到万不得已,就
不要打开锦囊
不到万不得已 -> 不要锦囊
6. 后推前, 变形(56.45)
-
基础/前提/关键
不可缺少/必不可少
---必要条件
必要条件 为后 - 除非 A 否则
不
B:B -> A
除非A否则B:-B -> A
注意除非的省略
例句:
(除非)交房租, 否则不
留你 ===留你->交房租
(除非)交房租, 否则搬出去 ===-搬出去 -> 交房租
(否则)搬出去, 除非交房租 === 前后调换
7. '或', 否1推1 ***(1.31.12)
或
关系为真, 否定一项
可以得到 另一项
必须要满足关系为真, 否1推1
东京 或 巴黎
推出:
-东京 -> 巴黎
-巴黎 -> 东京
-唱歌 或 -跳舞
唱歌 -> -跳舞
跳舞 -> -唱歌
8. 逆否等价, 否1推1 结合案例(1.35.0)
9. 摩根定律** (1.40.44)
- -(A且B) = -A 或 -B
- -(A或B) = -A 且 -B
10. 推理方式的形式* (1.53.48)
方法: 标字母
熊猫(A)
是国宝(B)
, 文物(C)
也是国宝(B)
, 所以文物(C)
是熊猫(A)