一般的，在数学中把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。其中判断为真的语句叫做真命题，判断为假的语句叫做假命题。如果A，B是两个命题，两者可以互相证明，即由A可以推导出B，且由B可以推导出A，那么A和B叫做等价命题。等价命题之间具有相同的真假性。