命题是指一个判断（陈述）的语义（实际表达的概念）,这个概念是可以被定义并观察的现象.命题不是指判断（陈述）本身,而是指所表达的语义.当相异判断（陈述）具有相同语义的时候,他们表达相同的命题.
一般的,在数学中我们把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题.