真命题（true statement）是一种逻辑学术语。一般的，在数学中把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。命题真值只能取两个值：真或假。真对应判断正确，假对应判断错误。任何命题的真值都是唯一的，称真值为真的命题为真命题。真值为假的命题为假命题。

假命题：如果一个命题的题设成立时，不能保证结论一定成立，那么这样的命题叫做假命题。

真命题：真命题就是正确的命题，即如果命题的题设成立，那么结论一定成立。