Ley de De Morgan para la negación de una disyunción

Resumen inicial

Definición y aplicación de la Ley de De Morgan para la negación de una disyunción: $\neg(p \lor q) \equiv \neg p \land \neg q$.

Explicación en palabras simples

La Segunda Ley de De Morgan nos enseña cómo negar correctamente una frase que tiene la palabra "o" (una disyunción). Si alguien afirma: "No es verdad que vaya al cine o vaya al teatro", significa que no fue al cine Y TAMPOCO fue al teatro. En símbolos lógicos: $\neg(p \lor q) \equiv \neg p \land \neg q$. Al introducir la negación dentro del paréntesis, se niega cada proposición por separado y el conector "o" ($\lor$) se transforma en "y" ($\land$).

Infografía: Leyes de De Morgan (Disyunción)

Explicación formal

Definición formal

En el cálculo proposicional, la Ley de De Morgan para la disyunción es el teorema de dualidad lógica que establece la equivalencia semántica:
$$\neg(p \lor q) \equiv \neg p \land \neg q \quad \iff \quad \models \neg(p \lor q) \leftrightarrow (\neg p \land \neg q)$$
En la teoría de conjuntos, corresponde al complemento de la unión: $(A \cup B)^c = A^c \cap B^c$.

Desglose simbólico

Transformación estructural: El operador unario exterior $\neg$ se distribuye invirtiendo los literales ($p \mapsto \neg p$, $q \mapsto \neg q$) y conmuta el operador disyuntor ($\lor$) por el conjuntor ($\land$).
Vector de salida conjunto:
$\mathbf{v}(p \lor q) = [V, V, V, F]^T \implies \mathbf{v}(\neg(p \lor q)) = [F, F, F, V]^T$.
$\mathbf{v}(\neg p \land \neg q) = [F \land F, F \land V, V \land F, V \land V]^T = [F, F, F, V]^T$.

Síntesis didáctica

Para negar que ocurra al menos una de dos alternativas, es imprescindible exigir que no ocurra ninguna de ellas simultáneamente.

Definiciones clave

Ley de De Morgan para la disyunción: Teorema lógico formalizado por $\neg(p \lor q) \equiv \neg p \land \neg q$.
Dualidad de operadores: Principio por el cual la disyunción se transforma en conjunción al aplicar la negación exterior.
Complemento de la unión: Interpretación conjuntista homomorfa a la segunda ley de De Morgan.

Propiedades y relaciones importantes

Generalización a $n$ términos: $\neg(p_1 \lor p_2 \lor \dots \lor p_n) \equiv \neg p_1 \land \neg p_2 \land \dots \land \neg p_n$.
Forma normal conjuntiva: Permite expresar negaciones de disyunciones como cláusulas conjuntivas atómicas.

Ejemplo guiado

Demuestra mediante tabla de verdad que la fórmula $\neg(p \lor q)$ es lógicamente equivalente a $\neg p \land \neg q$.

Diagrama: Leyes de De Morgan (Disyunción)

Paso 1: Disponer las $4$ combinaciones canónicas de entrada para $p$ y $q$.
Paso 2: Calcular la subcolumna $p \lor q$: $[V, V, V, F]^T$.
Paso 3: Calcular el lado izquierdo $\neg(p \lor q)$: Invertir la columna anterior, obteniendo $[F, F, F, V]^T$.
Paso 4: Calcular el lado derecho $\neg p \land \neg q$: - Fila 1 ($F \land F$): $F$ - Fila 2 ($F \land V$): $F$ - Fila 3 ($V \land F$): $F$ - Fila 4 ($V \land V$): $V$. Vector: $[F, F, F, V]^T$.
Paso 5: Comparar los vectores: Como $[F, F, F, V]^T = [F, F, F, V]^T$, se demuestra formalmente la Segunda Ley de De Morgan.

Procedimiento

Paso 1: Identificar una fórmula con estructura de disyunción negada: $\neg(A \lor B)$.
Paso 2: Negar individualmente el primer término $A \mapsto \neg A$.
Paso 3: Sustituir el conectivo de disyunción $\lor$ por el de conjunción $\land$.
Paso 4: Negar individualmente el segundo término $B \mapsto \neg B$.
Paso 5: Escribir la expresión equivalente resultante: $\neg A \land \neg B$.

Errores frecuentes y cómo corregirlos

Error 1: Mantener el conector "o" al negar: escribir $\neg(p \lor q) \equiv \neg p \lor \neg q$. Cómo corregirlo: La Ley de De Morgan para la disyunción exige transformar el operador $\lor$ en el operador $\land$.
Error 2: Confundir la negación de la disyunción con la de la conjunción. Cómo corregirlo: $\neg(p \lor q)$ genera conjunción ($\neg p \land \neg q$), mientras que $\neg(p \land q)$ genera disyunción ($\neg p \lor \neg q$).

Ejemplos

Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.

Ejemplos Verdadero/Falso

Decide si cada afirmación es verdadera o falsa antes de ver la explicación.

"La afirmación de que la negación de una disyunción $\neg(p \lor q)$ es lógicamente equivalente a $\neg p \lor \neg q$."

"La afirmación de que la fórmula $\neg(p \lor q)$ produce el mismo vector de salida que $\neg(p \land q)$."

"La afirmación de que la Ley de De Morgan para la disyunción no es aplicable a expresiones con más de dos variables."

"La Ley de De Morgan para la disyunción establece que la negación de una disyunción es equivalente a la conjunción de las proposiciones negadas: $\neg(p \lor q) \equiv \neg p \land \neg q$."

"La tabla de verdad de $\neg(p \lor q)$ y la de $\neg p \land \neg q$ comparten exactamente el mismo vector columna de salida $[F, F, F, V]^T$."

"La afirmación de que la tabla de verdad de $\neg(p \lor q)$ contiene tres combinaciones verdaderas."

"La afirmación de que al aplicar De Morgan a una disyunción el símbolo $\lor$ se mantiene intacto."

Al terminar debes poder

Cuadro resumen: Leyes de De Morgan (Disyunción)

Conocer, demostrar y aplicar la Ley de De Morgan para la negación de una disyunción ($\neg(p \lor q) \equiv \neg p \land \neg q$).

Distribuir la negación sobre los operandos, transformar el operador $\lor$ en $\land$ y validar la equivalencia mediante tablas de verdad.

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

Decir que es falso que ocurra $p$ o $q$ equivale a decir que:
$\neg(p \lor q) \equiv \neg p \land \neg q$. Para que esta conjunción sea verdadera, ambas variables deben ser falsas simultáneamente.

Respuesta: Tanto $p$ como $q$ son falsas a la vez
¿Qué establece la Ley de De Morgan para la disyunción?
La Ley de De Morgan para la disyunción establece que la negación de una disyunción es la conjunción de las negaciones: $\neg(p \lor q) \equiv \neg p \land \neg q$.

Respuesta: $\neg(p \lor q) \equiv \neg p \land \neg q$
Al negar una disyunción, el conectivo 'o' ($\lor$) se transforma en:
Por las Leyes de De Morgan, la disyunción se transforma en conjunción al ser negada.

Respuesta: Conjunción ($\land$)

Reconocimiento

Identificar elementos, datos o procedimientos.

¿Cuál de las siguientes expresiones es lógicamente equivalente a $\neg(\neg p \lor q)$?
Por De Morgan: $\neg(\neg p \lor q) \equiv \neg(\neg p) \land \neg q \equiv p \land \neg q$.

Respuesta: $p \land \neg q$

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

¿Es la proposición $\neg(p \lor q)$ verdadera cuando $p$ es verdadera y $q$ es falsa?
¿Es la proposición $\neg(\neg p \lor \neg q)$ equivalente a $p \land q$?
¿Es la frase 'No es verdad que vaya al cine o juegue videojuegos' equivalente a 'No voy al cine y no juego videojuegos'?

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

En el diseño de un puente levadizo, el sistema de seguridad prohíbe que el puente esté abierto si se cumple que hay automóviles cruzando o hay peatones en la vía. Si esto se denota como $\neg(a \lor p)$, ¿cuál de las siguientes opciones lógicas es una condición de seguridad equivalente?
Por la Ley de De Morgan para la disyunción, negar una disyunción equivale a la conjunción de los términos negados: $\neg(a \lor p) \equiv \neg a \land \neg p$.

Respuesta: $\neg a \land \neg p$
Considere la proposición compleja $S = \neg(\neg p \lor q)$. Al aplicar la Ley de De Morgan, ¿a qué expresión equivale?
Aplicando De Morgan para la disyunción: $\neg(\neg p) \land \neg q$. Por la ley de doble negación, $\neg(\neg p) \equiv p$. El resultado es $p \land \neg q$.

Respuesta: $p \land \neg q$
Una aerolínea publica el siguiente reglamento de equipaje: 'No está permitido llevar líquidos inflamables o herramientas afiladas en el equipaje de mano'. Si $l$ representa 'llevar líquidos inflamables' y $h$ representa 'llevar herramientas afiladas', ¿cómo se expresa correctamente la restricción en términos lógicos equivalentes?
La restricción se formaliza como $\neg(l \lor h)$. Por De Morgan, esto equivale a $\neg l \land \neg h$, es decir: no llevar líquidos inflamables Y no llevar herramientas afiladas.

Respuesta: No se puede llevar líquidos inflamables y no se puede llevar herramientas afiladas

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación