定义

• 所有 ， 有些 无法被符号化。
• 可以量化地生成命题。

全称量词

• 某一性质对于变量在某一特定域内的所有值均为真。
• 论域规定了变量所有可能的取值，当论域改变，谓词的全称量化的意义也随之改变。

凡是 事物都是运动的。

• 对于任意事物而言，它都是运动的。
• 设 为 是运动的。

存在量词

有些 事物是运动的。

• 有一事物，它都是运动的。
• 设 为 是运动的。