有命题p、q,如果p推出q,则p是q的充分条件,q是p的必要条件；
书本上这个定理：“有命题p、q,如果p推出q,则p是q的充分条件,q是p的必要条件”
这里不是应该要求从q也能推到p,才说q是p的必要条件吗?
那如果这样说的话什么是充分不必要条件？