q是p的充分不必要条件,因为q包含于p,是p的子集.不是p包含q么？然后q不能推出p，p推出q。必要不充分，我是这样理解的从p可以推出q，反之则不然，也可以推出q是p的充分不必要条件啊。