约束变元是在一个公式中约束出现的变元。

公式介绍

约束变元(bound variable)一种变元.指在一个公式中约束出现的变元.约束变元的一个重要特征是，尽管它们的取值不定，但如果其所在公式没有自由变元，这个公式的真值是确定的。例如，在公式 ( b.z叶}0]中，二是约束变元，尽管人们不给二取定某值，但仍可确定该公式在实数域上的值为假.