假設(shè)A是條件,B是結(jié)論(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的充分必要條件,簡(jiǎn)稱充要條件。例如:x=y推出x^2=y^2,則x=y是x^2=y^2的充分條件,x^2=y^2是x=y的必要條件(x為負(fù)數(shù),y為正數(shù)時(shí),不能推出x=y)。(x^2表示x的平方)a、b一正一負(fù)推出ab<0,ab<0推出a、b一正一負(fù),則a、b一正一負(fù)和ab<0互為充要條件。