含量词命题的否定

　　数学命题中出现“全部”、“所有”、“一切”、“任何”、“任意”、“每一个”等与“存在着”、“有”、“有些”、“某个”、“至少有一个”等的词语，在逻辑中分别称为全称量词与存在性量词(用符号分别记为“ ”与“ ”来表示);由这样的量词构成的命题分别称为全称命题与存在性命题。

　　因含有全称量词的命题的否定,有其特殊性.如：所有(的矩形都是平行四边形),其否定是：存在(一个矩形,这个矩形不是平行四边形).再转化一下,就是：并非所有的矩形都是平行四边形.

　　即须遵循下面法则：否定全称得存在，否定存在得全称，否定肯定得否定，否定否定得肯定.