一般的，在数学中，我们把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题（proposition).其中判断为真的语句叫做真命题（true proposition），判断为假的语句叫做假命题（false proposition).