p推出q,q不能推出p,p是q的充分不必要条件,是不是q就是p的必要不充分条件