个体变元

个体变元( individual variable)亦称“个体变项”。表示某一范围内的任一个体。一般用符号x，y，z，来表示。引进变元可以标志同异和表示形式结构。如在谓词逻辑公式(∀x)R(x)→R(y)中，第一个x和第二个x是相同的个体变元，它们的值虽不确定，但代表同一个体。而x和y是两个不同的个体变元，一般来说，它们代表不同的个体，即标志着同异。