必要條件。必要條件是數學中的一種關系形式。如果沒有A,則必然沒有B;如果有A而未必有B,則A就是B的必要條件,記作B→A,讀作“B含于A”。數學上簡單來說就是如果由結果B能推導出條件A,我們就說A是B的必要條件。
假設A是條件,B是結論(1)由A可以推出B,由B可以推出A,則A是B的充要條件(A=B)(2)由A可以推出B,由B不可以推出A,則A是B的充分不必要條件(AB)(3)由A不可以推出B,由B可以推出A,則A是B的必要不充分條件(BA)(4)由A不可以推出B,由B不可以推出A,則A是B的既不充分也不必要條件(A¢B且B¢A)有命題p、q,如果p推出q,則p是q的充分條件,q是p的必要條件;如果p推出q且q推出p,則p是q的充分必要條件,簡稱充要條件。例如:x=y推出x^2=y^2,則x=y是x^2=y^2的充分條件,x^2=y^2是x=y的必要條件(x為負數,y為正數時,不能推出x=y)。(x^2表示x的平方)a、b一正一負推出ab<0,ab<0推出a、b一正一負,則a、b一正一負和ab<0互為充要條件。