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

假命題：如果一個(gè)命題的題設(shè)成立時(shí)，不能保證結(jié)論一定成立，那么這樣的命題叫做假命題。

真命題：真命題就是正確的命題，即如果命題的題設(shè)成立，那么結(jié)論一定成立。