命题：若p,则q
否命题是对条件和结论都否定：若非p,则非q
命题的否定是只对结论的否定：若p,则非q
互否命题指的是互为否命题的两个命题