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

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

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

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

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

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

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

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

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.