Why do ¬, ∀ and ∃ have the same precedence?
-
05-11-2019 - |
Question
I thought the order of precedence of operators and quantifiers was arbitrary, but I don't really understand why those three have the same "strength" in relation to other operators (e.g., ¬ will have precedence over ∧, but not over ∀). This leads to the rule being that ¬, ∀ and ∃ will bind to the closest predicate on their right (if I understood correctly). Why is this?
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange