指出下列命题是真命题,还是假命题,并将该命题改写成“如果.那么.”的形