命题x^+1大于0的否定是什么?