1．全称量词和全称命题
(1)定义：短语“所有”在陈述中表示所述事物的全体，逻辑中通常叫做全称量词，并用符号“∀”表示．含有全称量词的命题，叫做全称命题．
(2)形式：设p(x)是某集合M的所有元素都具有的性质，那么全称命题就是形如“对M中的所有x，p(x)”的命题，用符号简记为∀x∈M，p(x)．
2．存在量词和存在性命题
(1)定义：短语“有一个”或“有些”或“至少有一个”在陈述中表示所述事物的个体或部分，逻辑中通常叫做存在量词，并用符号“∃”表示，含有存在量词的命题，叫做存在性命题．
(2)形式：设q(x)是某集合M的有些元素x具有的某种
