真命題是一種邏輯學(xué)術(shù)語(yǔ)。一般的，在數(shù)學(xué)中把用語(yǔ)言、符號(hào)或式子表達(dá)的，可以推斷真假的陳述句叫做命題。命題真值只能取兩個(gè)值：真或假。真對(duì)應(yīng)推斷正確，假對(duì)應(yīng)推斷錯(cuò)誤。任何命題的真值都是唯一的，稱真值為真的命題為真命題。

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

每一個(gè)命題都有逆命題，只要將原命題的題設(shè)改成結(jié)論，并將結(jié)論改成題設(shè)，便可得到原命題的逆命題。但是原命題正確，它的逆命題未必正確。例如真命題“對(duì)頂角相等”的逆命題為“相等的角是對(duì)頂角”，此命題就是假命題。命題通常寫成“如果......那么......”的形式 。“如果”后面接題設(shè)，“那么”后面接結(jié)論。

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

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