已知：二次函数y=ax²+bx+6（a≠0）的图象与x轴交于A，B两点（点A在点B的左侧，与y轴交于点C，点A、点B的横坐标是一元二次方程x²﹣4x﹣12=0的两个根．

 “爆竹声中一岁除，春风送暖入屠苏。千门万户曈曈日，总把新桃换旧符。” ——王安石
                                  

下列命题中：
①命题$p:$“$\exists x\in R$，使得$x^2-1<0$”,则$\neg p$是真命题.
②“若$x+y=0$，则$x$，$y$互为相反数”的逆命题为假命题.
③命题$p:$“$\forall x\in R,x^2-2x+3>0$”,则$\neg p$:“$\exists x\in R,x^2-2x+3>0$”.
④命题“若$\neg p$则$q$”的逆否命题是“若$p$，则$\neg q$”.
其中正确命题的个数是(     )