已知命题任意x={x|-1≤x≤1}都有x^2-x-m