全称量词是指在语句中含有短语“全额”、“每一个”、“任意”、“一切”等都是在指定范围内，表示该指定范围内的全体对象或该指定范围整体的含义的词。 含有全称量词的命题叫作
全称命题。全称量词的否定是
存在量词。
1、“对全额的”、“对任意的”
等词在逻辑中被称为全称量词，记作“∀”，含有全称量词的命题叫做全称命题。
全称命题，可以用全称量词，也可以通过“人人”等主语重复的形式来表达，甚至可以不使用任何量词标志，如“人类都是有智慧的。”
由于代数定理使用的是全称量词，因此每个代数定理都是一个全称命题。也正是全称量词使得使用带入规则进行
恒等变换是代数推理的核心。