有两个条件p、q
若由p可以推出q,那么就说p是q的充分条件
若由q可以推出p,那么就说p是q的必要条件