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