问答题
(∀x)(B→A(x))<=>B→(∀x)A(x)
问答题 （x）（A（x）→B）（x）A（x）→B
问答题 (x)(y)(S(x)→R(y))(x)S(x)→(y)R(y)
问答题 （x）（S（x）→R（x））（x）S（x）→（x）R（x）
