命题：可以判断真假的语句叫做命题.

　　原命题为：a－－＞b

　　逆命题为：b－－＞a

　　否命题为：非a－－＞非b

　　逆否命题为：非b－－＞非a

　　互为逆否命题：如果两个命题中一个命题的条件和结论分别是另一个命题的结论和条件的否定,则这两个命题称互为逆否命题.