高中数学 第一章 常用逻辑用语 1.4 全称量词与存在量词 1.4.3 含有一个量词的命题的否定素材 新人教A版选修1-1.pptVIP

1.4.3 含有一个量词的命题的否定 全称命题 “对M中任意一个x,有p(x)成立” x∈M,p(x) 读作：对任意x属于M，有p(x)成立 集合 复习回顾 特称命题“存在M中的一个x0,使p(x0)成立” 符号简记为： 读作：“存在一个x0属于M，使p(x0)成立” 含有全称量词的命题，叫做全称命题 含有存在量词的命题，叫做特称命题 符号简记为： x0∈R ,p(x0) 1. 经过前几节课的学习，想想命题的否定与否命题的区别？ 否命题是用否定条件也否定结论的方式构成新命题. 命题的否定是逻辑联结词“非”作用于判断 ,只否定结论不否定条件. 一般地，对于含有一个量词的特称命题的否定,有下面的结论： 特称命题p: ?x0∈M ,p(x0)， 特称命题的否定是全称命题 它的否定?p: ? x∈M,?p(x)，