已知数列的前项和,则 ▲ .
命题“有些负数满足不等式(1+x)(1-9x)>0”用“∃”或“∀”可表述为___________.
命题的否定与否命题 命题的否定只否定________,否命题既否定______,又否定________.
含有一个量词的命题的否定 (1)全称命题p:∀x∈M,p(x),它的否定p:____________; (2)特称命题p:∃x0∈M,p(x0),它的否定p:____________.
存在量词和特称命题 (1)短语“______________”“________________”在逻辑中通常叫做存在量词,并用符号“________”表示,常见的存在量词还有“有些”“有一个”“对某个”“有的”等. (2)含有______________的命题,叫做特称命题. (3)特称命题:“存在M中的一个x0,有p(x0)成立”,可用符号简记为____________.
全称量词和全称命题 (1)短语“______________”“____________”在逻辑中通常叫做全称量词,并用符号“______”表示,常见的全称量词还有“对一切”“对每一个”“任给”“所有的”等. (2)含有______________的命题,叫做全称命题. (3)全称命题:“对M中任意一个x,有p(x)成立”,可用符号简记为____________.