Relaciones Lógicas

En el ámbito de la aritmética y la lógica proposicional, las relaciones lógicas determinan los vínculos formales de verdad entre dos o más proposiciones compuestas. A diferencia de las operaciones lógicas aisladas, las relaciones comparan las estructuras lógicas de las proposiciones.

---

1. Equivalencia Lógica ($\equiv$ o $\Leftrightarrow$)

Dos proposiciones $P$ y $Q$ son lógicamente equivalentes si y solo si poseen el mismo valor de verdad en todas las asignaciones posibles de su tabla de verdad.

• Condición formal: $P \equiv Q \iff (P \leftrightarrow Q)$ es una tautología.
• Propiedades fundamentales:
  • Reflexiva: $P \equiv P$
  • Simétrica: Si , entonces

Principales Leyes de Equivalencia Lógica:

• Doble Negación: $\sim(\sim P) \equiv P$
• Leyes de De Morgan:
  • $\sim(P \land Q) \equiv \sim P \lor \sim Q$

---

2. Implicación Lógica ($\Rightarrow$)

Se dice que la proposición $P$ implica lógicamente a la proposición $Q$ ($P \Rightarrow Q$) cuando no existe ningún caso en el que $P$ sea verdadera y $Q$ sea falsa.

• Condición formal: $P \Rightarrow Q \iff (P \to Q)$ es una tautología.
• Nota preuniversitaria: Toda implicación lógica es un condicional, pero no todo condicional es una implicación lógica (solo aquellos tautológicos).

Principales Reglas de Inferencia (Implicaciones notables):

• Modus Ponendo Ponens (MPP): $[(P \to Q) \land P] \Rightarrow Q$
• Modus Tollendo Tollens (MTT): $[(P \to Q) \land \sim Q] \Rightarrow \sim P$

---

3. Relaciones de Oposición

Dadas dos proposiciones $P$ y $Q$:

• Contradictorias: Tienen valores de verdad opuestos en cada fila de su tabla. Se cumple que $P \equiv \sim Q$.
• Consistentes: Existe al menos una fila donde ambas son verdaderas simultáneamente ($P \land Q$ no es una contradicción).
• Inconsistentes (Incompatibles): No existe ningún caso en el que ambas sean verdaderas al mismo tiempo ($P \land Q$ es una contradicción).

---

💡 Tips para Resolución de Problemas

1. Para demostrar equivalencia entre dos esquemas, simplifícalos mediante leyes lógicas o construye una tabla para la bicondicional ($P \leftrightarrow Q$).
2. Para verificar una implicación lógica, asume el antecedente como verdadero ($V$) y demuestra que el consecuente obligatoriamente debe ser verdadero ($V$).