由两个前提∀x(A(x)→B(x))和∀x(¬B(x))不能推理得到（）