3
$\begingroup$

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

  • 0
    The expression is not well-formed. First comma has no reasonable interpretation, the quantifiers towards the end make no sense. Maybe you could rework the formula a bit?2011-08-03

2 Answers 2