Equivalencia lógica
Resumen inicial
Definición, demostración y propiedades de la equivalencia lógica ($\equiv$ o $\Leftrightarrow$), que ocurre cuando dos fórmulas comparten idéntica tabla de verdad.
Explicación en palabras simples
Dos fórmulas lógicas son lógicamente equivalentes (escrito con el símbolo $\equiv$ o $\Leftrightarrow$) cuando significan exactamente lo mismo en términos de verdad. Aunque estén escritas con palabras o símbolos diferentes, al construir sus tablas de verdad sus columnas finales son 100% idénticas fila por fila. Por ejemplo, decir "No es cierto que no fui" equivale a decir "Fui", y decir "$p \to q$" equivale exactamente a decir "$\neg p \lor q$".
Explicación formal
Definición formal
En el cálculo proposicional, dos fórmulas bien formadas $\Phi$ y $\Psi$ son lógicamente equivalentes, denotado formalmente como:
$$\Phi \equiv \Psi \quad (\text{o } \Phi \Leftrightarrow \Psi)$$
si y solo si para toda asignación veritativa o modelo $\mathcal{M} \in \mathbb{V}^n$, ambas fórmulas toman idéntico valor de verdad:
$$\forall \mathcal{M}, \quad v_\mathcal{M}(\Phi) = v_\mathcal{M}(\Psi)$$
lo cual ocurre si y solo si la fórmula bicondicional $\Phi \leftrightarrow \Psi$ es una tautología ($\models \Phi \leftrightarrow \Psi$).
Desglose simbólico
- Vector de verdad: $\mathbf{v}(\Phi) = \mathbf{v}(\Psi)$.
- Criterio de tautología: $\models \Phi \leftrightarrow \Psi \iff \Phi \equiv \Psi$.
- Propiedad Reflexiva: $\Phi \equiv \Phi$.
- Propiedad Simétrica: $\Phi \equiv \Psi \implies \Psi \equiv \Phi$.
- Propiedad Transitiva: $(\Phi \equiv \Psi \land \Psi \equiv \Theta) \implies \Phi \equiv \Theta$.
Síntesis didáctica
La equivalencia lógica es una relación de congruencia: permite sustituir una subfórmula por otra equivalente dentro de cualquier demostración sin alterar el valor de verdad global.
La alternativa correcta es 'Cuando sus columnas principales en la tabla de verdad son idénticas fila por fila para toda asignación'. La equivalencia exige identidad veritativa total.
Definiciones clave
- Equivalencia lógica ($\Phi \equiv \Psi$): Relación metalingüística que expresa igualdad veritativa en toda interpretación.
- Principio de sustitución: Regla por la cual una subfórmula puede reemplazarse por su equivalente lógico.
- Bicondicional tautológico: Condición formal que valida operativamente una equivalencia lógica mediante $\models \Phi \leftrightarrow \Psi$.
Propiedades y relaciones importantes
- Estructura de álgebra de Boole: Las equivalencias lógicas estructuran las propiedades de asociatividad, distributividad, absorción y leyes de De Morgan.
- Distinción entre $\leftrightarrow$ y $\equiv$: El símbolo $\leftrightarrow$ es un conectivo del lenguaje objeto; el símbolo $\equiv$ es una relación de equivalencia del metalenguaje.
Ejemplo guiado
Demuestra mediante tabla de verdad que el condicional $p \to q$ es lógicamente equivalente a su forma disyuntiva $\neg p \lor q$.
- Paso 1: Construir las $4$ combinaciones canónicas para $p$ y $q$.
- Paso 2: Calcular la columna de la primera fórmula $\Phi_1 = p \to q$: - Fila 1 ($V, V$): $V \to V = V$ - Fila 2 ($V, F$): $V \to F = F$ - Fila 3 ($F, V$): $F \to V = V$ - Fila 4 ($F, F$): $F \to F = V$. Columna: $[V, F, V, V]^T$.
- Paso 3: Calcular la columna de la segunda fórmula $\Phi_2 = \neg p \lor q$: - Fila 1 ($F \lor V$): $V$ - Fila 2 ($F \lor F$): $F$ - Fila 3 ($V \lor V$): $V$ - Fila 4 ($V \lor F$): $V$. Columna: $[V, F, V, V]^T$.
- Paso 4: Comparar los vectores columna: Ambas columnas arrojan exactamente $[V, F, V, V]^T$.
- Paso 5: Concluir que se demuestra formalmente la equivalencia: $p \to q \equiv \neg p \lor q$.
La alternativa correcta es 'Que $\Phi$ y $\Psi$ son lógicamente equivalentes ($\Phi \equiv \Psi$)'. El bicondicional tautológico es el criterio canónico de equivalencia.
Procedimiento
- Paso 1: Construir una tabla de verdad común con las variables de ambas fórmulas.
- Paso 2: Calcular la columna principal de la primera fórmula $\Phi$.
- Paso 3: Calcular la columna principal de la segunda fórmula $\Psi$.
- Paso 4: Comparar fila por fila ambas columnas; si todos los valores coinciden, declarar que $\Phi \equiv \Psi$.
Errores frecuentes y cómo corregirlos
- Error 1: Afirmar que dos fórmulas son equivalentes porque coinciden en la mayoría de las filas. Cómo corregirlo: La equivalencia lógica exige una concordancia del 100% en todas las filas; si discrepan en una sola celda, no son equivalentes.
- Error 2: Confundir el conectivo bicondicional $\leftrightarrow$ con la relación metalingüística de equivalencia $\equiv$. Cómo corregirlo: $\leftrightarrow$ es un operador que forma nuevas proposiciones; $\equiv$ es una aseveración que afirma que dos fórmulas tienen la misma tabla.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Las tablas de ambas fórmulas coinciden en las 4 filas.
- Por ende, $p \to q \equiv \neg p \lor q$.
- Sí, por la propiedad transitiva de la relación de equivalencia lógica.
- Sí, por la ley de dominación / absorción booleana.
- Sí, es la ley de doble negación fundamental.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Definir, demostrar y aplicar la equivalencia lógica ($\Phi \equiv \Psi$) entre fórmulas proposicionales.
Comparar columnas principales en tablas de verdad y verificar la tautología del bicondicional $\Phi \leftrightarrow \Psi$.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
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$
-
¿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
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$