写出命题“a,b,c是实数,如果ac