①若，则方程有实根；
②“若，则”的否命题；
③“矩形的对角线相等”的逆命题；
④“若，则、至少有一个为零”的逆否命题 .
以上命题中的真命题有_______________。