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