什么是真命題

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

命題

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

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

互逆命題

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

逆否命題

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