西安电子科技大学$2.1.1 谓词软件学院家茶茶家家个体客观世界独立存在的客体。讨论的问题所涉及的所有个体组成的集合，亦称为论域个体域通常用符号D表示。单个确定的个体，用小写字母a.b.c...来表示个体常元代表个体的变元，用小写字母x，y,Z...或者带下标的小写个体变元字母X,X2.来表示。西安电子科技大学 软件学院 个体 个体常元 个体域 个体变元 §2.1.1 谓词