假设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互为充要条件。
