全称量词与存在量词1.ppt

《全称量词与存在量词1.ppt》由会员分享，可在线阅读，更多相关《全称量词与存在量词1.ppt（11页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、1.4.1 全称量词命题全称量词命题 特称量词命题及否定特称量词命题及否定想一想？想一想？13241)32)213),3 4),21xxxR xxZx下下列列语语句句是是命命题题吗吗？ ）与与）， ）与与）之之间间有有什什么么关关系系？对对所所有有的的对对任任意意一一个个短语短语“所有的所有的”“”“任意一个任意一个” 在逻辑中通常叫在逻辑中通常叫做做全称量词全称量词用符号用符号“”表示。表示。 含有全称量词的命题，叫做含有全称量词的命题，叫做全称命题。全称命题。是整数是整数是整数是整数M通通常常，将将含含有有变变量量x x的的语语句句用用p p( (x x) )、q q( (x x) )、r

2、 r( (x x) )表表示示，变变量量x x的的全全称称命命题题“对对中中任任意意一一个个x x，取取值值范范围围有有p p( (x x用用M M表表示示。) )成成立立. .读读作作“任任意意x x属属于于M M，有有P P( (x x) )成成立立”。 简简记记为为: :x xM M, ,p p( (x x) )例例1 1 判判断断下下列列全全称称命命题题的的真真假假：1 1）所所有有的的素素数数都都是是奇奇数数；2,1 1;xR x 2）2）2 23 3）对对每每一一个个无无理理数数x x，x x 也也是是无无理理数数. .想一想？想一想？13241)2132)233),2134),2

3、3xxxRxxZ x下下列列语语句句是是命命题题吗吗？ ）与与）， ）与与 ）之之间间有有什什么么关关系系？；能能被被 和和 整整除除；存存在在一一个个使使；至至少少有有一一个个能能被被 和和 整整除除。短语短语“存在一个存在一个”“”“至少一个至少一个” 在逻辑中通常在逻辑中通常叫做叫做存在量词存在量词用符号用符号“”表示。表示。 含有存在量词的命题，叫做含有存在量词的命题，叫做特称命题。特称命题。M通通常常，将将含含有有变变量量x x的的语语句句用用p p( (x x) )、q q( (x x) )、r r( (x x) )表表示示，变变量量x x特特称称命命题题“存存在在中中的的一一个个

4、x x的的取取值值范范围围用用，使使p p( (x xM M表表示示。) )成成立立. .读读作作“存存在在一一个个x x属属于于M M，使使P P( (x x) )成成立立”。 简简记记为为: : x xM M, ,p p( (x x) )2 2例1 判断下列特称命题的真假：例1 判断下列特称命题的真假：1）有一个实数x，使x +2x+3=0成立；1）有一个实数x，使x +2x+3=0成立；2）存在两个相交平面垂直同一条直线；2）存在两个相交平面垂直同一条直线；3）有些整数只有两个正因数.3）有些整数只有两个正因数.想一想？想一想？1)写出下列命题的否定写出下列命题的否定所有的矩形都是平行四

5、边形；所有的矩形都是平行四边形；2)每每一一个个素素数数都都是是奇奇数数；23),21 0 xR xx 这这些些命命题题和和它它们们的的否否定定在在形形式式上上有有什什么么变变化化？1)存存在在一一个个矩矩形形不不是是平平行行四四边边形形；2)存存在在一一个个素素数数不不是是奇奇数数；23),210 xR xx 否否定定: : x xM M, ,p p( (x x) ) x xM M, ,p p( (x x) ) x xM M, ,p p( (x x) )x xM M, ,p p( (x x) ) x xM M, , p p( (x x) )x xM M, ,p p( (x x) )含有一个量

6、词的全称命题的否定含有一个量词的全称命题的否定,有下面的结论有下面的结论 x xM M, ,p p( (x x) )全称命题全称命题:p它的否定它的否定:p x xM M, ,p p( (x x) )例1写出下列全称命题的否定：例1写出下列全称命题的否定：1）p:所有能被3整除的整数都是奇数；1）p:所有能被3整除的整数都是奇数；2）p:每一个四边形的四个顶点公圆；2）p:每一个四边形的四个顶点公圆；2 23）p:对任意xZ，x 的个位数字不等于3。3）p:对任意xZ，x 的个位数字不等于3。从形式看，全称命题的否定是特称命题。从形式看，全称命题的否定是特称命题。想一想？想一想？1)写写出出下

7、下列列命命题题的的否否定定有有些些实实数数的的绝绝对对值值是是正正数数；2)某某些些平平行行四四边边形形是是菱菱形形；23),10 xR x 这这些些命命题题和和它它们们的的否否定定在在形形式式上上有有什什么么变变化化？否定否定:1)所有实数的绝对值都不是正数所有实数的绝对值都不是正数;2,10 xR x xM,p(x)xM,p(x) xM,p(x)xM,p(x) xM,p(x)xM,p(x) xM, p(x)xM, p(x) xM, p(x)xM, p(x) xM, p(x)xM, p(x)2)每一个平行四边形都不是菱形每一个平行四边形都不是菱形;3) 含有一个量词的特称命题的否定含有一个量

8、词的特称命题的否定,有下面的有下面的结论结论 x xM M, ,p p( (x x) )特称命题特称命题:p它的否定它的否定:p x xM M, , p p( (x x) ) 从形式看从形式看,特称命题的否定都变成了特称命题的否定都变成了全称命题全称命题.0 x 2 2例1 出下列特 命 的否定：例1 出下列特 命 的否定：1）p:R,x +2x+3；1）p:R,x +2x+3；2）p:有的三角形是等边三角形；2）p:有的三角形是等边三角形；3）p:有一个素数含有三个正因子。3）p:有一个素数含有三个正因子。写写称称题题例2写出下列命题的否定，并判断真假：例2写出下列命题的否定，并判断真假：1）p:任意两个等边三角形都是相似的；1）p:任意两个等边三角形都是相似的；x 2 22）p:R,x +2x+2=0；2）p:R,x +2x+2=0；