变量；因此这个表达式的值依赖于x的值。在表达式中y是自由变量而x是约束变量；因此这个表达式的值依赖于y的值。在表达式中x是自由变量而h是约束变量；因此这个表达式的值依赖于x的值。在表达式中z是自由变量而x和y是约束变量；因此这个表达式的真值依赖于z的值。
变量约束算子.下列的都是变量约束算子，它们都约束变量x。
形式解释.变量约束机制出现在数学、逻辑和计算机科学中的不同情况中，但是在所有情形下它们是其中的表达式和变量的纯粹语法性质。本