## [Ley de Aniquilación](/es/node/60930) Definición Una familia de identidades algebraicas/lógicas que establece que un elemento absorbente para un conectivo colapsa cualquier compuesto que lo contenga (p. ej., A ∧ false = false, A ∨ true = true). ## Principio Principio Si un operando de un conectivo binario es un aniquilador para ese conectivo, el valor de toda la expresión es igual a ese aniquilador sin importar el otro operando. ## Demostración Demostración En lógica proposicional clásica, false es un aniquilador para la conjunción: para cualquier fórmula A, A ∧ false evalúa a false. Simétricamente, true es un aniquilador para la disyunción: A ∨ true evalúa a true. ## Aplicación incorrecta Aplicación incorrecta Tratar como aniquiladores a valores que no lo son en el marco dado (por ejemplo afirmar A ∧ 0 = 0 en un álgebra no booleana donde 0 no absorbe), o confundir aniquilador con elemento identidad (p. ej. afirmar A ∧ true = true). ## Consecuencia Consecuencia Reconocer aniquiladores permite simplificaciones agresivas y evaluación por cortocircuito de fórmulas y programas, y reduce la búsqueda de pruebas al eliminar ramas que contienen valores absorbentes. ## Inversión Inversión La inversión natural contrasta con las leyes de identidad: en vez de colapsar a un valor fijo, un elemento identidad deja la expresión sin cambio (A ∧ true = A, A ∨ false = A). ## Límite Límite Se aplica cuando los conectivos y sus elementos absorbentes están definidos (conectivos booleanos clásicos, muchas estructuras algebraicas). No aplica universalmente en lógicas no booleanas, valores de verdad probabilísticos o sistemas con conectivos no deterministas o dependientes del contexto. ## Tensión semántica Tensión semántica Existe tensión con las leyes de identidad e idempotencia: las leyes de aniquilación fuerzan el colapso a un valor fijo, mientras que las de identidad preservan el operando no trivial; la elección influye en la estrategia de simplificación. ## Síntesis Síntesis La ley de aniquilación afirma que ciertos valores fijos convierten una expresión compuesta en equivalente a ese valor bajo un conectivo dado; en práctica se usa para colapsar, optimizar y razonar sobre fórmulas sustituyendo expresiones que contienen elementos absorbentes por dichos elementos.