命题"任意x∈[1,2],x^2-a=