离散数学 自然语言命题符号化一阶逻辑 量词限定的对象必须被视为个体类 (“所有”，“某个”) $L(x,c)$ 可以不用引入 个体常量 所在的个体类，可以简化为 $L(x)$ 当存在两种及以上的个体类时，不能用其中一个对象类的全称作为论域 e.g. “所有程序员都学过某种编程语言” 的论域不可以是 “所有程序员”