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