请输入您要查询的字词:

 

单词 bound variable
释义
bound variable

Computer
  • A variable with a bound occurrence in an expression. See free variable.


Philosophy
  • A variable x is bound in a formula if it is within the scope of a quantifier (in first-order logic, (∀x) or (∃x). Intuitively this means that as the formula is evaluated and x in this occurrence is assigned to an object, the quantified expression in which it occurs is evaluated with respect to that object. If a variable is not bound it is free. In (∀x)(Fx → Gx) all the variables are bound. In (∀x)(Fx → Gx) & Gx the final occurrence of the variable x is free, so the expression is an open sentence or predicate. To turn it into a closed sentence one must either replace the variable with a constant or closed term referring to a thing, or extend the scope of the initial quantifier, or introduce another quantifier: (∀x)(Fx → Gx) & (∃x)(Gx), for example.


随便看

 

科学参考收录了60776条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。

 

Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号 更新时间:2024/12/25 15:46:52