“二次函数都有实数解”的否命题是什么