Allkvantoren $\forall$ binder sterkere enn og-konnektivet $\land$, så uttrykket $\forall x P(x) \land R(y, z)$ står for formelen $\big( \forall x P(x) \land R(y, z) \big)$.
Presedensregler for førsteordens språk
Test deg selv
Ut fra presendensreglene, hvilken formel står uttrykket $\forall x P(x) \land R(y, z)$ for?
Test deg selv
Ut fra presendensreglene, hvilken formel står uttrykket $\forall x \forall y R(x, y) \lor \neg \exists y P(y) \land P(a)$ for?