## [Método de Tablas de Verdad](/es/node/60026) Definición Una técnica semántica y exhaustiva para fórmulas proposicionales que enumera todas las asignaciones posibles de valores de verdad a las proposiciones atómicas y evalúa la fórmula en cada asignación para determinar validez, satisfacibilidad o equivalencia. ## Principio Principio Considerar exhaustivamente cada valoración de los átomos proposicionales; una fórmula es válida si evalúa verdadero en todas las valoraciones, satisfacible si lo hace en al menos una, y equivalente a otra si coinciden en todas las valoraciones. ## Demostración Demostración Para mostrar que A → B es una tautología, construye una tabla con todas las combinaciones de valores para A y B, calcula A → B fila por fila y verifica que todas las entradas sean verdaderas. ## Aplicación incorrecta Aplicación incorrecta Aplicar tablas de verdad a lógicas con dominios infinitos o no acotados (primer orden con cuantificadores) sin reducción finita, o intentar usarlas en fórmulas con demasiados átomos, conduce a computaciones inviables y conclusiones erróneas sobre su practicidad. ## Consecuencia Consecuencia Las tablas de verdad ofrecen respuestas decisivas e independientes del modelo para problemas proposicionales, son sencillas de implementar y enseñar, y proporcionan contraejemplos claros (filas) que evidencian la no validez o no equivalencia. ## Inversión Inversión El enfoque inverso es simbólico o proof-teórico: usar cálculos deductivos (resolución, tableaux, deducción natural) para manipular fórmulas simbólicamente en lugar de enumerar valoraciones, cambiando decidibilidad por escalabilidad. ## Límite Límite Limitado a la lógica proposicional o fragmentos decidibles con un número pequeño de átomos proposicionales; inaplicable para grandes fórmulas proposicionales y no directamente aplicable a la lógica de primer orden sin supuestos de finitud. ## Tensión semántica Tensión semántica Compite con cálculos algorítmicos como la resolución: las tablas son exhaustivas y simples pero sufren explosión combinatoria, mientras resolución y tableaux buscan evitar la enumeración completa mediante inferencia simbólica y estrategias de búsqueda. ## Síntesis Síntesis El método de tablas de verdad es una prueba semántica exhaustiva para fórmulas proposicionales que evalúa cada valoración para ofrecer juicios definitivos sobre validez, satisfacibilidad y equivalencia, a costa de un crecimiento exponencial según el número de átomos.