1955年，印度数学家卡普耶卡（D.R.Kaprekar）研究了对四位自然数的一种交换：任给出四位数
，用的四个数字由大到小重新排列成一个四位数m，再减去它的反序数n(即将的四个数字由小到大排列，规定反序后若左边数字有0，则将0去掉运算，比如0001，计算时按1计算)，得出数
，然后继续对
重复上述变换，得数
，…，如此进行下去，卡普耶卡发现，无论是多大的四位数，只要四个数字不全相同，最多进行k次上述变换，就会出现变换前后相同的四位数t(这个数称为Kaprekar变换的核).通过研究10进制四位数2014可得Kaprekar变换的核为 .
命题“有些负数满足不等式(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)成立”，可用符号简记为____________．