2019-2020学年苏教版选修2-1 第1章 1.3 全称量词与存在量词 学案
2019-2020学年苏教版选修2-1 第1章 1.3 全称量词与存在量词 学案第2页

  阅读教材P14内容,完成下列问题.

存在量词 "有一个"、"有些"、"存在一个"等表示部分的量词在逻辑中称为存在量词 符号表示 ∃ 存在性命题 含有存在量词的命题称为存在性命题 符号表示 ∃x∈M,p(x)

  判断(正确的打"√",错误的打"×")

  (1)全称量词的含义是"任意性",存在量词的含义是"存在性".(  )

  (2)全称命题一定含有全称量词,存在性命题一定含有存在量词.(  )

  (3)命题"正方形的四条边相等"中没有全称量词,因此不是全称命题.(  )

  (4)"至少有一个偶数是质数"是存在性命题.(  )

  [解析] 根据定义可知(1)是正确的,(2)是错误的,(3)中省略全称量词"所有的",所以是全称命题,(4)是正确的.

  [答案] (1)√ (2)× (3)× (4)√

  教材整理3 全称命题和存在性命题的否定

  阅读教材P16例1以上部分,完成下列问题.

  

  图1­3­1

  把下列命题进行否定,并写在横线上.

  (1)p:有些三角形是直角三角形. ___________________

  (2)q:所有的质数都是奇数. ___________________

(3)r:所有的人都睡觉. ___________________