命题"x=-4是方程x^2+3x-4=0的根"的否命题是?