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

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

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

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

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

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

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

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

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.