若满足P的元素构成集合A.满足q的元素构成集合B.若A属于,且不等于B.那么p是q的什么条件?

问题描述:

若满足P的元素构成集合A.满足q的元素构成集合B.若A属于,且不等于B.那么p是q的什么条件?
我觉得:p属于A,q属于B.那么q就可以推出P.则p是q的必要不充分条件.

错误!
应该是p是q的充分不必要条件.
当p成立时,元素肯定位于A中,由于A属于B,所以元素肯定也在B中,此时显然q也成立,故p成立可以推出q成立,而q成立不能推出p成立.所以p是q的充分不必要条件.