“p是q的充分不必要条件”等价于“非p是非q的必要但不充分条件”p是q的充分不必要条件，就是p成立则q成立，且q成立p不一定成立。p成立则q成立，那么非q成立，则非p成立，所以非p是非q的必要条件。q成立p不一定成立，那么非p成立，则非q不一定成立，所以非p是非q的不充分条件。所以“非p是非q的必要但不充分条件”
