资源描述
单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,全称量词与存在量词,第1页,全称量词,第2页,思索?,以下语句是命题吗?(1)与(3)之间,(2)(4)之间有什么关系?,(1);,(2)2x+1是整数;,(3)对全部,(4)对任意一个 2x+1是整数.,第3页,短语”对全部”对任意一个”在逻辑中通常叫做,全称量词,并用符号“”表示.含有全称量词命题,叫做全称命题,常见全称量词还有:,“对全部”,”对任意一个”,”对一切”,”对每一个”,”任给”,”全部”等.,短语”对全部”对任意一个”在逻辑中通常叫做,全称量词,并用符号“”表示.含有全称量词命题,叫做,全称命题,.,第4页,第5页,符号,全称命题”对M中任意一个x有p(x)成立”可用符号简记为,读作”对任意x属于M,有p(x)成立”.,第6页,例1判断以下全称命题真假:,(1)全部素数是奇数;,(2),(3)对每一个无理数x,也是无理数.,第7页,1.4.2 存在量词,第8页,思索?,以下语句是命题吗?(1)与(3),(2)与(4)之间有什么关系?,(1)2x+1=3;,(2)X能被2和3整除;,(3)存在一个x R,使2x+1=3;,(4)最少有一个xZ,x能被2和3整除.,第9页,短语”存在一个”最少有一个”在逻辑上通常叫做,存在量词,并用符号”表示.含有存在量词命题,叫做,特称命题,.,常见存在量词还有”有些”有一个”有”对某个”等.,第10页,比如,命题:,有平行四边形是菱形;,有一个素数不是奇数;,有向量方向不定;,存在一个函数,既是偶函数又是奇函数;,有一些实数不能取对数.,第11页,特称命题”存在M中一个x,使p(x)成,立”可用符号简记为,读做”存在一个x,使p(x)成立”.,第12页,例2 判断以下特称命题真假,有一个实数x,使,存在两个相交平面垂直于同一条直线;,有些整数只有两个正因数.,练习,P,26,第13页,1.4.3 含有一个量词 命题否定,第14页,探究,第15页,从命题形式上看,这三个全称命题否定都变成了特称命题.,普通地,对于含有一个量词全称命题否定,有下面结论:,全称命题p:,全称命题否定是特称命题.,第16页,例3 写出以下全称命题否定:,(1)p:全部能被3整除整数都是奇数;,(2)p:每一个四边形四个顶点共圆;,(3)p:对任意,个位数字不等于3.,第17页,探究,否定:,1)全部实数绝对值都不是正数;,2)每一个平行四边形都不是菱形;,3),第18页,从命题形式上看,这三个特称命题否定都变成了全称命题.,普通地,对于含有一个量词特称命题否定,有下面结论:,特称命题,它否定,从命题形式上看,这三个特称命题否定都变成了全称命题.,普通地,对于含有一个量词特称命题否定,有下面结论:,特称命题,特称命题否定是全称命题,.,第19页,例4 写出以下特称命题否定,(1),(2)有三角形是等边三角形;,(3)有一个素数含三个正因数.,第20页,练习,P,28,第21页,
展开阅读全文