【创新设计】2016-2017学年高中数学 第1章 常用逻辑用语 1.4 全称量词与存在量词课时作业 新人教A版选修1-1.docVIP

PAGE PAGE 4 §1.4　全称量词与存在量词 课时目标　1.通过生活和数学中的丰富实例，理解全称量词与存在量词的意义.2.会判定全称命题和特称命题的真假.3.能正确的对含有一个量词的命题进行否定.4.知道全称命题的否定是特称命题，特称命题的否定是全称命题． 1．全称量词和全称命题 (1)短语“______________”“____________”在逻辑中通常叫做全称量词，并用符号“______”表示，常见的全称量词还有“对一切”“对每一个”“任给”“所有的”等． (2)含有______________的命题，叫做全称命题． (3)全称命题：“对M中任意一个x，有p(x)成立”，可用符号简记为____________． 2．存在量词和特称命题 (1)短语“______________”“________________”在逻辑中通常叫做存在量词，并用符号“________”表示，常见的存在量词还有“有些”“有一个”“对某个”“有的”等． (2)含有______________的命题，叫做特称命题． (3)特称命题：“存在M中的一个x0，有p(x0)成立”，可用符号简记为 ____________． 3．含有一个量词的命题的否定 (1)全称命题p：?x∈M，p(x)，它的否定綈p：____________； (2)特称命题p：?x0∈M，p(x0)，它的否定綈p：