将下列命题改写成“如果...那么”...的形式,并判断真假.