阅读教材P14内容,完成下列问题.
存在量词 "有一个"、"有些"、"存在一个"等表示部分的量词在逻辑中称为存在量词 符号表示 ∃ 存在性命题 含有存在量词的命题称为存在性命题 符号表示 ∃x∈M,p(x)
判断(正确的打"√",错误的打"×")
(1)全称量词的含义是"任意性",存在量词的含义是"存在性".( )
(2)全称命题一定含有全称量词,存在性命题一定含有存在量词.( )
(3)命题"正方形的四条边相等"中没有全称量词,因此不是全称命题.( )
(4)"至少有一个偶数是质数"是存在性命题.( )
[解析] 根据定义可知(1)是正确的,(2)是错误的,(3)中省略全称量词"所有的",所以是全称命题,(4)是正确的.
[答案] (1)√ (2)× (3)× (4)√
教材整理3 全称命题和存在性命题的否定
阅读教材P16例1以上部分,完成下列问题.
图131
把下列命题进行否定,并写在横线上.
(1)p:有些三角形是直角三角形. ___________________
(2)q:所有的质数都是奇数. ___________________
(3)r:所有的人都睡觉. ___________________