一阶谓词逻辑中的量词。另一个量词是存在量词。
定义:在语句中含有短语“所有”、“每一个”、“任何一个”、“任意一个”“一切”等都是在指定范围内，表示整体或全部的含义，这样的词叫作全称量词。
含有全称量词的命题叫作全称命题。
注意:在某些全称命题中，有时全称量词可以省略。例如棱柱是多面体，它指的是“所有棱柱都是多面体”。
“对所有的”、“对任意一个”等词在逻辑中被称为全称量词，记作“∀”，含有全称量词的命题叫做全称命题。
对任意的x，有P(x)成立，记作∀x P(x)。
全称量词 (2010-03-11 06:12:00由202编辑)
