命题“全部x的平方大于1,x大于1”的否定是什么?