教案长沙市雷锋学校全称量词与存在量词(共32.ppt

;;;有些命题中的短语“所有的”“任意一个”“任意的”“一切的”“每一个”“任给”等，在逻辑中通常叫做全称量词;怎样判断全称命题的真假;;;有些命题中的短语“存在一个”“至少有一个”“有些”“有一个”“对某个”“有的”“存在着”等，在逻辑中通常叫做存在量词; 例4 判断下列特称命题的真假 （1）有一个实数0，使02203=0 ； （2）存在两个相交平面垂直于同一条直线; （3）有些对数函数的图像不存在； 4 若0，则2不成立;例：判断下列命题是全称命题，还是特称命题？ ;练习：判断下列语句是不是全称命题或者特称命题，如果是，用量词符号表达出来。 ;143 含有一个量词的命题的否定;;含有一个量词的全称命题的否定，有下面的结论：;1所有实数的绝对值都不是正数;;含有一个量词的特称命题的否定，有下面的结论：;写出下列命题的否定形式:;命题的否定形式有：; 否定命题时，要注意特殊的词，如“全”、“都”等，常见关键词及其否定形式如下表。;对全称命题、特称命题不同表述形式的学习;解：;全称命题：“对M中任意一个,有p成立。”;要判定全称命题“ x∈M, p(x) ”是真命题，需要对集合M中每个元素x, 证明p(x)成立；如果在集合M中找到一个元素x0,使得p(x0)不成立，那么这个全称命题就是假命题。; 否定命题时，要注意特殊的词，如“全”、“都”等，常见关键词及其否定形式如下表。;布置作业：;;;有些命题中的短语“所有的”“任意一个”“任意的”“一切的”“每一个”“任给”等，在逻辑中通常叫做全称量词;怎样判断全称命题的真假;;;有些命题中的短语“存在一个”“至少有一个”“有些”“有一个”“对某个”“有的”“存在着”等，在逻辑中通常叫做存在量词; 例4 判断下列特称命题的真假 （1）有一个实数0，使02203=0 ； （2）存在两个相交平面垂直于同一条直线; （3）有些对数函数的图像不存在； 4 若0，则2不成立;例：判断下列命题是全称命题，还是特称命题？ ;练习：判断下列语句是不是全称命题或者特称命题，如果是，用量词符号表达出来。 ;143 含有一个量词的命题的否定;;含有一个量词的全称命题的否定，有下面的结论：;1所有实数的绝对值都不是正数;;含有一个量词的特称命题的否定，有下面的结论：;写出下列命题的否定形式:;命题的否定形式有：; 否定命题时，要注意特殊的词，如“全”、“都”等，常见关键词及其否定形式如下表。;对全称命题、特称命题不同表述形式的学习;解：;全称命题：“对M中任意一个,有p成立。”;要判定全称命题“ x∈M, p(x) ”是真命题，需要对集合M中每个元素x, 证明p(x)成立；如果在集合M中找到一个元素x0,使得p(x0)不成立，那么这个全称命题就是假命题。; 否定命题时，要注意特殊的词，如“全”、“都”等，常见关键词及其否定形式如下表。;布置作业：