个体变元

个体变元与个体常元的逻辑性质不同，它们与谓词、量词组合的公式在一阶逻辑与模态逻辑中的表现也是不同的。

The logical properties of individual variables and individual constants are different , the formulae combining with predications and quantifiers are different whether seen from the standpoint of first-order or modal logic .

简单个体词又包括个体变元和个体常元；复合个体词是指由简单个体词添加函数符号产生的。

Simple individual terms conclude individual variables and individual constants . We can get complex individual terms produced by combination of simple individual terms and a functional expression .

从语义上看，当用来解释非逻辑符号的结构被确定，个体常元的解释也就随之确定，而个体变元需要赋值。

In semantic perspective , the interpretation of individual constants is determined if the structure used to interpret non-logical symbols is given , yet interpretation of individual variables is determined by value-assignments .