下列关于一阶逻辑中等值演算的说法中正确的有

下列关于一阶逻辑中等值演算的说法中正确的有
A、可以使用置换规则
B、命题逻辑中的基本等值式都可以在一阶逻辑等值演算中套用。
C、可以使用换名规则
D、等值关系有对称性和传递性
正确答案：可以使用置换规则|命题逻辑中的基本等值式都可以在一阶逻辑等值演算中套用。|可以使用换名规则|等值关系有对称性和传递性