1.5.2全称量词命题和存在量词命题的否定 课件（共22张PPT）

(共22张PPT)
第一章 集合与常用逻辑用语
1.5.2 全称量词命题和存在量词命题的否定
温故知新
新课导入
一般地，对一个命题进行否定，就可以得到一个新的命题，这一新命题称为原命题的否定。
例如：“56是7的倍数”的否定为“56不是7的倍数”，“空集是集合的真子集”的否定为“空集不是集合的真子集”。
下面，我们学习利用存在量词对全称量词命题进行否定，以及利用全称量词对存在量词命题进行否定。
一个命题和它的否定不能同时为真命题，也不能同时为假命题，只能一真一假。
新课讲授
新课讲授
新课讲授
新课讲授
思考：
这些命题的否定与原命题在形式上有什么变化？
新课讲授
从命题形式看，这三个全称量词命题的否定都变成了存在量词命题。
归纳总结
典例精析
新课讲授
新课讲授
新课讲授
思考：
这些命题的否定与原命题在形式上有什么变化？
新课讲授
归纳总结
典例精析
典例精析
典例精析
课堂练习
课堂练习
课堂小结
课堂小结
般地，对一个命题进行否定，就可以得到一个新的
命题，这一新命题称为原命题的否定。
例如：“56是7的倍数”的否定为“56不是7的倍数”
“空集是集合A={12,3}的真子集”的否定为“空集不是集
合A={1,2,3}的真子集”。
下面，我们学习利用存在量词对全称量词命题进行否
定，以及利用全称量词对存在量词命题进行否定。