全称量词和存在量词的否定

1、对于含有一个量词的全称命题p："任意的"x∈M，p(x)的否定┐p是："存在"x∈M，┐p(x)；2、对于含有一个量词的特称命题p："存在一个"x∈M，p(x)的否定┐p是："所有的"x∈M，┐p(x)。

在对全称命题否定时，要特别注意有的命题省去了全称量词，如实数的绝对值是正数。如将写成“实数的绝对值不是正数”就错了，正确的否定为：“一个实数的绝对值不是正数。”