已知命题p:特定x∈R,x^2+x-1