1. (2016高二上·吉林期中) 下列命题中：①、若m＞0，则方程x²﹣x+m=0有实根． ②、若x＞1，y＞1，则x+y＞2的逆命题． ③、对任意的x∈{x|﹣2＜x＜4}，|x﹣2|＜3的否定形式． ④、△＞0是一元二次方程ax²+bx+c=0有一正根和一负根的充要条件．是真命题的有．