El principio en lógica y álgebra según el cual un operador binario produce el mismo resultado cuando se permutan sus operandos; formalmente, para A y B y un conectivo conmutativo ⊗, A ⊗ B = B ⊗ A (ejemplos: A ∧ B = B ∧ A, A ∨ B = B ∨ A).

Principio

El orden de los operandos no altera el resultado del operador: permutar las entradas deja la operación invariante.

Demostración

En la conjunción booleana, A ∧ B es igual a B ∧ A porque ambas son verdaderas exactamente cuando A y B son verdaderas; sus tablas de verdad coinciden.

Aplicación incorrecta

Suponer conmutatividad para la implicación (A → B ≠ B → A) o para operaciones no conmutativas como la composición de funciones o la multiplicación de matrices conduce a resultados erróneos.

Consecuencia

Se pueden reordenar expresiones para simplificar fórmulas, factorizar subexpresiones comunes o elegir un orden canónico de operandos para normalización y optimización.

Inversión

No conmutatividad: operadores cuyo resultado cambia al permutar operandos (p. ej., resta a − b, implicación A → B, constructores de pares ordenados).

Límite

Se aplica solo al operador binario especificado y a su contexto algebraico; un operador puede ser conmutativo en un álgebra y no en otra; los operadores unarios quedan excluidos.

Tensión semántica

Tensión con conectivos ordenados o direccionales: la conmutatividad entra en conflicto con conceptos que codifican dirección, causalidad o secuencia (p. ej., implicación frente a conjunción).

Síntesis

La ley conmutativa identifica cuándo el orden de los operandos es irrelevante para una operación binaria concreta, permitiendo reordenamiento y canonización cuando está permitido, sin confundirla con operaciones direccionales.