A推出B则A是B的必要条件

A推出B，则A是B的充分条件，B是A的必要条件。

充分条件：如果A能推出B，那么A就是B的充分条件。其中A为B的子集，即属于A的一定属于B，而属于B的不一定属于A。充分条件是逻辑学在研究假言命题及假言推理时引出的。根据充分条件假言命题的逻辑性质进行的推理叫充分条件假言推理。

必要条件：如果没有事物情况A，则必然没有事物情况B。如果有事物情况A而未必有事物情况B，A就是B的必要而不充分的条件，简称必要条件。