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

Resumen inicial

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

Explicación en palabras simples

La Primera Ley de De Morgan nos enseña cómo negar correctamente una frase que tiene la palabra "y" (una conjunción). Si alguien afirma: "Es falso que estudié y aprobé", eso significa que o bien no estudió, o bien no aprobó (o ambas). En símbolos lógicos: $\neg(p \land q) \equiv \neg p \lor \neg q$. Al introducir la negación dentro del paréntesis, se niega cada proposición por separado y el conector "y" ($\land$) se transforma en "o" ($\lor$).

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

Explicación formal

Definición formal

En el cálculo proposicional, la Ley de De Morgan para la conjunción es el teorema de dualidad lógica que establece la equivalencia semántica:
$$\neg(p \land q) \equiv \neg p \lor \neg q \quad \iff \quad \models \neg(p \land q) \leftrightarrow (\neg p \lor \neg q)$$
En teoría de conjuntos, corresponde al complemento de la intersección: $(A \cap B)^c = A^c \cup 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 conjuntor ($\land$) por el disyuntor ($\lor$).
Vector de salida conjunto:
$\mathbf{v}(p \land q) = [V, F, F, F]^T \implies \mathbf{v}(\neg(p \land q)) = [F, V, V, V]^T$.
$\mathbf{v}(\neg p \lor \neg q) = [F \lor F, F \lor V, V \lor F, V \lor V]^T = [F, V, V, V]^T$.

Síntesis didáctica

Para negar que dos condiciones ocurran simultáneamente, basta con afirmar que al menos una de ellas no ocurre.

Definiciones clave

Ley de De Morgan para la conjunción: Teorema lógico formalizado por $\neg(p \land q) \equiv \neg p \lor \neg q$.
Dualidad de operadores: Principio por el cual la conjunción y la disyunción se transforman mutuamente bajo la acción del complemento.
Distribución con inversión de conectivo: Regla de reescritura que transforma $\land$ en $\lor$ al negar un bloque.

Propiedades y relaciones importantes

Generalización a $n$ términos: $\neg(p_1 \land p_2 \land \dots \land p_n) \equiv \neg p_1 \lor \neg p_2 \lor \dots \lor \neg p_n$.
Forma normal disyuntiva: Permite transformar fórmulas proposicionales complejas a su forma canónica disyuntiva o conjuntiva.

Ejemplo guiado

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

Diagrama: Leyes de De Morgan (Conjunción)

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

Procedimiento

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

Errores frecuentes y cómo corregirlos

Error 1: Mantener el conector "y" al negar: escribir $\neg(p \land q) \equiv \neg p \land \neg q$. Cómo corregirlo: La Ley de De Morgan exige transformar el conectivo; el conjuntor ($\land$) debe sustituirse por el disyuntor ($\lor$).
Error 2: Negar solo una de las variables dentro del paréntesis. Cómo corregirlo: La negación exterior afecta a ambos operandos por igual: $\neg(p \land q) \equiv \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 conjunción $\neg(p \land q)$ es lógicamente equivalente a $\neg p \land \neg q$."

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

"La afirmación de que la tabla de verdad de $\neg(p \land q)$ produce tres valores falsos y un valor verdadero."

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

"La afirmación de que la Ley de De Morgan solo es válida para proposiciones que sean contingencias."

"La afirmación de que la negación exterior solo se aplica a la primera variable $p$ ignorando a $q$."

"La afirmación de que al aplicar la Ley de De Morgan el conector $\land$ permanece inalterado."

Al terminar debes poder

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

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

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

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

¿Qué conectivo lógico reemplaza a la conjunción al aplicar la Ley de De Morgan para la conjunción?
Al negar una conjunción, el conectivo 'y' ($\land$) se transforma en 'o' ($\lor$), que es la disyunción inclusiva.

Respuesta: Disyunción inclusiva ($\lor$)
La expresión $\neg(p \land q)$ es lógicamente equivalente a:
La Ley de De Morgan para la conjunción establece que la negación de una conjunción es la disyunción de las negaciones: $\neg(p \land q) \equiv \neg p \lor \neg q$.

Respuesta: $\neg p \lor \neg q$
Negar que ocurran simultáneamente dos proposiciones equivale a decir que:
Decir que no ocurre la conjunción ($\neg(p \land q)$) significa que al menos uno de los términos es falso ($\neg p \lor \neg q$).

Respuesta: Al menos una de las dos proposiciones es falsa

Reconocimiento

Identificar elementos, datos o procedimientos.

¿Cuál de las siguientes opciones muestra una aplicación directa y correcta de la Ley de De Morgan para la conjunción?
Aplicando De Morgan a $\neg(p \land \neg q)$ obtenemos $\neg p \lor \neg(\neg q)$, lo cual se reduce a $\neg p \lor q$.

Respuesta: $\neg(p \land \neg q) \equiv \neg p \lor q$

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

¿Es la proposición $\neg(\neg p \land \neg q)$ equivalente a $p \lor q$?
¿Es la proposición $\neg(p \land q)$ equivalente a $\neg p \land \neg q$?
¿Es la proposición $\neg(p \land q)$ falsa cuando ambas variables $p$ y $q$ son verdaderas?

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

Un detective declara en un juicio: 'No es cierto que el sospechoso tuviera el arma y estuviera en la escena del crimen'. Si $a$ representa 'el sospechoso tenía el arma' y $e$ representa 'el sospechoso estaba en la escena', ¿cuál es la declaración equivalente del detective según las leyes de la lógica?
La declaración original es $\neg(a \land e)$. Por De Morgan para la conjunción, esto equivale a $\neg a \lor \neg e$, que significa 'El sospechoso no tenía el arma o no estaba en la escena'.

Respuesta: El sospechoso no tenía el arma o no estaba en la escena
En un sistema de seguridad, una alarma se activa si no se cumple que las dos puertas estén cerradas al mismo tiempo, lo que se modela como $\neg(p \land q)$, donde $p$ y $q$ representan que las puertas 1 y 2 están cerradas. ¿En cuál de las siguientes situaciones la alarma NO se activará?
La alarma se modela como $\neg(p \land q)$. Para que la alarma NO se active, esta proposición debe ser falsa, lo que requiere que $p \land q$ sea verdadera. Esto solo ocurre cuando ambas puertas están cerradas.

Respuesta: La puerta 1 está cerrada y la puerta 2 está cerrada
Un estudiante debe simplificar el circuito lógico representado por la proposición $\neg(p \land (q \land r))$. Aplicando las leyes de De Morgan para la conjunción de manera sucesiva, ¿cuál de las siguientes opciones es equivalente?
Aplicando De Morgan a la conjunción exterior: $\neg p \lor \neg(q \land r)$. Luego, aplicando De Morgan al segundo término: $\neg p \lor (\neg q \lor \neg r)$.

Respuesta: $\neg p \lor (\neg q \lor \neg r)$

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación