充分條件:如果A能推出B,那么A就是B的充分條件。其中A為B的子集,即屬于A(yíng)的一定屬于B,而屬于B的不一定屬于A(yíng),具體的說(shuō)若存在元素屬于B的不屬于A(yíng),則A為B的真子集;若屬于B的也屬于A(yíng),則A與B相等。
必要條件:必要條件是數學(xué)中的一種關(guān)系形式。如果沒(méi)有A,則必然沒(méi)有B;如果有A而未必有B,則A就是B的必要條件,記作B→A,讀作“B含于A(yíng)”。數學(xué)上簡(jiǎn)單來(lái)說(shuō)就是如果由結果B能推導出條件A,我們就說(shuō)A是B的必要條件。