资源描述
,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,*,*,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,*,*,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,*,*,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,*,*,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,*,*,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,*,*,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,*,*,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,*,*,1.3,全称量词与存在量词,1,高二（,1,）班所有的同学今天第,3,节课,都在上数学课；,每一个例题都会做；,有一个同学没有来；,有一些例题不会做。,2,几个类似的命题,高二（,1,）所有的同学今天第,3,节课都在上数学课；,每一个例题都会做；,数：所有的有理数都是实数。,式：对任意的实数,图形：每个矩形都是平行四边形,3,问题（,1,）上述命题中的量词有何特点？,（,2,）它们可以用同一种形式表示吗？,短语：“所有的”，“每一个”，“任意的”,等表示全体的量词在逻辑中称为,全称量词,.,通常用符号“,x,”表示“对任意,x,”,.,含有全称量词的命题称为,全称命题,.,4,全称命题的符号表示,通常，将含有变量,x,的语句用,p(x),q(x),r(x),表示，变量,x,的取值范围用,M,表示，那么，,全称命题“对,M,中任意一个,x,，有,p(x),成立”符号简记为：,读作“对任意,x,属于,M,，有,p(x),成立”。,5,列举一些全称命题并判断真假,（,1,）,（,2,）,（,3,）,所有三角形的内角和都是,180,6,全称命题判断真假方法小结：,需要对集合,M,中每个元素,x,，证明,p(x),成立,只需在集合,M,中找到一个元素,x,0,，,使得,p(x,0,),不成立即可（举反例）,7,对照全称命题再来看看下列命题：,有一个同学没有来；,有一些例题不会做。,（,1,）存在一个有理数,n,使得,2n+1,是奇数,;,（,2,）至少有一个实数,x,使得,|x+1|0,；,（,3,）有些无理数的平方是无理数。,8,短语：“有一个”，“有一些”，“存在一个”,等表示部分的量词在逻辑中称为,存在量词,.,通常用符号“,x,”表示“存在,x,”,.,含有存在量词的命题称为,存在性命题,.,类比归纳：,9,存在性命题的符号表示,通常，将含有变量,x,的语句用,p(x),q(x),r(x),表示，变量,x,的取值范围用,M,表示，那么，,存在性命题“存在,M,中的一个,x,0,，使,p(x,0,),成立”符号简记为：,读作“存在一个,x,0,属于,M,，使,p(x,0,),成立”。,10,举例并判断真假,（,）,（,）,（,）,11,存在性命题判断真假方法小结：,判断存在性命题 是真命题的方法：,只需在集合,M,中找到一个元素,x,0,，,使得,p(x,0,),成立即可（举例证明）,判断存在性命题 是假命题的方法：,需要证明集合,M,中，,使,p(x),成立的元素,x,不存在。,12,下列命题是全称命题还是存在性命题？真假？,（,1,）所有的素数都是奇数；,（,2,）存在一些整数既能被,2,又能被,3,整除；,（,3,）每个平面四边形的内角和都是,360,；,（,4,）有的三角形的三个内角都是锐角；,13,（,5,）所有的指数函数都是单调函数；,（,6,）任何实数都有算术平方根；,（,7,）所有的无理数，它的平方还是无理数；,（,8,）,14,小结：,（,1,）全称量词，全称命题,（,2,）全称命题的符号表示,（,3,）全称命题真假的判断方法,（,4,）存在量词，存在性命题,（,5,）存在性命题的符号表示,（,6,）存在性命题真假的判断方法,15,思考几个问题？,（）命题；命题的否定,（）,（）,16,
展开阅读全文