1、充分条件
逻辑词：A是B的充分条件（A→B）
(1)、如果A，那么B
(2)、只要A，就B
(3)、如果A，就B
(4)、A就B
(5)、A则B
(6)、A必须B
(7)、A离不开B
(8)、为了A要B
(9)、所有A都B
(10)、凡是A都B
2、必要条件
逻辑词：B是A的必要条件（B→A）
(1)、只有A，才B
(2)、除非A，才B
(3)、A是B的前提/基础/先决条件/必然要求/必要条件
(4)、没有A，就没有B
(5)、无A就无B
(6)、除非A否则B
3、推理规则（A→B即-A或B）
(1)、逆否等值：A→B 等价于 -B→ -A。
(2)、传递规则：A→B，B→C，可以得到A→C
(3)、推理规则：肯前必肯后、否前后不定、否后必否前、肯前后不定
(3)、二难推理：<1> A→B，-A→B。所以B。
例：如果今天下雨，小明就去春游。如果今天不下雨，小明就去春游。
假设以上两句话都为真，请问，能推出什么？
小明今天一定是去春游的。
<2> A→B，A→-B。所以-A。
例：如果今天下雨，小明就去春游。如果今天下雨，小明就不去春游。
假设以上两句话都为真，请问，能推出什么？
今天不下雨。
4、矛盾命题
(1)、A→B矛盾A且-B
(1)、A且-B矛盾-A或B
网友评论