假设有两个条件:A和B
如果A能够推出B,则我们称A是B的充分条件.
反之,如果A能够推出B,则我们称B是A的必要条件.
如果A和B都能相互推得,那么我们称A是B(也可以说B是A)充分必要条件.