多项选择题

谓词公式,若对约束变元x换名,但下列换名错误的是( )。
A、
B、
C、
D、

微信扫码免费搜题