I would like to know the order of precedence of $()$, $\implies$, $\forall$ and $\wedge$. For instance, how many "$()$" possibly could we remove for the following formula:
$(\forall a, ((b_0 \wedge b_1) \implies c)) \wedge (\forall d, (e \implies f)) \wedge ((\forall g, h) \implies i)$
where $a, b_0, b_1, c, d \ldots$ may represent either variable or formulae which contain other variables...
Thank you very much