单项选择题

与“~("x)(Ax→Bx)”相等值的谓词公式是($x)(Ax∧~Bx)。( )

A.对
B.错