充分性：有 A 必有 B A⟹B A 是 B 的充分（条件） 必要性：有 A 必有 B A\implies B $$ B 是 A 的必要（条件） 上述 逻辑是一样的，但是在 必要 和 充分的表达上有些微的差异 这说明，充分和必要的说法可以互换 --- A\iff B 这个表示为：1.A是B的充分条件，B也是A的充分条件（不分你我）2.B是A的必要条件，A也是B的必要条件（不分你我）说明两者是等价的，也就是互为充分必要（条件）