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

假命題：如果一個命題的題設成立時，不能保證結論一定成立，那么這樣的命題叫做假命題。

真命題：真命題就是正確的命題，即如果命題的題設成立，那么結論一定成立。