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