全称量词和全称命题
(1)短语“______________”“____________”在逻辑中通常叫做全称量词，并用符号“______”表示，常见的全称量词还有“对一切”“对每一个”“任给”“所有的”等．
(2)含有______________的命题，叫做全称命题．
(3)全称命题：“对M中任意一个x，有p(x)成立”，可用符号简记为____________．