x∧2+2x-1>0是命题吗