论 数学逻辑中的 充分条件与必要条件

个人拙解

形如 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的必要不充分条件