假言命题
# 综合
A->B:
- A是B的充分---前充分
- B是A的必要---后必要
# 做题思路
必定: [肯前必肯后] [否前后不定] [否后必否前] [肯后前不定] 否定: [肯前且否后]
- 画箭头关系
- 看问题,画答案的箭头
# 考题
- 必真:找肯前/否后
- 必假:找肯前且否后
- 真假不定:找否前/肯后
# 类型
# 充分条件
# 定义
A成立,B就成立(有A就有B)=>A是B的充分条件
# 推理口诀
充分条件前推后 [前是后的充分] 有选举权必须要满18岁 有选举权=>满18岁
# 逻辑词
A=>B
- 如果A,那么B
- 只要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成立不能少的条件/没有A就没有B A是B的必要条件
# 推理口诀
必要条件后推前 [前是后的必要;箭头后是必要]
# 逻辑词
B=>A
- 只有A才B
- A,才B
- 除非A才B
- A是B的前提/基础/先觉条件/必然要求
- 没有A就没有B/无A就无B
- 除非A,否则B =>-B->A
# 综合
A->B:
- A是B的充分---前充分
- B是A的必要---后必要
# 逆否等值
A->B == -B->-A
# 传递规则
A->B,B->C => A -> C == -C -> -A
# 箭头推出规则
[肯前必肯后] [否前后不定] [否后必否前] [肯后前不定]
# 二难推理规则
A->B,-A->B => B(一定成立) A->B,A->-B => -A(一定不成立)
# 矛盾命题
# 充分 矛盾: 不充分
A->B 矛盾 A不能推出B = A且-B 输->不打牌 矛盾 输且打牌
# 必要 矛盾 不必要
P->Q 矛盾 P且-Q 嫁->买房 矛盾 嫁且-房
# 总结
[肯前且否后]
上次更新: 2021/11/26, 15:02:22