命题“二次方程都有实数解”的否定为               。