3．推理、判断

你能发现这些命题和它们的否定在形式上有什么变化？（让学生自己表述）

前三个命题都是全称命题，即具有形式""。

其中命题（1）的否定是"并非所有的矩形都是平行四边形"，也就是说，

存在一个矩形不都是平行四边形；

命题（2）的否定是"并非每一个素数都是奇数；"，也就是说，

存在一个素数不是奇数；

命题（3）的否定是"并非x∈R, x2－2x＋1≥0"，也就是说，

x∈R, x2－2x＋1＜0；

后三个命题都是特称命题，即具有形式""。

其中命题（4）的否定是"不存在一个实数，它的绝对值是正数"，也就是说，

所有实数的绝对值都不是正数；

命题（5）的否定是"没有一个平行四边形是菱形"，也就是说，

每一个平行四边形都不是菱形；

命题（6）的否定是"不存在x∈R, x2＋1＜0"，也就是说，

x∈R, x2＋1≥0；

4．全称命题、特称命题的否定

　　从命题的形式上看，前三个全称命题的否定都变成了特称命题。后三个特称命题的否定都变成了全称命题。

　　一般地，对于含有一个量词的全称命题的否定，有下面的结论：

　　全称命题P：

　　它的否定￢P

特称命题P：

它的否定￢P：