$\neg$ binder sterkest, $\land$ binder sterkere enn $\lor$, og $\lor$ binder sterkere enn $\rightarrow$.
Parenteser, presedensregler og praktiske forkortelser
Test deg selv
Ut fra presendensreglene, hvilket av disse formlene står uttrykket $P \lor Q \land \neg R \rightarrow S$ for?
Test deg selv
Hvilket av disse formlene står uttrykket $P \land Q \land R \rightarrow S \rightarrow T$ for?
$\land$ er venstre-assosiativ mens $\rightarrow$ er høyre-assosiativ. Ved å følge reglene for presendens og assosiativitet setter vi parenteser i denne rekkefølgen:
$(P \land Q) \land R \rightarrow S \rightarrow T$
$((P \land Q) \land R) \rightarrow S \rightarrow T$
$((P \land Q) \land R) \rightarrow (S \rightarrow T)$
$(((P \land Q) \land R) \rightarrow (S \rightarrow T))$