p是q的充分条件，是p成立就可以推出q，q是p的必要条件就是p可以推出q。总的来说，充分就是前可以推后，必要是后可以推前。由p推不出来q，但是由q可以推出来p，所以p是q的必要不充分条件。

p是q的充分条件，p→q，即p成立，q肯定成立，则逆否命题必然成立，┐q→┐p，即q不成立，则p肯定不成立，所以q是p的必要条件。p是q的充分条件，表示p推得出q，但是q是否推得出p是未知，p是q的充分不必要条件，表示p推得出q，但是q推不出p。