由于若q则p与若非p是非q是互为逆否命题,同真或同假,
所以q是p必要不充分条件.