Ley de De Morgan para la negación de una conjunción
Aplicar la Ley de De Morgan para la negación de una conjunción para encontrar proposiciones equivalentes.
Introducción
Imagina que tu mamá te dice: "No es verdad que hoy comeremos pizza y hamburguesa". ¿Qué significa eso exactamente? ¿Significa que comerás pizza y no hamburguesa? ¿O al revés? ¿O ninguna?
Lo que tu mamá te está diciendo es que al menos uno de los dos platos no estará en la mesa hoy. En matemáticas, cuando negamos una frase unida por la palabra "y" (una conjunción), lo que hacemos es decir que el primer elemento es falso, O bien el segundo elemento es falso (¡o ambos!).
Esta regla tan ingeniosa fue descubierta por un matemático llamado Augustus De Morgan, y nos ayuda a transformar negaciones complejas de cosas que ocurren juntas en afirmaciones más sencillas separadas por la palabra "o".
Explicación
Las Leyes de De Morgan son un par de reglas de transformación en lógica matemática que permiten simplificar la negación de proposiciones compuestas. La primera de estas leyes aborda la negación de una conjunción ("y").
Establece que negar que dos afirmaciones se cumplan simultáneamente equivale a afirmar que al menos una de ellas no se cumple.
Formalmente:
$$\neg(p \land q) \equiv \neg p \lor \neg q$$
Demostración mediante Tabla de Verdad
Construimos la tabla de verdad para comprobar la equivalencia:
| $p$ | $q$ | $p \land q$ | $\neg(p \land q)$ | $\neg p$ | $\neg q$ | $\neg p \lor \neg q$ |
|---|---|---|---|---|---|---|
| V | V | V | F | F | F | F |
| V | F | F | V | F | V | V |
| F | V | F | V | V | F | V |
| F | F | F | V | V | V | V |
Las columnas correspondientes a $\neg(p \land q)$ y $\neg p \lor \neg q$ son idénticas en todas sus filas, demostrando que la equivalencia es válida.
Cómo hacerlo paso a paso
- Paso 1: Identificar la estructura de negación de una conjunción de la forma $\neg(P \land Q)$.
- Paso 2: Negar individualmente cada una de las proposiciones simples del interior del paréntesis, obteniendo $\neg P$ y $\neg Q$.
- Paso 3: Cambiar el conectivo de conjunción ($\land$) por el de disyunción ($\lor$).
- Paso 4: Escribir la proposición equivalente resultante: $\neg(P \land Q) \equiv \neg P \lor \neg Q$. En esquema: $\neg(p \land q) \vdash \neg p \lor \neg q$.
Ejemplos
1 Simplifica la proposición $\neg(\neg p \land q)$ aplicando la Ley de De Morgan para la conjunción.
- Paso a: Identificamos la negación exterior de una conjunción: $\neg(P \land Q)$, donde $P = \neg p$ y $Q = q$.
- Paso b: Aplicamos De Morgan distribuyendo la negación: $\neg(\neg p) \lor \neg q$.
- Paso c: Simplificamos el término de doble negación: $\neg(\neg p) \equiv p$.
- Paso d: La proposición equivalente final es $p \lor \neg q$.
2 Formaliza y simplifica la frase: 'No es cierto que estudie medicina y practique fútbol'.
- Paso a: Definimos las variables: sea $m$ 'estudie medicina' y $f$ 'practique fútbol'.
- Paso b: La frase original se escribe como la negación de una conjunción: $\neg(m \land f)$.
- Paso c: Aplicamos la Ley de De Morgan para la conjunción: $\neg(m \land f) \equiv \neg m \lor \neg f$.
- Paso d: Traducimos de vuelta al lenguaje natural: 'No estudio medicina o no practico fútbol'.
3 ¿La negación de la conjunción $\neg(p \land \neg q)$ es equivalente a $\neg p \lor q$?
- Partimos de la expresión $\neg(p \land \neg q)$.
- Aplicamos la Ley de De Morgan distribuyendo la negación a cada término y cambiando la conjunción por disyunción: $\neg p \lor \neg(\neg q)$.
- Simplificamos la doble negación $\neg(\neg q) \equiv q$, obteniendo $\neg p \lor q$, lo cual demuestra que la afirmación es verdadera.
4 ¿La expresión $\neg(p \land q)$ es lógicamente equivalente a $\neg p \land \neg q$?
- La Ley de De Morgan exige que al distribuir la negación, el conectivo 'y' ($\land$) cambie a 'o' ($\lor$).
- La expresión propuesta mantiene el conectivo 'y' ($\land$), lo cual es incorrecto.
- Si evaluamos la combinación $p$ Verdadero y $q$ Falso (V, F), $\neg(V \land F) \equiv \neg F \equiv V$, pero $\neg V \land \neg F \equiv F \land V \equiv F$. Al diferir, no son equivalentes.
Ejemplos Verdadero/Falso
"Olvidar cambiar el conectivo central al negar, dejando el mismo 'y' ($\land$) en lugar de transformarlo en 'o' ($\lor$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Negar solo la primera proposición y dejar la segunda intacta (por ejemplo, escribir $\neg(p \land q) \equiv \neg p \lor q$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Creer que la Ley de De Morgan aplica directamente a conectivos distintos a la conjunción y disyunción sin adaptaciones (como el condicional)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir la negación de 'ambas ocurren' con 'ninguna ocurre' (que sería la negación de la disyunción)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"No aplicar la ley de doble negación a las variables que ya estaban negadas dentro del paréntesis (ej: dejar \neg(\neg p) en vez de simplificarlo a p)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
La Ley de De Morgan para la conjunción establece que la negación de una conjunción es lógicamente equivalente a la disyunción de las negaciones de cada proposición. Formalmente, $\neg(p \land q) \equiv \neg p \lor \neg q$.
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$?
Aplicando De Morgan a la conjunción interna: $\neg(\neg p) \lor \neg(\neg q) \equiv p \lor q$, lo cual es verdadero.
Respuesta: Verdadero
-
¿Es la proposición $\neg(p \land q)$ equivalente a $\neg p \land \neg q$?
Incorrecto. La Ley de De Morgan transforma la conjunción en disyunción. La equivalencia correcta es $\neg(p \land q) \equiv \neg p \lor \neg q$.
Respuesta: Falso
-
¿Es la proposición $\neg(p \land q)$ falsa cuando ambas variables $p$ y $q$ son verdaderas?
Si $p$ y $q$ son verdaderas, la conjunción $p \land q$ es verdadera. Por ende, su negación $\neg(p \land q)$ es falsa.
Respuesta: Verdadero
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)$