Leyes de De Morgan

Representación gráfica de las leyes de De Morgan

En lógica proposicional y álgebra de Boole,

las leyes de De Morgan[1][2][3] son un par
de reglas de transformación que son
ambas reglas de inferencia válidas. Las
normas permiten la expresión de las
conjunciones y disyunciones puramente
en términos de vía negación.

Las reglas se pueden expresar en español

como:

La negación de la conjunción es la
disyunción de las negaciones.
La negación de la disyunción es la
conjunción de las negaciones.

o informalmente como:
 "no (A y B)" es lo mismo que "
(no A) o (no B)"

y también,

"no (A o B)" es lo mismo que "

(no A) y (no B)"

Las reglas pueden ser expresadas en un

lenguaje formal con dos proposiciones P y
Q, de esta forma:
donde:

¬ es el operador de negación (NO)

es el operador de conjunción (Y)
es el operador de disyunción (O)
⇔ es un símbolo metalógico que
significa "puede ser reemplazado en una
prueba lógica"

Entre la aplicaciones de las normas se

incluyen la simplificación de expresiones
lógicas en programas de computación y
diseño de circuitos digitales. Las leyes de
De Morgan son un ejemplo de concepto
más general de dualidad matemática.
Notación formal
La regla de la negación de la conjunción
se puede escribir en la subsiguiente
notación:

La negación de la regla de disyunción se

puede escribir como:

En forma de regla: negación de la

conjunción
y negación de la disyunción

y se expresa como una tautología verdad-

funcional o teorema de lógica
proposicional:

donde ,y son proposiciones

expresadas en algún sistema formal.

Forma de sustitución
Normalmente, las leyes de De Morgan se
muestran en forma compacta como se
muestran arriba, con la negación de la
salida de la izquierda y la de las entradas a
la derecha.

Conjunción

La conjunción de dos proposiciones es

equivalente a la negación de la disyunción
de los términos negados

Disyunción
La disyunción de dos proposiciones es
equivalente a la negación de la conjunción
de la negación de P y la negación de Q

Negaciones de operadores en las

conjunciones y disyunciones

Conjunción con P negada

La conjunción de la proposición P negada

y la preposición Q es equivalente a la
negación de la disyunción de P y la
negación de Q
Conjunción con Q negada

La conjunción de la proposición P y la
preposición Q negada es equivalente a la
negación de la disyunción de la negación
de P y Q

Conjunción tanto de P como de Q

negadas

La conjunción de la proposición P y Q
negadas es equivalente a la negación de la
disyunción de P y Q

Disyunción con P negada

La disyunción de la proposición P negada

y la preposición Q es equivalente a la
negación de la conjunción de P y la
negación de Q

Esta forma también es equivalente al

implica de la negación del término P y la
negación del término Q
Disyunción con Q negada

La disyunción de la proposición P y la
preposición Q negada es equivalente a la
negación de la conjunción de la negación
de P y Q

Disyunción tanto de P como de Q negadas

La disyunción de la proposición P y Q
negadas es equivalente a la conjunción de
la disyunción de P y Q
Esto pone de relieve la necesidad de
invertir tanto en las entradas como en las
salidas, así como también cambiar el
operador, haciendo una sustitución.

Teoría de conjuntos y el
álgebra de Boole

En la teoría de conjuntos y el álgebra de

Boole, a menudo se indica como
"Intercambio de Unión e intersección bajo
la complementación",[4] que puede ser
expresado formalmente como:
 que puede ser
expresado formalmente como:

donde:

A es la negación de A, la línea alta está

escrita sobre las términos que se niegan
∩ es el intersección operador (Y)
∪ es el operador unión (O)
La forma generalizada es:
donde I es un conjunto indexado,
posiblemente incontable.

Se puede recordar la ley de De Morgan, en

notación de conjunto, mediante la regla
nemotécnica "romper la línea, cambiar el
signo".[5]

Ingeniería

En ingeniería electrónica e informática, la

ley de De Morgan se escribe comúnmente
como:
donde:

es el Y lógico
es el O lógico
la barra superior es el NO lógico de lo
que está por debajo de la barra superior.

Historia
La ley lleva el nombre de Augustus De
Morgan (1806-1871)[6] que presentó una
versión formal de las leyes de la lógica
proposicional clásica. La formulación de
De Morgan fue influenciado por la
alegorización de la lógica emprendida por
George Boole, que más tarde consolidó la
afirmación de De Morgan para el hallazgo.
Aunque Aristóteles ya había hecho una
observación similar y eran conocidas por
los lógicos griegos y medievales[7] (en el
siglo XIV, Guillermo de Ockham escribió
las palabras que resultarían leyendo las
leyes a cabo),[8] A De Morgan se le da
crédito de afirmar formalmente las leyes y
de su incorporación al lenguaje de la
lógica. Las leyes de De Morgan pueden ser
probadas fácilmente, e incluso puede
parecer triviales.[9] Sin embargo, estas
leyes son útiles para hacer inferencias
válidas en las pruebas y los argumentos
deductivos.

Prueba informal
El teorema de De Morgan se puede aplicar
tanto a la negación de una disyunción
como a la negación de una conjunción en
la totalidad o parte de una fórmula.

Negación de una disyunción

En el caso de su aplicación a una

disyunción, considere la siguiente
afirmación: "es falso que uno de A o B es
verdadero", que se escribe como:

En que se ha establecido que ni A ni B es

cierto, entonces debe seguir que tanto A
no es verdad como B no es verdad, que
puede ser escrito directamente como:

Presentadas en español, esto sigue la

lógica de que "Como es falso que dos
cosas sean verdaderas, al menos uno de
ellos debe ser falsa."

Trabajando en dirección opuesta, la

segunda expresión afirma que A es falsa y
B es falsa (o equivalentemente que "no A"
y "no B" son verdaderas). Sabiendo esto,
una disyunción de A y B también debe ser
falsas. Por lo tanto, la negación de dicha
separación debe ser verdad, y el resultado
es idéntico al de la primera reivindicación.

Prueba formal
La prueba que se
realiza por primera probando que
, y luego probando
que obviamente
este procedimiento es válido.

Considérese . Entonces
. Ya que
, entonces
ya sea o . Si ,
entonces , entonces
. De otro modo, si ,
entonces , por lo tanto
. Debido a que esto es
cierto para cualquier arbitrario
, entonces
,y
entonces .

Para probar la dirección inversa, asumir

que de tal forma que
. Entonces . De
ello resulta que y . Entonces
y . Pero luego
, contradiciendo la hipótesis
de que . Por lo tanto,
,y
.
Como y
, entonces
, concluyendo la
prueba de la ley de De Morgan.

De manera similar, se comprueba la otra

ley de De Morgan, que
.

Extensiones

Las leyes de De Morgan representadas como un

circuito con puertas lógicas
En extensiones de la lógica proposicional,
se mantiene la dualidad clásica, (es decir,
a cualquier operador lógico siempre
podemos encontrar su doble), ya que en la
presencia de las identidades que rigen la
negación, siempre se puede introducir un
operador que sea el doble de De Morgan
del otro. Esto conduce a una importante
propiedad de la lógica basada en la lógica
clásica, a saber, la existencia de formas
normales de negación: cualquier fórmula
es equivalente a otra fórmula en la que
solo se producen negaciones aplicadas a
las atómicas no lógicas de la fórmula. La
existencia de formas normales negadas
conduce a muchas aplicaciones, por
ejemplo en el diseño de circuitos digitales,
donde se utiliza para manipular los tipos
de compuertas lógicas, y en la lógica
formal, donde es un requisito previo para
encontrar la forma normal conjuntiva y la
forma normal disyuntiva de una fórmula.
Los programadores de computadoras los
utilizan para simplificar o bien negar
complicadas condiciones lógicas.
También suelen ser útiles para los
cálculos en la teoría de probabilidad
elemental.

Vamos a definir el dual de cualquier

operador P(p, q, ...) en función de las
proposiciones elementales p, q, ... para ser
el operador definido por

Esta idea se puede generalizar a los

cuantificadores, así que, por ejemplo el
cuantificador universal y cuantificador
existencial son duales:

Relacionar estas dualidades del

cuantificador a las leyes de De Morgan,
establecer un modelo con un pequeño
número de elementos en su dominio D,
tales como
 D = {a, b, c}.

Entonces

Pero, usando las leyes de De Morgan,

verificando las dualidades del

cuantificador en el modelo.
Entonces, las dualidades del cuantificador
pueden ser extendidas aún más a la lógica
modal, que relaciona el cuadro de los
operadores ("necesariamente") y diamante
("posiblemente"):

En su aplicación a las modalidades

aléticas de posibilidad y necesidad,
Aristóteles observó este caso, y en el caso
de la lógica modal normal, se puede
entender la relación de estos operadores
modales a la cuantificación mediante la
creación de modelos utilizando la
semántica de Kripke.
Véase también
Isomorfismo (operador NO como
isomorfismo entre lógica positiva y
lógica negativa)
Lista de los temas de álgebra de Boole
Proposición

Referencias
1. Copi y Cohen
2. Hurley
3. Moore y Parker
4. Boolean Algebra Por R. L. Goodstein.
ISBN 0-486-45894-6
5. 2000 Solved Problems in Digital
Electronics de S. P. Bali
6. DeMorgan’s Theorems en mtsu.edu
7. Bocheński's History of Formal Logic
(Historia de la lógica formal)
8. William of Ockham, Summa Logicae,
parte II, secciones 32 y 33.
9. Augustus De Morgan (1806-1871) por
Robert H. Orr

Enlaces externos
Hazewinkel, Michiel, ed. (2001), «Duality
principle (Principio de dualidad)» ,
Encyclopaedia of Mathematics (en
inglés), Springer, ISBN 978-1556080104
Weisstein, Eric W. «de Morgan's Laws» .
En Weisstein, Eric W. MathWorld (en
inglés). Wolfram Research.
Leyes de De Morgan en PlanetMath.
(en inglés)
Esta obra contiene una traducción total
y basada en derivada de De Morgan's
laws de Wikipedia en
inglés, concretamente de esta versión,
publicada por sus editores bajo la
Licencia de documentación libre de
GNU y la Licencia Creative Commons
Atribución-CompartirIgual 3.0
Unported.]