自由变元
- 网络free variable; free variables; Free and Bound variable
自由变元自由变元
free variable
...rrence)；除 约束变元 外的其它个体变元称为自由变元(Free Variable)，相应变元的出现称为...
free variables
因此，我们把 "xP(x) 和 $xP(x) 中变元称为约束变元（bound variables），而那些可以取值代入的变元则称为自由变元（free var…
Free and Bound variable
...mulae) ) 谓词公式与翻译 2.3约束变元与自由变元(Free and Bound variable) ) 约束变元与自由变元 2.4 谓词的解释与类型 谓 …