$\forall y \in A, \exists x \in B, M(y) \rightarrow N(x) \\ (\forall y \in A, M(y)) \rightarrow (\exists x \in B, N(x))$
From what I understand, it's not possible for the first statement to be False and the second statement to be True but is the opposite possible?