Introducción a la lógica proposicional
La lógica proposicional es la rama de la lógica que estudia las proposiciones, enunciados que pueden ser verdaderos o falsos sin ambigüedad. Cada proposición se representa habitualmente con letras como p, q, r, …, z. Los valores de verdad asociados son V (verdadero) y F (falso).
Tipos de proposiciones
- Proposición atómica: no contiene conectivos lógicos.
- Proposición molecular: contiene al menos un conectivo.
- Proposición simple: sin conectivos.
- Proposición compuesta: con al menos un conectivo.
Valores de verdad básicos
Los dos valores de verdad son:
- Verdadero (V)
- Falso (F)
Conectivos lógicos y sus símbolos
| Conectivo | Símbolo | Interpretación |
|---|---|---|
| Negación | ~ | Niega una proposición |
| Conjunción | ∧ | “y” lógico |
| Disyunción débil | ∨ | “o” lógico (al menos uno) |
| Disyunción fuerte | Δ | “o…o…” exclusivo |
| Condicional | → | “si… entonces” |
| Bicondicional | ↔ | “si y solo si” |
Orden de precedencia
Los conectivos se evalúan según la siguiente jerarquía:
- ~ (negación)
- ∧ (conjunción)
- ∨ (disyunción débil)
- → (condicional)
- Δ (disyunción fuerte)
- ↔ (bicondicional)
Tablas de verdad esenciales
Negación
La tabla de verdad de la negación invierte el valor de la proposición:
- V → F
- F → V
Conjunción (p ∧ q)
Es verdadera solo cuando ambas proposiciones son verdaderas.
Disyunción débil (p ∨ q)
Es falsa solo cuando ambas proposiciones son falsas; en cualquier otro caso es verdadera.
Condicional (p → q)
Se interpreta como “si p entonces q”. Su tabla de verdad muestra que es falso únicamente cuando p es verdadero y q es falso; en los demás casos es verdadero.
Bicondicional (p ↔ q)
Es verdadero cuando p y q tienen el mismo valor de verdad y falso cuando difieren.
Leyes y equivalencias fundamentales
- Ley de la doble negación: ~~p ≡ p.
- Ley del complemento: p ∨ ~p ≡ V.
- Ley de De Morgan: ~(p ∨ q) ≡ ~p ∧ ~q y ~(p ∧ q) ≡ ~p ∨ ~q.
- Ley de idempotencia (conjunción): p ∧ p ≡ p.
- Ley de absorción: p ∨ (p ∧ q) ≡ p.
- Ley de asociatividad (conjunción): (p ∧ q) ∧ r ≡ p ∧ (q ∧ r).
- Ley de la equivalencia condicional: p → q ≡ ~p ∨ q.
- Ley de la identidad para la disyunción fuerte: p Δ q ≡ ~(p ↔ q).
Ejemplos de tautología y contradicción
Una tautología es una proposición compuesta que resulta verdadera para cualquier combinación de valores de verdad, por ejemplo p ∨ ~p. Una contradicción es siempre falsa, como p ∧ ~p. Las proposiciones que no son ni tautologías ni contradicciones se denominan contingencias.
Aplicaciones prácticas
Comprender estas reglas permite simplificar expresiones lógicas, diseñar circuitos digitales y razonar de forma rigurosa en matemáticas y filosofía. Por ejemplo, al transformar una expresión compleja usando las leyes de De Morgan o la absorción, se reduce el número de conectivos y se facilita su evaluación.
Ejercicio de simplificación
Simplifique la expresión ~(p ∨ ~q) ∧ (p ∧ p) paso a paso:
- Aplicar De Morgan: ~(p ∨ ~q) ≡ ~p ∧ ~~q.
- Reducir la doble negación: ~~q ≡ q.
- Usar idempotencia: p ∧ p ≡ p.
- Reescribir la expresión: (~p ∧ q) ∧ p.
- Aplicar asociatividad y conmutatividad: p ∧ ~p ∧ q.
- Observar la contradicción p ∧ ~p ≡ F, por lo que toda la expresión es F.
Este proceso muestra cómo las leyes lógicas facilitan la evaluación y la detección de contradicciones.
Resumen
La lógica proposicional estudia enunciados que son estrictamente verdaderos o falsos. Utiliza conectivos como ~, ∧, ∨, →, Δ y ↔, cada uno con reglas de precedencia y tablas de verdad específicas. Las leyes de la lógica—doble negación, De Morgan, absorción, asociatividad, entre otras—permiten transformar y simplificar expresiones, identificar tautologías, contradicciones y contingencias. Dominar estos conceptos es esencial para el razonamiento formal en diversas disciplinas.
