Question

Je pensais que l'ordre de priorité des opérateurs et des quantificateurs était arbitraire, mais je ne comprends pas vraiment pourquoi ces trois ont la même "force" par rapport aux autres opérateurs (par exemple, ¬ aura la priorité sur ∧, mais pas sur ∀). Cela conduit à la règle étant que ¬, ∀ et ∃ se lieront au prédicat le plus proche sur leur droite (si je comprenais correctement). Pourquoi est-ce?

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange
scroll top