个体词

---

表示个体的词项。在逻辑中，一个论域中的元素称为个体，该论域称为个体域，个体词是表示个体的符号。如在“a大于b”中，“a”与“b”都是个体词。表示某个论域中特定个体的个体词称个体常项或个体常元，一般用字母a、b、c…表示。表示特定范围内任意个体的词项称个体变项或个体变元，一般用符号x、y、z…表示。带量词或处在它的量词的辖域中的个体变项称为约束个体变项，否则，称为自由个体变项。如：在“(x)(pVR(x，y))”中，x是约束个体变项，y是自由个体变项。