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

下载本文档

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

文档简介

1.4.3包含一个测量词的命题的否定,1.4全名测量词和存在测量词,引入1:经过上一课的学习,考虑命题和命题的否定的区别吧否定命题:以否定条件也否定结论的方式构成新的命题.命题的否定3360是逻辑连接词非作用于判断, 只否定不否定结论的条件.例如,命题一个数的最下位可以被0整除否定命题:若一个数的最下位不为0,则不能被5整除.命题的否定3360个数的最下位为0,则不能被5整除. 引入2:判断下一个命题是全名命题还是特称命题,可以写下一个命题的否定吗?(1)所有矩形都是平行四边形(2)各个素数是奇数(3)xR,x2-2x 10; (4)一些实数的绝对值为正(5)一些平行四边形为菱形(6)x0R,x02 10.前三个命题都具有全名命题,即“xm,p(x )”的形式的后三个命题都是特称命题,即“x 0m,p(x0)”的形式这些命题的否定是怎样的呢?这就是我们在这堂课上学到的内容。目标,下一个命题的否定:否定:并非所有的矩形都是平行四边形。否定:并非所有的素数都是奇数。否定:并非任意的实数x成立不等式。 全名命题否定:即,一个矩形不是平行四边形,(1)所有矩形都是平行四边形,(2)各个素数是奇数,即,一个素数不是奇数,存在全名命题p: 全称命题的否定是特称命题,例1写下了以下全称命题的否定。 (2)p :一个四边形四个顶点为正圆,(3)p :的比特数不等于3,(1)被p:3除的整数全部为奇数,p :存在四边形,该四个顶点不共享圆,p :的比特数被3.p:3除的整数不是奇数,存在典型的表现, 1 .写下一个全名命题的否定: (2)任意的素数为奇数的(3)各指数函数是单调函数;(1)存在素数,而不是奇数的.存在指数函数,而不是单调函数的.写下一个命题的否定:绝对值为正的实数不存在; 否定:平行四边形为菱形; 否定:不存在实数x时不等式成立; 特称命题的否定; (1)实数绝对值为正; (2)一部分平行四边形是菱形,也就是说,任何平行四边形都不是菱形。 也就是说,所有实数的绝对值都不是正数。,其否定p:特称命题p:特称命题的否定写全名命题,例2 .下面的特称命题的否定:(2)p:1个素数中包含3个正系数(3)p : (1)p :有正三角形,p :每个素数不包含3个正系数,p :所有三角形不是等边三角形,所有梯形不是等边梯形,所有实数的绝对值都是正的,2 .写下以下特称命题的否定: (2)一些梯形是等边梯形,(3)实数存在,其绝对值(1)三角形中有直角三角形,所有三角形不是直角三角形,而是某命题的否定形式(总结):例3 .已知命题p(x):sinx cosxm,q(x):x2 mx 10 .如果xr,p(x )是假命题,q(x )是真命题,求出实数m的可取范围搜索提示:1 .特称命题是假命题,其否定是真命题.2.如果包含一个量词的命题是假命题,则其被利用,与该否定命题的真伪相反,即将其否定转换为真命题来解决由于sinx cosxm是一个假命题,p(x):x0R sinx0 cosx0m是

温馨提示

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

评论

0/150

提交评论