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