個體變元

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

基本介紹

• 中文名：個體變元
• 外文名： individual variable
• 定義：某一範圍內的任一個體
• 別稱：個體變項