Relaciones Lógicas y Álgebra Proposicional

En la lógica proposicional, las relaciones lógicas determinan los vínculos de dependencia, equivalencia y deducción entre dos o más esquemas moleculares. Son fundamentales para la simplificación de fórmulas complejas y el análisis de validez deductiva.

---

1. Conceptos Fundamentales de Relación Lógica

• Relación de Equivalencia Lógica ($\equiv$ o $\Leftrightarrow$): Dos esquemas moleculares $A$ y $B$ son lógicamente equivalentes si tienen exactamente los mismos valores de verdad en su tabla de verdad para cada una de las combinaciones posibles. Formalmente, $A \leftrightarrow B$ es una tautología.
• Relación de Implicación Lógica ($\Rightarrow$): Un esquema molecular $A$ implica lógicamente a otro esquema $B$ si no existe ningún caso donde $A$ sea verdadero y $B$ sea falso. Formalmente, la condicional $A \rightarrow B$ es una .

---

2. Clasificación de Esquemas Moleculares

Al evaluar una fórmula proposicional mediante tablas de verdad o leyes lógicas, se clasifica en:

• Tautología ($T$ o $V$): La matriz principal está compuesta únicamente por valores verdaderos ($V$). Representa una verdad formal invariable.
• Contradicción ($\bot$ o $F$): La matriz principal contiene exclusivamente valores falsos ($F$).

---

3. Principales Leyes del Álgebra Proposicional (Equivalencias Notables)

Estas leyes permiten simplificar proposiciones compuestas complejas a su forma mínima equivalente:

A. Leyes de Involución y Neutro

• Doble Negación: $\sim(\sim p) \equiv p$
• Identidad:
  • $p \land V \equiv p$
  • $p \lor F \equiv p$

B. Leyes de Idempotencia y Complemento

• Idempotencia:
  • $p \land p \equiv p$
  • $p \lor p \equiv p$
• Complemento (Tercio Excluido y Contradicción):
  • $p \lor \sim p \equiv V$

C. Leyes Conmutativas, Asociativas y Distributivas

• Conmutativa: $p \land q \equiv q \land p$ ; $p \lor q \equiv q \lor p$

D. Leyes de De Morgan

• $\sim(p \land q) \equiv \sim p \lor \sim q$
• $\sim(p \lor q) \equiv \sim p \land \sim q$

E. Leyes del Condicional y Bicondicional

• Definición del Condicional: $p \rightarrow q \equiv \sim p \lor q$
• Negación del Condicional: $\sim(p \rightarrow q) \equiv p \land \sim q$

F. Leyes de Absorción

• $p \land (p \lor q) \equiv p$
• $p \lor (p \land q) \equiv p$

---

4. Tipos de Proposiciones Condicionales Relacionadas

Dada la condicional directa $p \rightarrow q$:

1. Recíproca: $q \rightarrow p$
2. Inversa: $\sim p \rightarrow \sim q$
3. Contrarrecíproca: $\sim q \rightarrow \sim p$

Regla práctica preuniversitaria: Toda proposición de la forma $A \rightarrow B$ puede ser reemplazada inmediatamente por su contrarrecíproca $\sim B \rightarrow \sim A$ para facilitar reducciones algebraicas complejas.