Tabla de contenido
Aquí aprenderás cómo determinar si una expresión lógica es siempre verdadera o siempre falsa según sea las circunstancias, y esto lo haremos con la ayuda de una herramienta visual llamada tabla de verdad, una herramienta fundamental en lógica proposicional.
En esta guía aprenderás qué son, cómo construirlas paso a paso, y cómo usarlas para clasificar expresiones lógicas.
¿Qué es una Tabla de Verdad?
Una tabla de verdad es una representación tabular que muestra todos los posibles valores de verdad de una expresión lógica, basándose en todas las combinaciones posibles de sus proposiciones componentes.
Definición Formal
Una tabla de verdad enumera sistemáticamente el valor de verdad de una proposición compuesta para cada combinación posible de valores de verdad de sus proposiciones simples.
¿Quien las desarrollo?
Las tablas de verdad fueron desarrolladas por Charles Sanders Peirce en la década de 1880 y popularizadas por Ludwig Wittgenstein en su obra Tractatus Logico-Philosophicus (1921). Hoy son herramientas esenciales en lógica, matemáticas, computación y electrónica digital.
Proposiciones Atómicas vs. Moleculares
Antes de construir tablas de verdad, es importante entender la diferencia entre estos dos tipos de proposiciones.
Proposiciones Atómicas
Una proposición atómica (o simple) es un enunciado que no puede descomponerse en partes más simples. Se representa con letras minúsculas: p, q, r, s…
| Ejemplo | Representación |
|---|---|
| «Hoy es lunes» | p |
| «Está lloviendo» | q |
| «2 + 2 = 4» | r |
Proposiciones Moleculares (Esquemas Moleculares)
Una proposición molecular (o compuesta) es aquella formada por proposiciones atómicas unidas mediante conectivos lógicos.
| Ejemplo | Representación |
|---|---|
| «Hoy es lunes Y está lloviendo» | p ∧ q |
| «Si llueve, entonces me mojo» | p → q |
| «No es cierto que 2+2=5» | ¬p |
¿Que se entiende por molecular?
No es más que una analogía viene de la química:
- Átomos → Proposiciones simples (no se pueden dividir)
- Moléculas → Proposiciones compuestas (átomos unidos por «enlaces» = conectivos)
Esquemas Moleculares
Un esquema molecular es una fórmula proposicional que combina variables (p, q, r…) y conectivos lógicos (¬, ∧, ∨, →, ↔), organizados mediante paréntesis para establecer la jerarquía de las operaciones.
Ejemplos de Esquemas Moleculares
| Esquema | Lectura |
|---|---|
| p ∧ q | «p y q» |
| p ∨ ¬q | «p o no q» |
| (p → q) ∧ r | «(si p entonces q) y r» |
| ¬(p ∨ q) → r | «si no (p o q), entonces r» |
Nombre del Esquema Molecular
El nombre de un esquema molecular lo determina su conectivo principal (el de mayor jerarquía, el último en evaluarse):
| Esquema | Conectivo Principal | Nombre |
|---|---|---|
| p ∧ q | ∧ | Conjunción |
| p ∨ q | ∨ | Disyunción |
| p → q | → | Condicional |
| p ↔ q | ↔ | Bicondicional |
| ¬p | ¬ | Negación |
| (p ∧ q) → r | → | Condicional |
| p ∨ (q ∧ r) | ∨ | Disyunción |
¿Para Qué Sirven las Tablas de Verdad?
Las tablas de verdad tienen múltiples aplicaciones:
1. Determinar valores de verdad
Permiten conocer el valor de una expresión compuesta para cualquier combinación de valores de sus componentes.
2. Clasificar proposiciones
Ayudan a identificar si una proposición es una tautología, contradicción o contingencia.
3. Verificar equivalencias lógicas
Permiten demostrar que dos expresiones son lógicamente equivalentes (tienen los mismos valores de verdad).
4. Validar argumentos
Se usan para verificar si un argumento es válido o inválido.
5. Diseño de circuitos digitales
En electrónica, las tablas de verdad describen el comportamiento de compuertas lógicas (AND, OR, NOT, etc.).
6. Programación
Los operadores booleanos en los lenguajes de programación siguen las mismas reglas.
Componentes de una Tabla de Verdad
Una tabla de verdad tiene tres partes principales:
1. Columnas de Variables (Entrada)
Las primeras columnas contienen las proposiciones atómicas (p, q, r…) con todas sus combinaciones de valores.
2. Columnas Auxiliares (Intermedias)
Columnas para subexpresiones que ayudan a calcular el resultado final paso a paso.
3. Columna Principal (Salida)
La última columna muestra el valor de verdad de la expresión completa.
Ejemplo Visual
Para la expresión (p → q) ∧ p:
| p | q | p → q | (p → q) ∧ p |
|---|---|---|---|
| V | V | V | V |
| V | F | F | F |
| F | V | V | F |
| F | F | V | F |
- Columnas de entrada: p, q
- Columna auxiliar: p → q
- Columna principal: (p → q) ∧ p
Número de Filas de una Tabla de Verdad
El número de filas se calcula con la fórmula:
Donde n es el número de proposiciones atómicas distintas en la expresión.
¿Por que se usa el valor 2ⁿ?
Cada proposición puede tener 2 valores (V o F). Con n proposiciones, las combinaciones posibles son:
| Proposiciones | Fórmula | Filas |
|---|---|---|
| 1 (solo p) | 2¹ | 2 |
| 2 (p, q) | 2² | 4 |
| 3 (p, q, r) | 2³ | 8 |
| 4 (p, q, r, s) | 2⁴ | 16 |
| 5 | 2⁵ | 32 |
| 10 | 2¹⁰ | 1,024 |
Nota: Con 10 proposiciones ya tendríamos más de mil filas. Por eso, para expresiones muy complejas, se usan otros métodos de simplificación.
Forma correcta de llenar las columnas por sus valores de verdad
Existe un método sistemático para asignar los valores V y F a las proposiciones atómicas, garantizando que se cubran todas las combinaciones.
Método Estándar
Para n proposiciones, cada columna sigue un patrón de alternancia:
| Columna | Patrón de alternancia |
|---|---|
| 1ª (más a la izquierda) | La mitad superior V, la mitad inferior F |
| 2ª | Alterna en bloques de n/2 |
| 3ª | Alterna en bloques de n/4 |
| … | … |
| Última (más a la derecha) | Alterna V, F, V, F… uno por uno |
Ejemplo con 3 Variables (p, q, r)
| Fila | p (columna 1) | q (columna 2) | r (columna 3) |
|---|---|---|---|
| 1 | V | V | V |
| 2 | V | V | F |
| 3 | V | F | V |
| 4 | V | F | F |
| 5 | F | V | V |
| 6 | F | V | F |
| 7 | F | F | V |
| 8 | F | F | F |
Observa el patrón:
- p: 4 V seguidos, luego 4 F seguidos
- q: 2 V, 2 F, 2 V, 2 F
- r: V, F, V, F, V, F, V, F (alterna uno a uno)
Regla General
Para la columna i (contando desde la derecha, empezando con la primra columna):
- Alterna en bloques de 2^(i-1) valores
Jerarquía de Operadores (Orden de Evaluación)
Al evaluar una expresión, los conectivos se aplican en este orden de prioridad (de mayor a menor):
| Prioridad | Operador | Nombre |
|---|---|---|
| 1 (mayor) | ¬ | Negación |
| 2 | ∧ | Conjunción |
| 3 | ∨ | Disyunción |
| 4 | → | Condicional |
| 5 (menor) | ↔ | Bicondicional |
Reglas Importantes
- Los paréntesis siempre tienen prioridad máxima – Se evalúa primero lo que está dentro de paréntesis.
- Ante operadores de igual prioridad – Se evalúa de izquierda a derecha.
Ejemplo
En la expresión: ¬p ∨ q ∧ r → s
El orden de evaluación sería:
- ¬p (negación primero)
- q ∧ r (conjunción antes que disyunción)
- (¬p) ∨ (q ∧ r) (disyunción)
- Todo → s (condicional al final)
Equivale a: ((¬p) ∨ (q ∧ r)) → s
Tablas de Verdad de los Conectivos Básicos
Antes de construir tablas complejas, repasemos las tablas fundamentales de cada conectivo.
Negación (¬)
| p | ¬p |
|---|---|
| V | F |
| F | V |
Conjunción (∧)
| p | q | p ∧ q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
Solo es verdadera cuando ambas son verdaderas.
Disyunción (∨)
| p | q | p ∨ q |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
Solo es falsa cuando ambas son falsas.
Condicional (→)
| p | q | p → q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Solo es falso cuando el antecedente es V y el consecuente es F.
Bicondicional (↔)
| p | q | p ↔ q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
Es verdadero cuando ambos tienen el mismo valor.
Disyunción Exclusiva (⊻ o XOR)
| p | q | p ⊻ q |
|---|---|---|
| V | V | F |
| V | F | V |
| F | V | V |
| F | F | F |
Es verdadero cuando tienen valores diferentes.
Construcción Paso a Paso: Ejemplos
Ejemplo 1: Expresión Simple
Construyamos la tabla de verdad para: p → (q ∧ p)
Paso 1: Identificar variables → p, q (n = 2, filas = 4)
Paso 2: Crear columnas para variables y subexpresiones (para el ejemplo: q ∧ p)
Paso 3: Llenar las combinaciones de p y q
Paso 4: Calcular q ∧ p
Paso 5: Calcular p → (q ∧ p)
| p | q | q ∧ p | p → (q ∧ p) |
|---|---|---|---|
| V | V | V | V |
| V | F | F | F |
| F | V | F | V |
| F | F | F | V |
Ejemplo 2: Con Negación
Tabla de verdad para: ¬(p ∧ q) ∨ p
Paso 1: Variables: p, q (n = 2, filas = 4)
Paso 2: Subexpresiones: p ∧ q, ¬(p ∧ q), resultado final
| p | q | p ∧ q | ¬(p ∧ q) | ¬(p ∧ q) ∨ p |
|---|---|---|---|---|
| V | V | V | F | V |
| V | F | F | V | V |
| F | V | F | V | V |
| F | F | F | V | V |
Observación: ¡Todos los resultados son V! Esta expresión es una tautología.
Ejemplo 3: Expresión Compleja
Tabla de verdad para: (p → q) ∧ (q → r) → (p → r)
Paso 1: Variables: p, q, r (n = 3, filas = 8)
| p | q | r | p→q | q→r | (p→q)∧(q→r) | p→r | Final |
|---|---|---|---|---|---|---|---|
| V | V | V | V | V | V | V | V |
| V | V | F | V | F | F | F | V |
| V | F | V | F | V | F | V | V |
| V | F | F | F | V | F | F | V |
| F | V | V | V | V | V | V | V |
| F | V | F | V | F | F | V | V |
| F | F | V | V | V | V | V | V |
| F | F | F | V | V | V | V | V |
Observación: Nuevamente, todos los valores son V. Esta es la ley del Silogismo Hipotético, una tautología fundamental.
Clasificación de Proposiciones
Según los resultados de su tabla de verdad, las proposiciones se clasifican en:
1. Tautología
Una proposición es tautología cuando es siempre verdadera, sin importar los valores de verdad de sus componentes.
| Columna principal | Clasificación |
|---|---|
| V, V, V, V, … (solo V) | Tautología |
Ejemplos de tautologías:
- p ∨ ¬p (Tercero excluido)
- p → p (Reflexividad)
- (p → q) ↔ (¬q → ¬p) (Contraposición)
2. Contradicción
Una proposición es contradicción cuando es siempre falsa, sin importar los valores de verdad de sus componentes.
| Columna principal | Clasificación |
|---|---|
| F, F, F, F, … (solo F) | Contradicción |
Ejemplos de contradicciones:
- p ∧ ¬p
- (p → q) ∧ (p ∧ ¬q)
3. Contingencia
Una proposición es contingencia cuando su valor de verdad depende de los valores de sus componentes (tiene mezcla de V y F).
| Columna principal | Clasificación |
|---|---|
| V, F, V, F, … (mezcla) | Contingencia |
Ejemplos de contingencias:
- p ∧ q
- p → q
- p ∨ q
Resumen Visual
| Tipo | Todos V | Todos F | Combina V y F |
|---|---|---|---|
| Tautología | ✅ | ||
| Contradicción | ✅ | ||
| Contingencia | ✅ |
Uso de Tablas para Verificar Equivalencias de un esquema
Dos expresiones son lógicamente equivalentes si tienen las mismas columnas principales en sus tablas de verdad.
Ejemplo: Verificar que p → q ≡ ¬p ∨ q
| p | q | p → q | ¬p | ¬p ∨ q |
|---|---|---|---|---|
| V | V | V | F | V |
| V | F | F | F | F |
| F | V | V | V | V |
| F | F | V | V | V |
Las columnas de p → q y ¬p ∨ q son idénticas: V, F, V, V
Por lo tanto: p → q ≡ ¬p ∨ q ✓
Ejercicios Prácticos
Ejercicio 1: Construir Tablas
Construye la tabla de verdad para cada expresión:
- p ∧ (q ∨ r)
- ¬p → (q ∧ p)
- (p ↔ q) → (p ∧ q)
- ¬(p → q) ∨ q
Ejercicio 2: Clasificar
Determina si cada expresión es tautología, contradicción o contingencia:
- p → (q → p)
- (p ∧ q) ∧ ¬(p ∧ q)
- p ∧ ¬q
- (p → q) ∨ (q → p)
Ejercicio 3: Verificar Equivalencias
Usa tablas de verdad para verificar si son equivalentes:
- ¬(p ∧ q) y ¬p ∨ ¬q
- p → q y ¬q → ¬p
- p ∧ (p ∨ q) y p
Respuestas
Respuestas Ejercicio 1
📝 Te dejo como práctica construir las tablas de verdad de este ejercicio. Son tablas de 8 filas (3 variables), así que es excelente práctica para dominar el método paso a paso.
Respuestas Ejercicio 2
- p → (q → p) = Tautología
| p | q | q → p | p → (q → p) |
|---|---|---|---|
| V | V | V | V |
| V | F | V | V |
| F | V | F | V |
| F | F | V | V |
- (p ∧ q) ∧ ¬(p ∧ q) = ContradicciónEs de la forma A ∧ ¬A, siempre falso.
- p ∧ ¬q = ContingenciaDepende de los valores de p y q.
- (p → q) ∨ (q → p) = Tautología
| p | q | p → q | q → p | (p→q) ∨ (q→p) |
|---|---|---|---|---|
| V | V | V | V | V |
| V | F | F | V | V |
| F | V | V | F | V |
| F | F | V | V | V |
Respuestas Ejercicio 3
- ¬(p ∧ q) ≡ ¬p ∨ ¬q → Equivalentes (Ley de De Morgan)
- p → q ≡ ¬q → ¬p → Equivalentes (Contraposición)
- p ∧ (p ∨ q) ≡ p → Equivalentes (Ley de Absorción)
Aplicaciones en Programación
Las tablas de verdad son fundamentales en programación. Los operadores booleanos funcionan exactamente igual:
JavaScript / Python
// AND (&&) - Conjunción
true && true // true
true && false // false
// OR (||) - Disyunción
false || false // false
true || false // true
// NOT (!) - Negación
!true // false
!false // true
True es una palabra inglesa que significa verdad y la palabra false, bueno, creo que no es dificil adiviar su significado.
Ejemplo de Condicional en Código
# La expresión: if (edad >= 18 and tiene_licencia):
# Es una conjunción que solo es True si AMBAS condiciones se cumplen
edad = 20
tiene_licencia = True
puede_conducir = edad >= 18 and tiene_licencia # True
Proximos capítulos
En el próximo capítulo exploraremos las Leyes de Equivalencia Lógica, donde aprenderás a simplificar expresiones sin necesidad de construir tablas de verdad completas.
¿Te resultó útil esta publicación? ¡Déjame un comentario con tus dudas o sugerencias! Y no olvides revisar la próxima entrega de esta serie sobre lógica matemática.