约束变元一种变元.指在一个公式中约束出现的变元.约束变元的一个重要特征是，尽管它们的取值不定，但如果其所在公式没有自由变元，这个公式的真值是确定的。

辖域是现代逻辑学的概念，系指各种逻辑算子（如命题 连接词、量词、模态词等）的作用范围。

约束变元和辖域怎么区分

全称量词的辖域是P(x)Q(x)，存在量词的辖域是R(x)。 前三个x是约束变元，受全称量词所辖。 中间两个x是约束变元，受存在量词所辖。 最后一个是x是自由变元。