命题改写成如果····那么····的形式