A推出B，則A是B的充分條件 ， B是A的必要條件 。
充分條件：如果A能推出B，那么A就是B的充分條件 。其中A為B的子集，即屬于A的一定屬于B ， 而屬于B的不一定屬于A 。充分條件是邏輯學在研究假言命題及假言推理時引出的 。根據充分條件假言命題的邏輯性質進行的推理叫充分條件假言推理 。
【A推出B則A是B的必要條件】必要條件：如果沒有事物情況A，則必然沒有事物情況B 。如果有事物情況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 。如果有事物情況A而未必有事物情況B，A就是B的必要而不充分的條件，簡稱必要條件 。
