p是q的充分不必要条件,含义就是p条件足够推出q结论,同时q条件是不能推得p结论的。

从集合的观点看:若p对应集合A,q对应集合B,那么就是A是B的真子集(排除子集中,A=B这种情况)。若A是B的充分条件,则说明A可以推出B,因此若x满足A,则必定可以推出x满足B,所以说A含于B

若A是B的充分不必要条件,由于是充分条件,因此由上行的解释