例如: (x)( F(x)(y)( G(y)H(x,y) ) ) 2-4 变元的约束 定义3:约束变元(bound variable): 在作用域中x的一切出现,称为x在该谓 词公式中的约束出现,所有约束出现的变 元,叫做约束变元。
基于40个网页-相关网页
变元称为约束变元 bound variables
存在成为约束变元的值 existence is to be the value of bound variable
约束变元
Constrained argument
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动