1.4全称量词和存在量词(一).ppt

《1.4全称量词和存在量词(一).ppt》由会员分享，可在线阅读，更多相关《1.4全称量词和存在量词(一).ppt（16页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、1.4 全称量词与存在量词（一）短语短语“对所有的对所有的”“”“对任意一个对任意一个”在逻辑中在逻辑中通常叫做通常叫做全称量词全称量词，用符号，用符号“”。含有含有全称量词的命题，叫做全称量词的命题，叫做全称命题全称命题全称命题全称命题:对对M中任意一个中任意一个x，有，有p(x)成立成立 xM,p(x)读作读作“对任意对任意x属于属于M，有，有p(x)成立成立”全称量词与全称命题n n如：如：（1 1 1 1）对所有的）对所有的）对所有的）对所有的xRxRxRxR,x,x,x,x3 3 3 3；可简记为：可简记为：可简记为：可简记为：xRxRxRxR,x,x,x,x3 3 3 3；n n

2、（2 2 2 2）对任意一个）对任意一个）对任意一个）对任意一个xZxZxZxZ，2x2x2x2x是整数。是整数。是整数。是整数。可简记为：可简记为：可简记为：可简记为：xZxZxZxZ，2x2x2x2x Z Z Z Zn n常见的全称量词常见的全称量词：“对一切对一切”、“对每一对每一个个”、“任给任给”、“所有的所有的”、“任意任意”、“每一个每一个”、“全部全部”等等小小 结：结：判断全称命题是真命题的方法判断全称命题是真命题的方法判断全称命题判断全称命题“xM,p(x)”是假命题的方法是假命题的方法需要对集合需要对集合MM中每个元素中每个元素x x，证明，证明p(xp(x)成立成立只需

3、在集合只需在集合MM中找到一个元素中找到一个元素x x0 0，使得，使得p(xp(x0 0)不成立即可（举反例）不成立即可（举反例）全称量词与全称命题反例否定反例否定短语短语“存在一个存在一个”“”“至少有一个至少有一个”在逻辑中在逻辑中通常叫做通常叫做存在量词。存在量词。含有存在量词的命题，含有存在量词的命题，叫做叫做特称命题。特称命题。M中存在一个中存在一个x0，使，使p(x0)成立成立读作读作“存在一个存在一个x x0 0属于属于M M，有，有p(xp(x0 0)成立成立”特称命题特称命题:x0M,p(x0)存在量词与特称命题n n如：如：（3）存在实数x，满足 ；可简记为：常见的存在量

4、词常见的存在量词：“有些有些”、“有一有一个个”、“有的有的”,“,“对某个对某个”等等.需要证明集合需要证明集合MM中中,使使p p(x x)成立的元素成立的元素x x不存在不存在.只需在集合只需在集合MM中找到一个元素中找到一个元素x x0 0,使得使得p p(x x0 0)成成立即可立即可(举例说明举例说明).).小小 结：结：判断特称命题是真命题的方法判断特称命题是真命题的方法判断特称命题是假命题的方法判断特称命题是假命题的方法特例肯特例肯定定1.指出下列命题是全称命题还是特称命题并判断它们指出下列命题是全称命题还是特称命题并判断它们的真假的真假.（1）所有的抛物线与）所有的抛物线与x轴都有两个交点；轴都有两个交点；（2）存在函数既是奇函数又是偶函数；）存在函数既是奇函数又是偶函数；（3）每个矩形的对角线都相等；）每个矩形的对角线都相等；（4）至少有一个锐角）至少有一个锐角a a，可使，可使sina a=0；全称，假全称，假特称，真特称，真全称，真全称，真特称，假特称，假巩固练习巩固练习2.2.试用文字语言的形式表达下列命题，并判断真试用文字语言的形式表达下列命题，并判断真假假（1 1）（2 2）（3 3）（4 4）特称，真特称，真全称，假全称，假全称，假全称，假特称，真特称，真作作 业业1、课本23页2、风向标18页之效能评估1，2，3，4