个人拙解
形如 A => B (A推出B)是我们在数学学习中,最常用到的逻辑推理
我们就根据这个展开讨论
- 高中课本会直接告诉我们 A是B的充分条件 B是A的必要条件接下来我们来追根溯源下原理
- 所谓A是B的充分条件,意思就是A成立足够支撑B成立,是只要A成立,B就成立的意思,通俗化举个例子就是 我看过狂飙全集 我看过狂飙的第一集,我看过狂飙全集 可以充分证实 我看过狂飙第一集,所以 我看过狂飙全集 是 我看过狂飙第一集的充分条件, 然而 我看过狂飙第一集 并 不能证明 我看过狂飙全集,所以我看过狂飙第一集 不是 我看过狂飙全集的充分条件
- 所谓A是B的必要条件,意思就是 要使B成立,那么A一定要成立,是只有A成立B才成立的意思,还是上面追剧的例子,那么 看过第一集 就是看过全集的必要条件,因为没看过第一集就不可能看过全集,然而只有看过全集才看过第一集就没必要了,因为不看完全集也可以看过第一集,所以看过第一集是看完全集的必要条件
- 回归正题 A=>B ,因为A推出B,所以A是B的充分条件,然后我们对推导式两边取反 得到 !B=>!A 也就是B不成立 A一定不成立意思也就是 只有B成立,A才成立,所以B是A的必要条件,所以A=>B 代表的就是A是B的充分条件 B是A的必要条件。
- 练习一下 关于A(我看过狂飙全集) B(我看过狂飙第一集)
- 那么A是B的充分不必要条件
- 那么B是A的必要不充分条件