《4全称量词与存在量词.pptx》由会员分享,可在线阅读,更多相关《4全称量词与存在量词.pptx(12页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、想一想?短语短语“所有的所有的”“”“任意一个任意一个”在逻辑中通常叫做在逻辑中通常叫做全称量词全称量词用符号用符号“”表示。表示。含有全称量词的命题,叫做含有全称量词的命题,叫做全称命题。全称命题。下列语句是命题吗下列语句是命题吗?与与、与与之间有何关系?之间有何关系?x3;2x+1是整数;是整数;对所有的对所有的xR,x3;对任意的对任意的xZ,2x+1是整数。是整数。常见的全称量词还有常见的全称量词还有“一一切切”“每一个每一个”“任给任给”等等.第1页/共12页1 1 判断下列全称命题的真假:判断下列全称命题的真假:1 1)所有的素数都是奇数;)所有的素数都是奇数;第2页/共12页想一
2、想?短语“存在一个”“至少一个”在逻辑中通常叫做存在量词用符号“”表示。含有存在量词的命题,叫做特称命题。常见的存在量词还有常见的存在量词还有“有些有些”“有一个有一个”“对某个对某个”“有的有的”等等.第3页/共12页2 22 2 判断下列特称命题的真假:判断下列特称命题的真假:1 1)有一个实数)有一个实数x x,使,使x+2x+3=0 x+2x+3=0成立;成立;第4页/共12页探究:含有一个量词的 命题如何否定?第5页/共12页想一想?第6页/共12页含有一个量词的全称命题的否定,有下面的结论:全称命题它的否定从形式看,全称命题的否定是特称命题。3 3 写出下列全称命题的否定:写出下列全称命题的否定:1 1)p:p:所有能被所有能被3 3整除的整数都是奇数;整除的整数都是奇数;第7页/共12页想一想?否定:1)所有实数的绝对值都不是正数;2)每一个平行四边形都不是菱形;3)第8页/共12页 含有一个量词的特称命题的否定,有下面的结论特称命题它的否定 从形式看,特称命题的否定都变成了全称命题.第9页/共12页写称题4 4第10页/共12页5 5 写出下列命题的否定,并判断真假:写出下列命题的否定,并判断真假:1 1)p:p:任意两个等边三角形都是相似的;任意两个等边三角形都是相似的;第11页/共12页谢谢您的观看!第12页/共12页