第五天 推理, 逆否等价

1. 翻译推理, 前推后,关联词***(9.14)

1. 如果..., 那么...
2. 若..., 则...
3. 只要...., 就...
4. ...., 都...
5. 为了..., 一定(必须)...
6. ...., 就 都 一定...
7. ...是...的充分条件

2. 前推后, 符合逆否等价***(16.19)

符号表示: A->B = -B=>-A
文字表示: 肯前必肯后 否后必否前
否前, 肯后无必然结论

例如:
条件: 北京人 -> 中国人
张三: 北京人-> 中国人 肯前推肯后
李四: -中国人-> -北京人 否后推否前
王五: -北京人-> ? 否前无必然结论
赵六: 中国人-> ? 肯后无必然结论

3. 前推后的传递关系***(33.15)

1. 上报 -> 开除
2. 开除 -> 否决
3. -上报 -> 愈演愈烈 = -不愈演愈烈 -> 上报

结论:
-不愈演愈烈 -> 上报 -> 开除 -> 否决

4. 翻译推理, 后推前(42.31)

1. 只有... 才...
转化为前推后, 例如:
   只有通过笔试, 才能进入面试
   面试 -> 笔试

5. 后推前, 关联词***(48.23)

1. 只有...才..
2. 不... 不...
3. 除非..., 否则不...

结论: 去掉不, 就是后推前

例如:

1. 不到万不得已, 不要打开锦囊
   锦囊 -> 万不得已
   等价于
   如果不到万不得已, 就不要打开锦囊
   不到万不得已 -> 不要锦囊

6. 后推前, 变形(56.45)

1. 基础/前提/关键 不可缺少/必不可少 --- 必要条件
   必要条件 为后
2. 除非 A 否则不B: B -> A
   除非A否则B: -B -> A
   注意除非的省略
   例句:
   (除非)交房租, 否则不留你 === 留你->交房租
   (除非)交房租, 否则搬出去 === -搬出去 -> 交房租
   (否则)搬出去, 除非交房租 === 前后调换

7. '或', 否1推1 ***(1.31.12)

或关系为真, 否定一项 可以得到 另一项

必须要满足关系为真, 否1推1

东京 或 巴黎
推出:
-东京 -> 巴黎
-巴黎 -> 东京

-唱歌 或 -跳舞
唱歌 -> -跳舞
跳舞 -> -唱歌

8. 逆否等价, 否1推1 结合案例(1.35.0)

11573724717_.pic.jpg

9. 摩根定律** (1.40.44)

1. -(A且B) = -A 或 -B
2. -(A或B) = -A 且 -B

10. 推理方式的形式* (1.53.48)

方法: 标字母
熊猫(A)是国宝(B), 文物(C)也是国宝(B), 所以文物(C)是熊猫(A)