怎么把命题改写成“如果 那么”的形式?