## [Ley Asociativa](/es/node/60922) Definición 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 Principio Los paréntesis (asociación) pueden reordenarse sin cambiar la evaluación de aplicaciones iteradas del operador asociativo. ## Demostración 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 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 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 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 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 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 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.