真命题(true statement)是一种逻辑学术语。一般的,在数学中把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。命题真值只能取两个值:真或假。真对应判断正确,假对应判断错误。任何命题的真值都是唯一的,称真值为真的命题为真命题。真值为假的命题为假命题。
真命题的定义是:正确的命题是真命题。如两直线平行,内错角相等。对顶角相等。等角对等边等都是真命题。错误的命题是假命题。如:相等的角是对顶角,一个数的绝对值是正数等都是假命题。
判断一个命题是真命题需要证明,判断一个命题是假命题只要举一反例即可。