在谓词逻辑中，变元可以分为（）和约束变元。约束变元可以采用（）规则进行变换。

在谓词逻辑中，变元可以分为（）和约束变元。约束变元可以采用（）规则进行变换。
A、作用变元、代入
B、作用变元、换名
C、自由变元、换名
D、自由变元、代入
正确答案：自由变元、换名