命题的定义是指 一个判断句的语义，即所表达的概念，可以被定义并观察的现象。命题不是指判断句本身，而是指所表达的语义。当相异的判断句具有相同的语义时，它们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。命题的语义是实际表达的概念，这个概念是可以被定义并观察的现象。命题真值只能取两个值：真或假。真对应判断正确，假对应判断错误。任何命题的真值都是唯一的，称真值为真的命题为真命题。