No, as you can see the forall is in the parenthesis, the scope does not go until the return type
herp derp, realized it myself just now, ∀x(P(x))->Q ≠ ∀x(P(x)->Q).
∀x(P(x))->Q ≠ ∀x(P(x)->Q)
So this would require an an ad-hoc polymorphic function as argument, yes?
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.