将下列的命题写成“如果~,那么~”的形式,指出题设和结论,并判断命题的真假