个体变元
- 网络individual variable
-
个体变元与个体常元的逻辑性质不同,它们与谓词、量词组合的公式在一阶逻辑与模态逻辑中的表现也是不同的。
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 .