名称定义命题：可以判断真假的语句叫做命题。
原命题为：ａ－－＞ｂ
逆命题为：ｂ－－＞ａ
否命题为：非ａ－－＞非ｂ
逆否命题为：非ｂ－－＞非ａ

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

性质一个命题为原命题，则和它互为逆否命题的命题为原命题的逆否命题。
原命题和逆否命题为等价命题．如果原命题成立，逆否命题成立．逆命题和否命题为等价命题，如果逆命题成立，否命题成立．

逻辑学认为命题与逆否命题是等价的，也就是命题真，则逆否命题也真。命题同它的逆否命题等价是作为公理存在的，你即不能证明它正确也不能证明它错误。

举例原命题：吃多了-->肚子涨
逆命题：肚子涨-->吃多了
否命题：没吃多-->肚子不涨
逆否命题：肚子不涨-->没吃多
原命题是正确的．所以逆否成立．
但是逆命题和否命题不一定成立．肚子涨也许是水喝多了．