充分必要条件也即充要条件，意思是说，如果能从命题p推出命题q，而且也能从命题q推出命题p，则称p是q的充分必要条件，且q也是p的充分必要条件。如果有事物情况A，则必然有事物情况B；如果有事物情况B，则必然有事物情况A，那么B就是A的充分必要条件(简称：充要条件)，反之亦然。

有命题p、q，如果p推出q且q推出p，则p是q的充分必要条件，简称充要条件。

p推出q，p是q的充分条件，同时q是p的必要条件，此时p是q的子集。

例如：a、b一正一负推出ab