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的必要而不充分的條件，簡稱必要條件。