個體變項

個體變項是表示某一範圍內的任一個體。一般用符號w表示。引進變項可以標誌同異和表示形式 結構。如在謂詞邏輯公式(Vx)R) —R(y)中，第一個x和第二個x是 相同的個體變項，它們的值雖不確定，但代表同一個體。