(1)要否定全称量词命题“∀x∈M,q(x)”,只需在M中找到一个x,使得q(x)不成立,也就是命题“∃x∈M,¬q(x)”成立.
(2)要否定存在量词命题“∃x∈M,p(x)”,需要验证对M中的每一个x,均有p(x)不成立,也就是命题“∀x∈M,¬p(x)”成立.
在书写这两种命题的否定时,要将相应的存在量词变为全称量词,全称量词变为存在量词.
[提醒] 一般命题的否定通常是在条件成立的前提下否定其结论,得到真假性完全相反的两个命题;全称量词命题和存在量词命题的否定,是在否定结论p(x)的同时,改变量词的属性,即将全称量词改为存在量词,存在量词改为全称量词.
判断正误(正确的打“√”,错误的打“×”)
(1)“有些”“某个”“有的”等短语不是存在量词.( )
(2)全称量词的含义是“任意性”,存在量词的含义是“存在性”.( )
(3)全称量词命题一定含有全称量词,存在量词命题一定含有存在量词.( )
(4)∃x∈M,p(x)与∀x∈M,¬p(x)的真假性相反.( )
答案:(1)× (2)√ (3)× (4)√
下列语句是存在量词命题的是( )
A.整数n是2和5的倍数
B.存在整数n,使n能被11整除
C.若3x-7=0,则x=