在谓词公式中，若出现量词，则与前面量词的指导变元相同且出现在量词辖域内的变元，称为约束变元。（）

在谓词公式中，若出现量词，则与前面量词的指导变元相同且出现在量词辖域内的变元，称为约束变元。（）
A.正确
B.错误
正确答案：A