约束变元
- 网络Bound Variable; bound variables
约束变元约束变元
Bound Variable
...e)；在量词辖域中出现的与指导变元相同的变元称为 约束变元 ( Bound Variable )，相应变元的出现称为约束出现(Bound Occu…
bound variables
因此，我们把 "xP(x) 和 $xP(x) 中变元称为约束变元（bound variables），而那些可以取值代入的变元则称为自由变元（free var…