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