a是b的前提是a推b还是b推a