1、充分条件

如果A能推出B，那么A就是B的充分条件。其中A为B的子集，即属于A的一定属于B，而属于B的不一定属于A，具体的说若存在元素属于B的不属于A，则A为B的真子集；若属于B的也属于A，则A与B相等。

2、必要条件

如果没有事物情况A，则必然没有事物情况B，也就是说如果有事物情况B则一定有事物情况A，那么A就是B的必要条件。从逻辑学上看，B能推导出A，A就是B的必要条件，等价于B是A的充分条件。