(精品)1.4全称量词与存在量词.ppt
全称量词与存在量词全称量词与存在量词全称量词与存在量词全称量词与存在量词想一想?想一想?短语短语“所有的所有的”“”“任意一个任意一个”在逻辑中通常叫做在逻辑中通常叫做全称量词全称量词用符号用符号“”表示。表示。含有全称量词的命题,叫做含有全称量词的命题,叫做全称命题。全称命题。下列语句是命题吗下列语句是命题吗?与与、与与之间有何关系?之间有何关系?x3;2x+1是整数;是整数;对所有的对所有的xR,x3;对任意的对任意的xZ,2x+1是整数。是整数。常见的全称量词还有常见的全称量词还有“一一切切”“每一个每一个”“任给任给”等等.1 1 判断下列全称命题的真假:判断下列全称命题的真假:1 1)所有的素数都是奇数;)所有的素数都是奇数;想一想?想一想?短语短语“存在一个存在一个”“至少一个至少一个”在逻辑中通常叫在逻辑中通常叫做做存在量词存在量词用符号用符号“”表示。表示。含有存在量词的命题,叫做含有存在量词的命题,叫做特称命题。特称命题。常见的存在量词还有常见的存在量词还有“有些有些”“有一个有一个”“对某个对某个”“有的有的”等等.2 22 2 判断下列特称命题的真假:判断下列特称命题的真假:1 1)有一个实数)有一个实数x x,使,使x+2x+3=0 x+2x+3=0成立;成立;探究探究:含有含有一个一个量词的量词的 命题如何否定命题如何否定?想一想?想一想?含有一个量词的含有一个量词的全称命题全称命题的否定的否定,有下面的结论有下面的结论:全称命题全称命题它的否定它的否定从形式看,从形式看,全称命题全称命题的否定是的否定是特称命题特称命题。3 3 写出下列全称命题的否定:写出下列全称命题的否定:1 1)p:p:所有能被所有能被3 3整除的整数都是奇数;整除的整数都是奇数;想一想?想一想?否定否定:1)所有实数的绝对值都不是正数所有实数的绝对值都不是正数;2)每一个平行四边形都不是菱形每一个平行四边形都不是菱形;3)含有含有一个量词一个量词的特称的特称命题的命题的否定否定,有有下面的下面的结论结论特称命题特称命题它的否定它的否定 从从形式看形式看,特称命题的否定都特称命题的否定都变成了变成了全称全称命题命题.写写称称题题4 45 5 写出下列命题的否定,并判断真假:写出下列命题的否定,并判断真假:1 1)p:p:任意两个等边三角形都是相似的;任意两个等边三角形都是相似的;