假設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互為充要條件。