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