反若则命题

inverse implication