含有一个量词的命题的否定思考1:指出下列命题的形式,写出下列命题的否定
这些命题和它们的否定在形式上有什么不同
(1)所有的矩形都是平行四边形;(3)每一个素数都是奇数;(3)xR∈,x2-2x+1≥0;(1)p:xR∈,x2+2x+2≤0;(2)p:有的三角形是等边三角形;(3)p:有些函数没有反函数;(4)p:存在一个四边形,它的对角线互相垂直且平分;(5)p:不是每一个人都会开车;(6)p:在实数范围内,有些一元二次方程无解;探究:写出命题的否定一般地,对于含有一个量词的全称命题的否定,有下面的结论:全称命题p:全称命题的否定是存在性命题
,(),xMPx它的否定p:xM,p(x)
一般地,对于含有一个量词的特称命题的否定,有下面的结论:xM,p(x)存在性命题:p它的否定:pxM,p(x)存在性命题的否定是全称命题
关键量词的否定关键量词的否定词语词语是是一定是一定是都是都是大于大于小于小于且且词语的词语的否定否定不是不是一定不是一定不是不都是不都是小于或等于小于或等于大于或等大于或等于于或或词语词语必有一个必有一个至少有至少有nn个个至多有一至多有一个个所有所有xx成立成立所有所有xx不不成立成立词语的词语的否定否定一个也没一个也没有有至多有至多有n-n-11个个至少有两至少有两个个存在一个存在一个xx不成立不成立存在有一存在有一个成立个成立例例11写出下列全称命题的否定:写出下列全称命题的否定:((11))pp:所有人都晨练;:所有人都晨练;((22))pp::xxRR,,xx22++x+1>0x+1>0;;((33))pp:平行四边形的对边相等;:平行四边形的对边相等;((44))pp::xxR∈R∈,,xx22--xx+1+1==00;;例例22写出下列命题的否定写出下列命题的否定((11)所有自然数的平方是