逆命題

命題的定義：可以判斷正確或錯誤的句子叫做命題。其中判斷為真的語句叫做真命題，判斷為假的語句叫做假命題。

每一個命題都有逆命題，只要將原命題的題設改成結論，並將結論改成題設，便可得到原命題的逆命題。但是原命題正確，它的逆命題未必正確。例如真命題“對頂角相等”的逆命題為“相等的角是對頂角”，此命題就是假命題。

對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的結論和條件，那麼這兩個命題叫做互逆命題，其中一個命題叫做原命題，另外一個命題叫做原命題的逆命題。

把一個命題的條件和結論互換就得到它的逆命題，所以每個命題都有逆命題。

原命題：例如：同位角相等，兩直線平行

逆命題：例如：兩直線平行，同位角相等

原命題為真，它的逆命題不一定為真

如：原命題：若a=0，則ab=0 真

逆命題：若ab=0，則a=0 假

相互關係

四種命題的相互關係如下：

（1）原命題與逆命題互逆；

（2）否命題與原命題互否；

（3）原命題與逆否命題相互逆否；

（4）逆命題與否命題相互逆否；

（5）逆命題與逆否命題互否；

（6）逆否命題與否命題互逆。

真假關係

四種命題的真假關係如下：

（1）兩個命題互為逆否命題，它們有相同的真假性；

（2）兩個命題為互逆命題或互否命題，它們的真假性沒有關係(原命題與逆否命題同真同假，逆命題與否命題同真同假）

四中命題具有形式：設p為原命題條件，q為原命題結論則：

（1）原命題：若p則q ；

（2）逆命題：若 q則p ；

（3）否命題：若非p則非q；

（4）逆否命題：若非q則非p。