// leyes y reglas · Equivalencia lógica
Ley conmutativa_
La conmutatividad dice que el orden de los operandos no altera el valor de verdad de una conjunción o una disyunción. Es una propiedad tan natural que se usa sin pensar, pero conviene saber exactamente qué operadores la cumplen: el condicional, por ejemplo, no conmuta.
Ejemplo
(p ∧ q) ⇔ (q ∧ p)
Significado de las variables
- ▸ p: «Hace sol»
- ▸ q: «Es sábado»
En palabras
«Hace sol y es sábado» y «es sábado y hace sol» describen exactamente la misma situación.
Tabla de verdad
| p | q | p ∧ q | q ∧ p | (p ∧ q) ⇔ (q ∧ p)★ |
|---|---|---|---|---|
| V | V | V | V | V |
| V | F | F | F | V |
| F | V | F | F | V |
| F | F | F | F | V |
Clasificación: Tautología · 4 filas
Enunciado
La ley afirma que p ∧ q ≡ q ∧ p, y de forma análoga p ∨ q ≡ q ∨ p. También conmutan el bicondicional (p ⇔ q ≡ q ⇔ p), el XOR, el NAND y el NOR.
En cambio, el condicional no conmuta: p ⇒ q y q ⇒ p son fórmulas distintas, y confundirlas es uno de los errores más frecuentes al empezar con lógica.
Por qué es válida: lectura de la tabla
Las filas en las que p y q tienen el mismo valor son simétricas por construcción. Las que importan son las mixtas: con p = V, q = F, ambos lados dan F; con p = F, q = V, ambos lados vuelven a dar F.
Como la conjunción exige que los dos miembros sean verdaderos y esa exigencia no distingue posiciones, el resultado es idéntico en las cuatro filas y el bicondicional es tautología.
Cuidado al programar
Aunque lógicamente conmuten, en la mayoría de lenguajes `&&` y `||` evalúan en cortocircuito de izquierda a derecha, así que el orden sí cambia qué se ejecuta. `usuario != null && usuario.activo` es seguro, pero al invertirlo puede lanzar una excepción.
Lo mismo ocurre con el rendimiento: conviene poner primero la condición más barata o la que falla más a menudo, aunque el resultado lógico sea el mismo.
Ejemplos
Cotidiano: «necesito pasaporte y visa» es el mismo requisito que «necesito visa y pasaporte».
Contraejemplo con el condicional: «si es un perro, entonces es un mamífero» es verdadero, pero «si es un mamífero, entonces es un perro» es falso. El condicional no conmuta; su inversión correcta es la contrapositiva.
Relación con otras leyes
Junto con la asociatividad permite reordenar libremente cadenas largas de conjunciones o disyunciones, lo que hace innecesarios muchos paréntesis.
La no conmutatividad del condicional es justamente lo que da lugar a la falacia de afirmación del consecuente y a la necesidad de la ley de la contrapositiva.
Pruébalo tú mismo
Modifica la expresión en la calculadora y observa cómo cambia cada paso de la tabla.
Abrir en la calculadora →Operadores relacionados
Preguntas frecuentes
¿El condicional conmuta? ▼
No. p ⇒ q y q ⇒ p son distintas; su tabla difiere en dos filas. Lo que sí es equivalente a p ⇒ q es su contrapositiva, ¬q ⇒ ¬p.
¿Y el bicondicional? ▼
Sí, conmuta: p ⇔ q equivale a q ⇔ p, porque solo depende de si ambos valores coinciden.
Si conmuta, ¿puedo reordenar mis condiciones en código? ▼
Lógicamente sí, pero con cuidado: el cortocircuito de && y || hace que el orden afecte a qué se evalúa y puede provocar errores en tiempo de ejecución.