在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（），而在一个量词的辖域，，而在一个量词的辖域中与该量词的指导变元相同的变元称为（），其他变元称为（）。

在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（），而在一个量词的辖域，，而在一个量词的辖域中与该量词的指导变元相同的变元称为（），其他变元称为（）。
正确答案：辖域，约束变元，自由变元