条件P: x2的否定命题