下列命题中真命题的序号是           
①若，则方程有实数根；
②若，则或；
③“矩形的对角线相等”的逆命题；
④“若、，且，则、中至少有一个为”的否命题