江苏省响水中学高中数学 第1章《常用逻辑用语》全称量词与存在量词导学案苏教版选修1-1
学习目标:
1.理解全称量词 、存在量词,能够用符号表示全称命题、存在性命题,并会判断其真假.
2.对含有量词的命题进行否定,应首先判断此命题是全称命题还是存在性命题,也就是要找出语句中的全称量词或存在量词.
3 .明确全称命题、存在性命题、含有一个量词的命题的否定形式的真假的判断方法,通过生活和数学中的丰富实例,了解数学知识的全面性和对称性.
重点:存在性命题与全称命题的意义,存在性命题与 全称命题 的否定的改写。
难点:如何判断存在性命题与全称命题的真假。
课前预习:
问题1: 全称量词与存在量词
(1)短语“对所有的”“对任意一个”在逻辑中通常叫作全称量词,并用符号“ ”表示.常见的全称量词还有 “对一切”“对每一个”“任给”等.
含有全称量词的命题叫作全称命题.通常将含有变量x的语句用p(x)、q(x)、r(x)表示,变量x的取值范围用M表示.全称命题“对M中任意一个x,有p(x)成立”, 记为 ,读作