我们把判断真假的陈述句叫做命题。如果A，B是两个命题，由A可以推导出B，且由B可以推导出A，那么A和B叫做等价命题。以命题A成立为首要条件。假如命题B不成立的话，比如说A-B >= C,那就是说，B+C <=A,这样的话，命题A就会不成立，所以说，命题B和命题A为等价命题。