Un principio lógico y algebraico que produce una afirmación 'dual' válida al intercambiar sistemáticamente operaciones y constantes emparejadas (por ejemplo Y ↔ O, VERDADERO ↔ FALSO, 0 ↔ 1) en una fórmula o ley dentro de contextos proposicionales y de álgebra booleana.

Principio

Si una expresión o ley es válida en un entorno booleano o de retículos, entonces la expresión obtenida reemplazando cada operador y constante por su dual (según los pares duales establecidos) también es válida.

Demostración

En álgebra booleana la ley distributiva a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c) tiene como dual a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c), obtenido al intercambiar ∧ y ∨ y dualizar 0 y 1 cuando estén presentes.

Aplicación incorrecta

Aplicar la dualidad sin dualizar igualmente todas las constantes relevantes o sin respetar la estructura algebraica (por ejemplo intentar dualizar una implicación u operador modal sin dual definido) puede generar afirmaciones no válidas.

Consecuencia

La dualidad genera teoremas emparejados y acorta derivaciones al permitir obtener mecánicamente una segunda ley a partir de una conocida, revelando simetrías estructurales en álgebras booleanas y retículos.

Inversión

La inversión de la dualidad consiste en dejar operadores y constantes fijos en lugar de intercambiarlos; es decir, tratar una fórmula y su supuesto dual como no relacionados en lugar de conectados sistemáticamente.

Límite

Se aplica en contextos proposicionales, de álgebra booleana y de retículos donde se definen pares duales; no se cumple automáticamente en lógicas intensionales, la mayoría de los sistemas modales ni en marcos semánticos sin los duales requeridos.

Tensión semántica

Existe tensión entre la formación dual sintáctica y la complementación semántica: la dualidad es una receta sintáctica que a veces coincide con tomar complementos, pero en algunos contextos complemento y dualidad son operaciones distintas.

Síntesis

Principio De Dualidad: una transformación sintáctica mecánica en contextos booleanos y de retículos que intercambia operadores y constantes emparejadas para producir leyes compañeras igualmente válidas, válida solo cuando se respetan los pares duales y la estructura algebraica subyacente.