命题的定义是

在现代哲学、数学、逻辑学、语言学中，命题是指一个判断或陈述的语义实际表达的概念，这个概念是可以被定义并观察的现象。命题不是指判断或陈述本身，而是指所表达的语义。当相异判断或陈述具有相同语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。