一般的，在数学中把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。其中判断为真的语句叫做真命题，判断为假的语句叫做假命题。等值命题(equivalent propositions)，亦称等价命题或等效命题，是一类重要的命题，即真假值相同的两命题。