一、全称量词:短语“对所有的”“对任意一个”在逻辑中通常叫做全称量词,用符号表示。含有“,”全称量词的命题叫做全称命题:“对M中任意一个x,P(x) 都成立”,简记:x,M,P(x)成立。
二、存在量词:短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词,并用符号表示。含有“,”存在量词的命题叫做存在性命题:“存在M中的一一个x,使P(x)成立”,简记:x,M,,P(x) 成立。
全称量词是指在语句中含有短语“全额”、“每一个”、“任意”、“一切”等都是在指定范围内,表示该指定范围内的全体对象或该指定范围整体的含义的词。含有全称量词的命题叫作全称命题。全称量词的否定是存在量词。