1．全称量词：短语“所有的”“任意一个”在逻辑中通常叫做__全称量词__，并用符号“__∀__”表示．
2．全称量词命题：含有__全称量词__的命题，叫做全称量词命题．
3．全称量词命题的表述形式：全称量词命题“对M中任意一个x，p(x)成立”，可用符号简记为__∀x∈M，p(x)__.
4．全称量词命题的真假判断：要判断一个全称量词命题是真命题，需要对集合M中的每个元素x，证明p(x)成立；但要判断一个全称量词命题是假命题，只需列举出一个x0∈M，使得p(x0)不成立即可．
思考1：怎样判断一个命题是全称量词命题？
提示：判断一个命题是否为全称量词命题，一是看该命题是否含有全称量词；二是看该命题是否为省去全称量词的命题，如果是，我们可以先把全称量词补充出来再判断．
