必要不充分条件
若p是q的充分不必要条件
则 p=>q (q推不出p)
即p的范围小，q的范围大，且p在q里
所以 非q的范围小，非p的范围大，且非q在非p里
所以 非p是非q的必要不充分条件
若p是q的充分不必要条件 表示p能推出q，q不能推出p，
也就是 若p则q 是真命题，若q则p 是假命题
所以逆否命题 若非q则非p 是真命题，若非p则非q 是假命题
扩展资料
必要不充分条件推论
假设A是条件，B是结论
（1）由A可以推出B，由B可以推出A，则A是B的充要条件(A=B)
（2）由A可以推出B，由B不可以推出A，则A是B的充分不必要条件(A⊆≠B)
（3）由A不可以推出B，由B可以推出A，则A是B的必要不充分条件(B⊆≠A)
（4）由A不可以推出B，由B不可以推出A，则A是B的既不充分也不必要条件(A⊆≠B且B⊆≠A)
参考资料来源：百度百科-必要不充分条件