真命题的否定一定是假命题。这是因为原命题和其否定命题之间存在逻辑上的对立关系。如果原命题是真命题，那么它的否定命题就是假命题。这是因为原命题的否定形式是“若p，则非q”，其中p是原命题的条件，非q是原命题的否定形式的结论。由于原命题是真命题，根据逻辑规则，它的否定形式的结论非q必然是假命题，因此原命题的否定命题一定是假命题。真命题就是正确的命题。如果命题的题设成立，那么结论一定成立。在数学中，用语言、符号或式子表达的，可以判断真假的陈述句叫做命题，其真值只能取两个值：真或假。真对应判断正确，假对应判断错误，任何命题的真值都是唯一的，称真值为真的命题为真命题。
