La ley que establece que la forma de agrupar operandos en la aplicación repetida de un operador binario no altera el resultado; formalmente, para ⊗ y A, B, C: (A ⊗ B) ⊗ C = A ⊗ (B ⊗ C) (ej.: (A ∧ B) ∧ C = A ∧ (B ∧ C)).

Principio

Los paréntesis (asociación) pueden reordenarse sin cambiar la evaluación de aplicaciones iteradas del operador asociativo.

Demostración

En la disyunción booleana, (A ∨ B) ∨ C y A ∨ (B ∨ C) son verdaderas exactamente cuando al menos una de A, B, C es verdadera; sus tablas de verdad y semántica coinciden.

Aplicación incorrecta

Suponer asociatividad en la suma de punto flotante sin considerar errores de redondeo, o aplicarla a operaciones no asociativas como la resta o la potenciación lleva a manipulaciones numéricas incorrectas.

Consecuencia

Permite omitir o reparentizar conectivos idénticos repetidos, simplifica árboles de análisis y posibilita estrategias de evaluación paralela o incremental.

Inversión

No asociatividad: operaciones donde la agrupación modifica el resultado (p. ej., (a − b) − c ≠ a − (b − c) o ciertas concatenaciones con efectos laterales).

Límite

Se aplica a aplicaciones repetidas del mismo operador binario en el mismo sistema algebraico; no implica que operadores distintos conmutan o se asocien entre sí, y excluye expresiones mixtas sin reglas adicionales.

Tensión semántica

Tensión con el orden de evaluación: la asociatividad permite agrupamiento flexible pero puede chocar con contextos donde el orden impone efectos secundarios, limitaciones de recursos o semántica impura.

Síntesis

La ley asociativa caracteriza a los operadores para los que la agrupación es irrelevante, permitiendo notación sin paréntesis y simplificación estructural, a la vez que requiere atención frente a efectos secundarios y contextos heterogéneos.