若命题(x²+ax+1