全称量词与全称命题

　　全称命题：其公式为“所有S是P”。

　　全称命题，可以用全称量词，也可以用“都”等副词、“人人”等主语重复的形式来表达，甚至有时可以没有任何的量词标志，如“人类是有智慧的。”

　　由于代数定理使用的是全称量词，因此每个代数定理都是一个特强的条件。也正是全称量词使得使用带入规则进行恒等变换是代数推理的核心。