量词

数一数有多少个命题使之成立

全称量词

$$\forall$$

存在量词

$$\exists$$

一般将其量词加在其谓词之前，$(\forall x)P(x)$ ，$P(x)$ 称为 辖域

统一个体域为全总个体域，而对于每一个句子中个体变量的变化范围用 一元特性谓词 刻画之：

任意用蕴含，特性谓词放在前件

$$(\forall x)(U(x)\to P(x))$$

简写为

$$\forall U(x):P(x)$$

存在用且

$$(\exists x)(U(x)\wedge P(x))$$ $$\exists U(x):P(x)$$

---

当个体域是可数集合的时候，可以表示成一系列合取和析取

当个体域是空集的时候，全称量词一定是真，存在量词一定是假；此时全称推不出存在

如果可以统一到一个 个体域，则可以不用特性谓词用个体域表示