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