设B是不含变元x的公式，谓词公式
等价于______
A．
B．
C．B→A(x)
D．
【正确答案】
A
【答案解析】
设B是不含变元x的公式，谓词公式等价于______
A．
B．
C．B→A(x)
D．