标签:与“﹁?x(A(x)→B(x))”相等值的谓词公式是