Elsőrendű nyelv precedenciája pontosan hogy van?

Az oké hogy negáció, meg a kvantorok a leggyengébbek (vagy ahonnan nézzük), aztán az és-vagy egyenrangú (legalábbis mi így használjuk őket, megegyezés alapján), végül az implikáció (ekvivalencia most nem érdekel meg a többi).

Tehát nem P(x) vagy P(y) akkor P(x) esetén: ((nem (P(x))) vagy P(y)) akkor P(x)

de.

pl:

nem Létezik P(x), ez az hogy: nem (Létezik P(x))?

meg és-vagynál:

P(x) és P(y) vagy P(z), ez az hogy: P(x) és (P(y) vagy P(z))?

implikációnál meg:

P(x) akkor P(y) akkor P(z) ez: P(x) akkor (P(y) akkor P(z))?