充要条件就是充要条件，意思是如果命题Q可以由命题P推出，命题P也可以由命题Q推出，那么P就说是Q的充要条件，Q也是P的充要条件，有情况A就一定有情况B；有情况B就一定有情况A，那么B就是A的充要条件，反之亦然。
有命题P和Q，如果P演绎Q，Q演绎P，那么P就是Q的充要条件，简称充要条件。
P是Q的充分条件，Q是P的必要条件，此时P是Q的子集。
例如：a、b一正一负推出ab
