个体词

表示或指称事物(对象)的词，是组成命题的一种成份，如在命题“5是素数”，“是无理数”这两个命题中，5、都是个体词。在逻辑中，一个论域中的元素称为个体(individuals)，表示个体的符号即是个体词。表示某个论域中的一个特定个体的符号称为个体常元(或个体常项，individual constant)，个体常元也就是它所表示或指称的那个个体的名字。不表示某一确定论域中的特定个体的符号称为个体变元(个体变项，individual variable)。个体变元用符号x，y，z，x，y，z，……表示。个体变元取任一论域中的任一个体为值。