1.4.3含有一个量词的命题的否定 (3)_第1页
1.4.3含有一个量词的命题的否定 (3)_第2页
1.4.3含有一个量词的命题的否定 (3)_第3页
1.4.3含有一个量词的命题的否定 (3)_第4页
1.4.3含有一个量词的命题的否定 (3)_第5页
已阅读5页,还剩11页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、第一章 常用逻辑用语,1.4.3 含有一个量词的命题的否定,(1) 并非所有的人都喝水。,也即:有的人不喝水。,(1) 所有的人都喝水。,(2) 对所有实数,,都有,例1、写出下列命题的否定:,否定:有的人不喝水。,(1) 所有的人都喝水。,全称命题p,它的否定p,结论,原命题与否定有什么不同,练习1、写出下列全称命题的否定: (1) 所有可以被5整除的整数, 末位数都是0; (2) 对数函数都是单调函数。,(1) 有些可以被5整除的整数, 末位数不是0。,(2) 有些对数函数不是单调函数。,(1) 没有一个平行四边形是矩形。,也即:所有的平行四边形都不是矩形。,(1) 某些平行四边形是矩形。

2、,(2)有些四边形的四个顶点共圆。,例2、写出下列命题的否定:,(2) 没有一个 四边形的四个顶点共圆。,也即:所有的四边形的四个顶点都不共圆。,否定:所有的平行四边形都不是矩形。,(1) 某些平行四边形是矩形。,(2)有些四边形的四个顶点共圆。,否定:所有的四边形的四个顶点都不共圆。,特称命题p,它的否定p,结论,区别 在哪,练习2、写出下列特称命题的否定:,(1)有些三角形是直角三角形: (2)有的梯形是等腰梯形;,(1)所有的三角形不是直角三角形。,(2)一切梯形都不是等腰梯形。,练习3、写出下列特称命题的否定: (1)存在一个四边形,它的对角线互相 垂直且平分; (2)有的菱形是正方形

3、。,(1)对所有的四边形,它的对角线都不 互相垂直且平分。,(2)所有的菱形都不是正方形。,特称命题p:,它的否定p:,全称命题的否定:全称量词变存在量词, 肯定变否定。 特称命题的否定:存在量词变全称量词, 肯定变否定。,全称命题p:,它的否定p:,一般结论,例3、写出下列命题的否定,并判断真假; (1)一切分数都是有理数; (2)有些三角形是锐角三角形; (3),否定:存在一个分数不是有理数。,假,否定:所有的三角形不是锐角三角形。,假,真,练习4、写出下列命题的否定形式。 三角形的两边之和大于第三边。 直角相等。 ABC的内角中必有一个锐角。,有些三角形的两边之和小于或等于第三边。,有些直角不相等。,ABC的所有内角都不是锐角。,命题的否定形式有:,补充:,练习5、写出下命题的否定及否命题; 并判断真假。,否定:,否命题:,解:假设三个方程均无实数根,则,即:,解得:,所以,三个

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论