個體變項

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

而X和y 是兩個不同的個體變項，一般來說, 它們代表不同的個體，即標誌著同 異。此外，個體變項的引入可以表 示形式結構，如二元謂詞的形式可 以寫成R、y)。