约束变元﹡

约束变元名词解释：一种变元.指在一个公式中约束出现的变元.约束变元的一个重要特征是,尽管它们的取值不定,但如果其所在公式没有自由变元,这个公式的真值是确定的.例如,在公式(x)[x0]中,x是约束变元,尽管人们不给x取定某值,但仍可确定该公式在实数域上的值为假.