将下列命题改写成“如果.那么.”的形式