It is from discrete mathematics notes. These are part of the biconditional tautologies.
E29. (∀x)A(x) →B ⇔ (∃x)(A(x)→B)
E30. (∃x)A(x) →B ⇔ (∀x)(A(x)→B)
I don't understand how these formulas are said to be equivalent. What is the difference in interpretation between (∀x)A(x) →B and (∀x)(A(x)→B) ? How should I interpret those formulas? and how can I prove it? Thank you!