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