##  [Tabla de Verdad](/es/node/60835) 

 Definición

Un método tabular que lista todas las asignaciones posibles de valores de verdad a las variables proposicionales que aparecen en una fórmula (o conjunto de fórmulas) y registra el valor de verdad resultante de la(s) fórmula(s) en cada asignación.

 

 

 

 

 

 





## Principio

Principio

Enumerar exhaustivamente las combinaciones de valores atómicos y calcular los valores de las fórmulas compuestas mediante la aplicación recursiva de las definiciones verdad-funcionales de los conectivos.

 

 

 

 

 





## Demostración

Demostración

Para la fórmula (p ∧ q) → r, una tabla de verdad enumera ocho filas para p,q,r ∈ {V,F}, calcula p ∧ q en cada fila, luego el valor de la implicación y muestra qué asignaciones hacen la fórmula verdadera o falsa.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Usar una tabla de verdad para un lenguaje con cuantificadores u operadores no verdad-funcionales sin fijar primero una semántica finita adecuada conduce a tablas incorrectas o sin sentido.

 

 

 

 

 





## Consecuencia

Consecuencia

Las tablas de verdad proporcionan un procedimiento de decisión finito y definitivo para la validez proposicional, la satisfactibilidad y la equivalencia lógica cuando el número de átomos proposicionales es finito y manejable.

 

 

 

 

## Inversión

Inversión

El método opuesto es el análisis modelo-teórico o prueba-teórico que razona sobre clases de modelos o derivaciones sintácticas sin enumerar exhaustivamente asignaciones atómicas.

 

 

 

 

 





## Límite

Límite

Se aplica a lenguajes proposicionales verdad-funcionales y a conjuntos finitos de variables proposicionales; excluye fórmulas de primer orden con dominios infinitos y lenguajes con conectivos no verdad-funcionales.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Existe tensión entre la decidida exhaustividad de las tablas de verdad y el deseo de métodos escalables (tableaux semánticos, resolución, métodos algebraicos) que eviten la enumeración exponencial.

 

 

 

 

 





## Síntesis

Síntesis

Una tabla de verdad es una tabla explícita y mecánica que calcula el valor de verdad de una fórmula para cada asignación posible de sus proposiciones atómicas, proporcionando respuestas exactas a problemas de decisión proposicional.