如果p是q的充分非必要条件，画集合图，为什么p是q的真子集？

从字面上理解，p是充分条件，也就是说有了p就足够了（可以推q）；

p是非必要条件，也就是非p也可以推q；

综上，我总觉得应该是q属于p。

告诉我为什么错，上述推理中哪错了。

p是非必要条件，也就是非p也可以推q，这里错了。

p是非必要条件，说的是q不能推p。

换句话说，Q中有的元素P中没有，但是P中的元素Q中都有。