等价定义：设有两个命题p和q，如果由p作为条件能使得结论q成立，则称p是q的充分条件。若由q能使p成立则称p是q的必要条件。如果p与q能互推（即无论是由q推出p还是p推出q都成立），则称p是q的充分必要条件，简称充要条件，也称p与q等价。