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