个体变元

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

    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 .

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

    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 .

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

    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 .