La loi selon laquelle le groupement des opérandes dans l'application répétée d'un opérateur binaire n'affecte pas le résultat ; formellement, pour ⊗ et A, B, C : (A ⊗ B) ⊗ C = A ⊗ (B ⊗ C) (ex. : (A ∧ B) ∧ C = A ∧ (B ∧ C)).

Principe

Les parenthèses (l'association) peuvent être réarrangées sans changer l'évaluation d'applications itérées de l'opérateur associatif.

Démonstration

Pour la disjonction booléenne, (A ∨ B) ∨ C et A ∨ (B ∨ C) valent vrai exactement lorsqu'au moins une des propositions A, B, C est vraie ; tables de vérité et sémantique coïncident.

Mauvaise application

Prétendre à l'associativité de l'addition en virgule flottante sans tenir compte des erreurs d'arrondi, ou l'appliquer à des opérations non associatives comme la soustraction ou l'exponentiation, conduit à des manipulations incorrectes.

Conséquence

Permet de supprimer ou de redéfinir les parenthèses pour des connecteurs identiques répétés, simplifie les arbres de dérivation et permet des stratégies d'évaluation parallèles ou incrémentales.

Inversion

Non-associativité : opérations dont le groupement change le résultat (par ex. (a − b) − c ≠ a − (b − c), ou certaines concaténations de chaînes avec effets de bord).

Limite

S'applique aux applications répétées du même opérateur binaire dans le même système algébrique ; n'implique pas que des opérateurs différents commutent ou s'associent entre eux et n'inclut pas les expressions mixtes sans règles supplémentaires.

Tension sémantique

Tension avec l'ordre d'évaluation — l'associativité permet un groupement flexible mais peut entrer en conflit avec des contextes où l'ordre d'évaluation impose des effets de bord, des contraintes de ressources ou une sémantique impure.

Synthèse

La loi associative caractérise les opérateurs pour lesquels le groupement est négligeable, autorisant une notation sans parenthèses et une simplification structurelle tout en restant attentive aux effets de bord et aux contextes d'opérateurs hétérogènes.