Perché ¬, ∀ e ∃ hanno la stessa precedenza?

Question

Pensavo che l'ordine di precedenza di operatori e quantificatori fosse arbitrario, ma non capisco davvero perché quei tre abbiano la stessa "forza" in relazione ad altri operatori (ad esempio, avranno la precedenza su ∧, ma non oltre ∀). Ciò porta alla regola essendo che ¬, ∀ e ∃ si legaranno al predicato più vicino alla loro destra (se ho capito correttamente). Perchè è questo?