The semantics of first-order logic is designed to reflect our meta-level concepts of "implies," "for all," etc. Do you see why this formula is true when the connectives are interpreted as these natural-language concepts? Hint: for the left-to-right direction, consider the cases when ∀xφ(x) is true and when it is false.