真命題的否定一定是假命題。這是因?yàn)樵}和其否定命題之間存在邏輯上的對(duì)立關(guān)系。如果原命題是真命題，那么它的否定命題就是假命題。這是因?yàn)樵}的否定形式是“若p，則非q”，其中p是原命題的條件，非q是原命題的否定形式的結(jié)論。由于原命題是真命題，根據(jù)邏輯規(guī)則，它的否定形式的結(jié)論非q必然是假命題，因此原命題的否定命題一定是假命題。真命題就是正確的命題。如果命題的題設(shè)成立，那么結(jié)論一定成立。在數(shù)學(xué)中，用語言、符號(hào)或式子表達(dá)的，可以判斷真假的陳述句叫做命題，其真值只能取兩個(gè)值：真或假。真對(duì)應(yīng)判斷正確，假對(duì)應(yīng)判斷錯(cuò)誤，任何命題的真值都是唯一的，稱真值為真的命題為真命題。