有命题p、q,如果p推出q,则p是q的充分条件,q是p的必要条件;