個體變元

個體變元( individual variable)亦稱“個體變項”。表示某一範圍內的任一個體。一般用符號x，y，z，…來表示。引進變元可以標誌同異和表示形式結構。如在謂詞邏輯公式(∀x)R(x)→R(y)中，第一個x和第二個x是相同的個體變元，它們的值雖不確定，但代表同一個體。而x和y是兩個不同的個體變元，一般來説，它們代表不同的個體，即標誌着同異。此外，個體變元的引入可以表示形式結構，如二元謂詞的形式可以寫成R(x，y) ^[1]