全称量词、存在量词、存在唯一量词的区别
（1）符号∀称为全称量词符，用来表达“对所有的”、“任意的”、“每一个”等词语。“(∀x)P(x)”表示命题：“对于个体域中所有个体x，谓词P(x)均为T”。其中“(∀x)”称为全称量词，读作“对于所有的x”。谓词P(x)称为全称量词(∀x)的辖域或作用范围。
（2）符号∃称为存在量词符，用来表达“存在一些”、“对于一些”、“至少有一个”等词语。“(∃x)Q(x)”表示命题：“在个体域中存在某些个体使谓词Q(x)为T”。其中“(∃x)”称为存在量词，读作“存在x”。谓词Q(x)称为存在量词(∃x)的辖域或存在范围。
（3）符号∃!称为存在唯一量词符，用来表达“恰有一个”、“存在唯一”等词语。“(∃!x)R(x)”表示命题：“在个体域中恰好有一个个体使谓词R(x)为T”。其中“(∃!x)”称为存在量词，读作“恰有一个x”。谓词R(x)称为存在量词(∃!x)的辖域或存在范围。
全称量词、存在量词和存在唯一量词统称量词。量词是由逻辑学家Fray引入的，有了量词之后，用逻辑符号表示命题的能力大大增强。
