方程有两个不相等的实数根的否命题是什么