将此命题改写成“{如果]……{那么}……