1．命题的否定
(1)一般地，对命题p加以否定，就得到一个新的命题，记作“p ”，读作“非p”或“p的否定”．
(2)如果一个命题是真命题，那么这个命题的否定就应该是假命题；反之亦然．
常见的命题的否定形式有：
|
原语句
|
是
|
都是
|
>
|
至少有一个
|
至多有一个
|
|
否定形式
|
不是
|
不都是
|
≤
|
一个也没有
|
至少有两个
|
2.含有一个量词的命题的否定
一般地，对于含有一个量词的命题的否定，有下面的结论；
全称量词命题p：∀x∈M，p(x)，它的否定p：∃x∈M，p(x)；
存在量词命题p：∃x∈M，p(x)，它的否定p：∀x∈M，p(x)．
全称量词命题的否定是存在量词命题，存在量词命题的否定是全称量词命题．
1．有以下命题：①没有男生爱踢足球；②所有男生都不爱踢足球；③至少有一个男生不爱踢足球；④所有女生都爱踢足球．其中是命题“所有男生都爱踢足球”的否定的是( )
A．① B．② C．③ D．④
C [所有男生都爱踢足球的否定为“不是所有男生都爱踢足球”，即“至少有一个男生不爱踢足球”．]
2．命题“∀x∈R，∃n∈N*，使得n≥x2”的否定形式是( )
