否定形式和原命题是对立的而否命题真假和原命题没直接关系命题的否定就是把谓词取否定（存在和任意互换）,然后把结论取否定比如例1的否定是存在一个不是实数的解（这里的存在不是谓词）例2是任意的x方程不成立限定...