命题是指一个判断（陈述）的语义（实际表达的概念），这个概念是可以被定义并观察的现象。
真命题一种逻辑学术语。在数学中把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。命题真值只能取两个值：真或假。真对应判断正确，假对应判断错误。任何命题的真值都是唯一的，称真值为真的命题为真命题。
每一个命题都有逆命题，只要将原命题的题设改成结论，并将结论改成题设，便可得到原命题的逆命题。但是原命题正确，它的逆命题未必正确。
例如真命题“对顶角相等”的逆命题为“相等的角是对顶角”，此命题就是假命题。命题通常写成“如果．．．．．．那么．．．．．．”的形式 。“如果”后面接题设，“那么”后面接结论。
