全称命题p是,对于任意属于集合M的x,p（x）成立.
否命题非p则是,存在x0属于集合M,使得p（x0）不成立.
不要机械的去理解命题的否定,在对数学符号表达不是很清楚的时候,可以转化为语言的形式理解.