否命题：若非p,则非q
另：
逆命题：若q,则p
逆否命题：若非q,则非p
逆命题与否命题等价,原命题与逆否命题等价