一般的，在數學中把用語言、符號或式子表達的，可以判斷真假的陳述句叫做命題。對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的結論和條件，那麼這兩個命題叫做互逆命題，其中一個命題叫做原命題，另外一個命題叫做原命題的逆命題。命題命題的定義：可以判斷正確或錯誤的句子叫做命題。其中判斷為真的語句叫做真命題，判斷為假的語句叫做假命題。每一個命題都有逆命題，只要將原命題的題設改成結論，並將結論改成題設，便可得到原命題的逆命題。但是原命題正確，它的逆命題未必正確。例如真命題“對頂角相等”的逆命題為“相等的角是對頂角”，此命題就是假命題。互逆命題互逆命題的定義：如果一個命題的條件與結論分別是另一個命題的結論與條件，那麼這兩個命題稱為互逆命題。如把其中一個稱為原命題，那麼另一個稱為它的逆命題。逆否命題一個命題的條件和結論分別是另一個命題的結論的否定和條件的否定，這樣的兩個命題叫做互為逆否命題；如果把其中一個命題叫做原命題，另一個就叫做原命題的逆否命題。互逆命題兩個命題中，如果第一個命題的條件是第二個命題的結論，而第一個命題的結論又是第二個命題的條件，那麼這兩個命題叫做互逆命題。其中一個命題稱為另一個命題的逆命題。把一個命題的條件和結論互換就得到它的逆命題，所以每個命題都有逆命題。擴充套件資料逆命題具有性質：原命題為真，它的逆命題不一定為真。例如：原命題：若a=0，則ab=0，這是一個真命題；逆命題：若ab=0，則a=0，這是一個假命題。相互關係四種命題的相互關係如下：（1）原命題與逆命題互逆；（2）否命題與原命題互否；（3）原命題與逆否命題相互逆否；（4）逆命題與否命題相互逆否；（5）逆命題與逆否命題互否；（6）逆否命題與否命題互逆。