Una tabla de verdad muestra, de forma completa y sistemática, el valor de verdad de una proposición para TODAS las combinaciones posibles de sus proposiciones simples. En este artículo aprenderás a calcular cuántas filas necesita tu tabla, a construirla paso a paso, y a resolver la tabla de cada conector lógico y de proposiciones compuestas con varios conectores.
Tablas de verdad: cómo hacerlas paso a paso + ejemplos y ejercicios resueltos
¿Qué es una tabla de verdad?
Una tabla de verdad es una tabla que muestra el valor de verdad de una proposición compuesta para todas las combinaciones posibles de valores de verdad de sus proposiciones simples. Es la herramienta definitiva para saber, sin ambigüedad, cuándo una expresión lógica es verdadera y cuándo es falsa.
Cómo determinar el número de filas de una tabla de verdad
Antes de construir cualquier tabla, necesitas saber cuántas filas va a tener. La fórmula es simple:
| Proposiciones simples (n) | Filas necesarias (2ⁿ) |
|---|---|
| 1 proposición (solo p) | 2¹ = 2 filas |
| 2 proposiciones (p, q) | 2² = 4 filas |
| 3 proposiciones (p, q, r) | 2³ = 8 filas |
| 4 proposiciones (p, q, r, s) | 2⁴ = 16 filas |
Esto tiene sentido porque cada proposición simple tiene 2 valores posibles (V o F), y necesitas combinar TODOS los valores posibles de una proposición con TODOS los de las demás — por eso se multiplican entre sí (2 × 2 × 2… n veces).
Cómo hacer una tabla de verdad paso a paso
p, q, r — orden estándar
Columna p: 4 verdaderos, luego 4 falsos (bloques de la mitad: 8÷2=4).
Columna q: 2 verdaderos, 2 falsos, repetido (bloques de 8÷4=2).
Columna r: alterna V, F, V, F… (bloques de 8÷8=1).
Este patrón (bloques que se reducen a la mitad en cada columna) es el orden estándar que usan todos los libros de lógica — así cualquiera puede verificar tu tabla sin confusiones.
| p | q | r |
|---|---|---|
| V | V | V |
| V | V | F |
| V | F | V |
| V | F | F |
| F | V | V |
| F | V | F |
| F | F | V |
| F | F | F |
Tabla de verdad de la negación (¬p)
Como solo tiene una proposición (n=1), la tabla tiene 2¹ = 2 filas.
| p | ¬p |
|---|---|
| V | F |
| F | V |
Tabla de verdad de la conjunción (p ∧ q)
Con dos proposiciones (n=2), la tabla tiene 2² = 4 filas.
| p | q | p ∧ q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
Solo la primera fila (ambas V) da como resultado V — confirma la regla: la conjunción exige que las dos sean verdaderas.
Tabla de verdad de la disyunción (p ∨ q)
| p | q | p ∨ q |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
Solo la última fila (ambas F) da F — la disyunción falla únicamente cuando ninguna de las dos se cumple.
Tabla de verdad del condicional (p → q)
| p | q | p → q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Solo la segunda fila (p=V, q=F) da F — el único caso donde el condicional «se rompe», como vimos en el artículo anterior de conectores lógicos.
Tabla de verdad del bicondicional (p ↔ q)
| p | q | p ↔ q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
Es verdadera exactamente cuando p y q tienen el mismo valor (las dos V, o las dos F) — por eso también se le llama «el conector de la igualdad lógica».
Tablas de verdad de proposiciones compuestas
Cuando la expresión tiene varios conectores, se agregan columnas auxiliares para las partes intermedias, y se calcula la columna final usando esas columnas ya resueltas — nunca hay que calcular todo «de un solo salto».
3 proposiciones simples → 2³ = 8 filas
Primero calculamos la columna auxiliar (p∧q), y luego usamos esa columna junto con r para calcular el condicional final.
| p | q | r | p ∧ q | (p∧q) → r |
|---|---|---|---|---|
| V | V | V | V | V |
| V | V | F | V | F |
| V | F | V | F | V |
| V | F | F | F | V |
| F | V | V | F | V |
| F | V | F | F | V |
| F | F | V | F | V |
| F | F | F | F | V |
Solo la segunda fila da falso: ahí (p∧q) es verdadero pero r es falso — exactamente el único caso en que un condicional falla.
20 Ejercicios resueltos de Tablas de Verdad
¿Cuántas filas tiene la tabla?
| 1. Una expresión con p, q, r, s (4 proposiciones) | 2⁴ = 16 filas |
| 2. ¬p ∨ q (2 proposiciones: p, q) | 2² = 4 filas |
| 3. (p ∧ q) → (r ∨ s) (4 proposiciones) | 2⁴ = 16 filas |
| 4. p ↔ (q ∧ r) (3 proposiciones) | 2³ = 8 filas |
| 5. Una expresión con una sola proposición p | 2¹ = 2 filas |
Evalúa el valor en la fila dada
En cada caso, p, q y r ya tienen un valor fijo — calcula el resultado de la expresión para ese escenario específico.
| 6. Si p=V, q=F: calcula p ∧ q | F |
| 7. Si p=F, q=V: calcula p ∨ q | V |
| 8. Si p=F, q=F: calcula p → q | V |
| 9. Si p=V, q=F, r=V: calcula (p∧q) ∨ r | V (p∧q=F, pero r=V) |
| 10. Si p=V, q=V, r=F: calcula p → (q ∧ r) | F (q∧r=F, y p=V) |
Construye la tabla de verdad completa (proposiciones más elaboradas)
En estos ejercicios cada proposición combina dos bloques agrupados con paréntesis, unidos por un conector principal. Para que sea fácil seguir de dónde sale cada valor, coloreamos cada columna:
| p | q | p ∨ q | ¬p ↔ q | (p∨q) ∧ (¬p↔q) |
|---|---|---|---|---|
| V | V | V | F | F |
| V | F | V | V | V |
| F | V | V | V | V |
| F | F | F | F | F |
| p | q | p ∧ q | ¬p ∧ ¬q | (p∧q) ∨ (¬p∧¬q) |
|---|---|---|---|---|
| V | V | V | F | V |
| V | F | F | F | F |
| F | V | F | F | F |
| F | F | F | V | V |
Fíjate: el resultado final (V,F,F,V) es idéntico a la tabla de p↔q — esta es justamente la forma «expandida» del bicondicional, algo que retomamos en el artículo de equivalencias lógicas.
| p | q | p → q | q → p | (p→q) ∧ (q→p) |
|---|---|---|---|---|
| V | V | V | V | V |
| V | F | F | V | F |
| F | V | V | F | F |
| F | F | V | V | V |
Otra forma equivalente de p↔q: dos condicionales, uno en cada sentido, unidos por una conjunción.
| p | q | p ∨ q | p ∧ q | (p∨q) → (p∧q) |
|---|---|---|---|---|
| V | V | V | V | V |
| V | F | V | F | F |
| F | V | V | F | F |
| F | F | F | F | V |
| p | q | p ↔ q | p ∧ ¬q | (p↔q) ∨ (p∧¬q) |
|---|---|---|---|---|
| V | V | V | F | V |
| V | F | F | V | V |
| F | V | F | F | F |
| F | F | V | F | V |
| p | q | ¬(p ∧ q) | ¬p ∨ ¬q | Bicondicional |
|---|---|---|---|---|
| V | V | F | F | V |
| V | F | V | V | V |
| F | V | V | V | V |
| F | F | V | V | V |
La columna final da V en las 4 filas, sin excepción — esto se llama una tautología, y significa que ¬(p∧q) y (¬p∨¬q) son equivalentes lógicas (una de las leyes de De Morgan). Ambos temas se desarrollan a fondo en los próximos dos artículos de la serie.
| p | q | r | p ∧ q | ¬r | (p∧q) ∨ ¬r |
|---|---|---|---|---|---|
| V | V | V | V | F | V |
| V | V | F | V | V | V |
| V | F | V | F | F | F |
| V | F | F | F | V | V |
| F | V | V | F | F | F |
| F | V | F | F | V | V |
| F | F | V | F | F | F |
| F | F | F | F | V | V |
| p | q | r | p → q | q → r | (p→q) ∧ (q→r) |
|---|---|---|---|---|---|
| V | V | V | V | V | V |
| V | V | F | V | F | F |
| V | F | V | F | V | F |
| V | F | F | F | V | F |
| F | V | V | V | V | V |
| F | V | F | V | F | F |
| F | F | V | V | V | V |
| F | F | F | V | V | V |
Esta estructura, (p→q)∧(q→r), es la base del silogismo hipotético — un patrón de razonamiento válido que estudiaremos en el artículo 6 de esta serie (razonamiento lógico).
Resumen — las 5 tablas base
Errores comunes
Preguntas frecuentes
Porque cada proposición simple tiene exactamente 2 valores posibles (V o F), y necesitas listar TODAS las formas de combinar esos valores entre las n proposiciones. Es el mismo principio que combinar ropa: si tienes 2 opciones de camisa y 2 de pantalón, tienes 2×2=4 combinaciones de outfit — con proposiciones es igual, pero multiplicando 2 tantas veces como proposiciones haya.
El orden alfabético (p, q, r, s…) es solo una convención para que las tablas sean fáciles de comparar entre sí — no afecta el resultado final. Lo que sí importa es que sigas el patrón de bloques de forma consistente en TODAS las columnas, para no repetir ni olvidar ninguna combinación.
Se llaman equivalentes lógicas — significa que, aunque se vean diferentes, siempre tienen el mismo valor de verdad en cada escenario posible. Ya viste un ejemplo en este artículo: p→q y ¬p∨q tienen tablas idénticas. Este es exactamente el tema del artículo 5 de esta serie.
Técnicamente puedes calcular mentalmente en expresiones simples, pero se recomienda fuertemente escribir las columnas auxiliares, sobre todo con 3 o más proposiciones y varios conectores — reduce drásticamente los errores y te permite verificar tu trabajo revisando fila por fila.
El siguiente artículo de la serie usa las tablas de verdad que acabas de aprender a construir para clasificar proposiciones en tres tipos: tautologías (siempre verdaderas), contradicciones (siempre falsas), y contingencias (a veces V, a veces F). Vas a identificar cada tipo mirando la columna final de la tabla.
📌 Serie de Lógica y Fundamentos Matemáticos
🌐 Herramientas de cálculo
