含有一个量词的否定

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

想一想?
写出下列命题的否定 1)有些实数的绝对值是正数;
2)某些平行四边形是菱形; 3)x R, x2 1 p 0
否定: 1)所有实数的绝对值都不是正数; 2)每一个平行四边形都不是菱形;
3) x R, x2 1 0
x M,p(x)
x M,p(x)
x M,p(x)
x M,p(x)
x M,p(x) x M,p(x)
x M,p(x)
x M,p(x)
这些命题和它们的否定在形式上有什么变化?
从形式看,全称命题的否定是特称命题。
含有一个量词的全称命题的否定,有下面的结论
全称命题 p :x M,p(x) 它的否定 p : x M,p(x)
例1写出下列全称命题的否定: 1)p:所有能被3整除的整数都是奇数; 2)p:每一个四边形的四个顶点公圆; 3)p:对任意x Z,x2的个位数字不等于3。
这些命题和它们的否定在形式上有什么变化?
从形式看,特称命题的否定都变成了 全称命题.
含有一个量词的特称命题的否定,有下面的 结论
特称命题 p : x M,p(x)
它的否定 p : x M,p(x)
例1 写出下列特称命题的否定: 1)p:x R,x2+2x+3 0; 2)p:有的三角形是等边三角形; 3)p:有一个素数含有三个正因子。
1.4.3 含有一个量词的命题的否定
想一想?
写出下列命题的否定
1)所有的矩形都是平行四边形;x M,p(x) 2)每一个素数都是奇数; x M,p(x)
3)x R, x2 2x 1 0
x M,p(x)
否定:
1)存在一个矩形不是平行四边形;x M,p(x)
2)存在一个素数不是奇数;
3)x R, x2 2x 1 0
ቤተ መጻሕፍቲ ባይዱ
例2写出下列命题的否定,并判断真假:
1)p:任意两个等边三角形都是相似的; 2)p:x R,x2+2x+2=0;
相关文档
最新文档