Equivalencia lógica
Identificar y demostrar cuándo dos proposiciones compuestas son lógicamente equivalentes mediante tablas de verdad o leyes lógicas.
Introducción
¿Alguna vez te has dado cuenta de que puedes decir la misma cosa usando diferentes palabras? Por ejemplo, decir "está lloviendo y hace frío" es exactamente lo mismo que decir "hace frío y está lloviendo". En el mundo de la lógica matemática pasa algo muy parecido.
A veces, dos frases o expresiones lógicas parecen muy distintas a simple vista, pero cuando las analizamos con cuidado, descubrimos que significan exactamente lo mismo en cualquier situación.
A este "gemelo de significado" en matemáticas lo llamamos equivalencia lógica. Es como una balanza perfecta: si un lado es verdadero, el otro también lo es; y si uno es falso, el otro lo acompaña.
Explicación
La equivalencia lógica ocurre cuando dos proposiciones lógicas tienen exactamente los mismos valores de verdad para cada una de las combinaciones posibles de sus variables proposicionales.
Formalmente, si tenemos dos proposiciones lógicas $P$ y $Q$ formadas por las mismas variables proposicionales, decimos que son lógicamente equivalentes si y solo si la proposición bicondicional $P \leftrightarrow Q$ es una tautología (es decir, siempre es verdadera para cualquier asignación de verdad). Esto se denota como:
$$P \equiv Q$$
o también:
$$P \Leftrightarrow Q$$
Demostración mediante Tablas de Verdad
Para demostrar que $P \equiv Q$, podemos construir la tabla de verdad para ambas y comparar sus columnas finales:
- Si las columnas resultantes son idénticas fila por fila, entonces son equivalentes.
- Si difieren en al menos una fila, no son equivalentes.
Por ejemplo, comparemos $\neg(p \lor q)$ y $\neg p \land \neg q$ (Ley de De Morgan):
| $p$ | $q$ | $p \lor q$ | $\neg(p \lor q)$ | $\neg p$ | $\neg q$ | $\neg p \land \neg q$ |
|---|---|---|---|---|---|---|
| V | V | V | F | F | F | F |
| V | F | V | F | F | V | F |
| F | V | V | F | V | F | F |
| F | F | F | V | V | V | V |
Como las columnas de $\neg(p \lor q)$ y $\neg p \land \neg q$ son idénticas, concluimos que $\neg(p \lor q) \equiv \neg p \land \neg q$.
Cómo hacerlo paso a paso
- Paso 1: Identificar las variables proposicionales simples involucradas en ambas expresiones (por ejemplo, $p$ y $q$).
- Paso 2: Construir una tabla de verdad que contenga columnas para las variables simples y todas las subexpresiones lógicas.
- Paso 3: Calcular paso a paso los valores de verdad de la primera proposición compuesta $P$ y luego de la segunda proposición compuesta $Q$.
- Paso 4: Comparar los resultados de ambas columnas fila por fila. Si todos los valores de verdad coinciden en cada fila, entonces la equivalencia lógica es válida: $P \equiv Q$. En esquema: $P \leftrightarrow Q \text{ es tautología} \vdash P \equiv Q$.
Ejemplos
1 Determina si las proposiciones $p \to q$ y $\neg p \lor q$ son lógicamente equivalentes.
- Paso a: Construimos la tabla de verdad con las variables $p$ y $q$.
- Paso b: Para el condicional $p \to q$, la columna resultante es (V, F, V, V) para las filas (VV, VF, FV, FF).
- Paso c: Para la disyunción $\neg p \lor q$, calculamos primero $\neg p$ (F, F, V, V). Al operar la disyunción con $q$, la columna resultante es (V, F, V, V).
- Paso d: Al comparar ambas columnas de resultados, vemos que coinciden exactamente en cada fila. Por lo tanto, la cadena de equivalencia es $p \to q \equiv \neg p \lor q$.
2 Verifica si $p \land (q \lor r)$ es lógicamente equivalente a $(p \land q) \lor r$.
- Paso a: Si analizamos la combinación donde $p$ es Falso, $q$ es Falso y $r$ es Verdadero (F, F, V).
- Paso b: Evaluamos la primera expresión: $p \land (q \lor r) \equiv F \land (F \lor V) \equiv F \land V \equiv F$.
- Paso c: Evaluamos la segunda expresión: $(p \land q) \lor r \equiv (F \land F) \lor V \equiv F \lor V \equiv V$.
- Paso d: Dado que para la combinación (F, F, V) una expresión da Falso y la otra da Verdadero, no coinciden en todas las filas. Por lo tanto, no son lógicamente equivalentes: $p \land (q \lor r) \not\equiv (p \land q) \lor r$.
3 ¿Son las proposiciones $\neg(p \land q)$ y $\neg p \land \neg q$ lógicamente equivalentes?
- La equivalencia correcta para la negación de una conjunción es la Ley de De Morgan: $\neg(p \land q) \equiv \neg p \lor \neg q$, la cual usa una disyunción ($\lor$) y no una conjunción ($\land$).
- Si evaluamos la combinación $p$ Verdadero y $q$ Falso (V, F), tenemos $\neg(V \land F) \equiv \neg F \equiv V$, mientras que $\neg V \land \neg F \equiv F \land V \equiv F$.
- Al no coincidir en todos sus valores, demostramos la no equivalencia: $\neg(p \land q) \not\equiv \neg p \land \neg q$.
4 ¿La expresión $p \leftrightarrow q$ es lógicamente equivalente a $(p \to q) \land (q \to p)$?
- Por definición formal, el bicondicional 'si y solo si' ($p \leftrightarrow q$) requiere que se cumpla la implicación en ambos sentidos.
- La tabla de verdad de ambos da Verdadero cuando $p$ y $q$ tienen el mismo valor de verdad (ambas V o ambas F) y da Falso cuando difieren.
- Así se comprueba la equivalencia lógica: $(p \leftrightarrow q) \equiv (p \to q) \land (q \to p)$.
Ejemplos Verdadero/Falso
"Pensar que dos proposiciones son equivalentes solo porque coinciden en algunas filas de la tabla de verdad; deben coincidir en absolutamente todas."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Creer que si dos proposiciones tienen la misma cantidad de letras variables, automáticamente son equivalentes."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir la equivalencia lógica con el condicional simple; la equivalencia requiere una relación bidireccional de igualdad de verdad."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Olvidar evaluar todas las filas posibles de la tabla (por ejemplo, omitir filas cuando hay 3 variables, donde debe haber 8 filas)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Asumir que si una equivalencia lógica se cumple para un ejemplo de la vida real, se cumple siempre formalmente sin verificar la estructura lógica."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
Dos proposiciones compuestas $P$ y $Q$ son lógicamente equivalentes (denotado $P \equiv Q$) si tienen el mismo valor de verdad en todas las filas de su tabla de verdad. Esto significa que la proposición bicondicional $P \leftrightarrow Q$ es una tautología.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Qué significa que dos proposiciones compuestas $P$ y $Q$ sean lógicamente equivalentes?
Por definición de equivalencia lógica, $P \equiv Q$ si y solo si sus columnas de verdad coinciden en todas las filas de la tabla de verdad.
Respuesta: Tienen los mismos valores de verdad para cada combinación en su tabla de verdad
-
Si $P \equiv Q$, ¿cuál de las siguientes proposiciones compuestas es una tautología?
Dos proposiciones son equivalentes si y solo si su bicondicional $P \leftrightarrow Q$ es siempre verdadera (tautología).
Respuesta: $P \leftrightarrow Q$
-
¿Cuál de las siguientes denotaciones se utiliza comúnmente para indicar que $P$ es lógicamente equivalente a $Q$?
La equivalencia lógica se representa mediante el símbolo $\equiv$ o $\Leftrightarrow$.
Respuesta: $P \equiv Q$
Reconocimiento
Identificar elementos, datos o procedimientos.
-
¿Cuál de las siguientes parejas de proposiciones es una equivalencia lógica conocida como la conmutatividad de la disyunción?
La conmutatividad de la disyunción establece que el orden de los sumandos lógicos no altera su valor: $p \lor q \equiv q \lor p$.
Respuesta: $p \lor q \equiv q \lor p$
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿Son lógicamente equivalentes las proposiciones $p \land q$ y $p \lor q$?
$p \land q$ solo es verdadera si ambas variables son verdaderas, mientras que $p \lor q$ es verdadera si al menos una lo es. Sus tablas no coinciden: $p \land q \not\equiv p \lor q$.
Respuesta: Falso
-
¿Es lógicamente equivalente $\neg(p \to q)$ a $p \land \neg q$?
Dado que $p \to q \equiv \neg p \lor q$, al negar ambos lados obtenemos $\neg(p \to q) \equiv \neg(\neg p \lor q) \equiv p \land \neg q$ por la Ley de De Morgan.
Respuesta: Verdadero
-
¿Son lógicamente equivalentes las proposiciones $p \to q$ y $\neg p \lor q$?
Su equivalencia se demuestra mediante la tabla de verdad, donde ambas dan la columna (V, F, V, V) para las filas (VV, VF, FV, FF). Por lo tanto, $p \to q \equiv \neg p \lor q$.
Respuesta: Verdadero
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Un profesor desafía a sus estudiantes a simplificar la expresión lógica $\neg(p \to q) \lor (p \land \neg q)$. Utilizando las equivalencias lógicas conocidas, ¿a qué expresión simplificada equivale esta fórmula?
Sabemos que la negación del condicional equivale a: $\neg(p \to q) \equiv p \land \neg q$. Por lo tanto, la expresión queda como $(p \land \neg q) \lor (p \land \neg q)$, que por idempotencia equivale a $p \land \neg q$.
Respuesta: $p \land \neg q$
-
En un circuito de control automático, se diseñaron dos interruptores lógicos programados como $A = \neg(p \land q)$ y $B = \neg p \lor \neg q$. ¿Qué relación lógica existe entre los interruptores $A$ y $B$?
Por la Ley de De Morgan, la negación de una conjunción es equivalente a la disyunción de las negaciones: $\neg(p \land q) \equiv \neg p \lor \neg q$. Por ende, los interruptores $A$ y $B$ son equivalentes.
Respuesta: Son lógicamente equivalentes por Ley de De Morgan
-
Si se sabe que la proposición $p$ es verdadera y $q$ es falsa, ¿cuál de las siguientes proposiciones lógicamente equivalentes a la disyunción exclusiva $(p \lor q) \land \neg(p \land q)$ tendrá un valor de verdad FALSO?
Dado que $p$ es V y $q$ es F, difieren en su valor de verdad. La disyunción exclusiva es Verdadera. El bicondicional $p \leftrightarrow q$ es Falso cuando las variables difieren, por lo que es la opción correcta.
Respuesta: $p \leftrightarrow q$