真命題是一種邏輯學術語。一般的，在數(shù)學中把用語言、符號或式子表達的，可以推斷真假的陳述句叫做命題。命題真值只能取兩個值：真或假。真對應推斷正確，假對應推斷錯誤。任何命題的真值都是唯一的，稱真值為真的命題為真命題。

命題的定義：一般的，在數(shù)學中把用語言、符號或式子表達的，可以推斷真假的陳述句叫做命題。其中推斷為真的語句叫做真命題，推斷為假的語句叫做假命題。

每一個命題都有逆命題，只要將原命題的題設改成結論，并將結論改成題設，便可得到原命題的逆命題。但是原命題正確，它的逆命題未必正確。例如真命題“對頂角相等”的逆命題為“相等的角是對頂角”，此命題就是假命題。命題通常寫成“如果......那么......”的形式 ?！叭绻焙竺娼宇}設，“那么”后面接結論。

互逆命題的定義：如果一個命題的條件與結論分別是另一個命題的結論與條件，那么這兩個命題稱為互逆命題。如把其中一個稱為原命題，那么另一個稱為它的逆命題。其中一個命題稱為另一個命題的逆命題。把一個命題的條件和結論互換就得到它的逆命題，所以每個命題都有逆命題。

逆否命題的定義：一個命題的條件和結論分別是另一個命題的條件的否定和結論的否定，把這樣的兩個命題叫做互否命題。如果把其中一個稱為原命題，那么另一個就叫做它的否命題。