¿Qué es?
Es una forma de resumir el Valor de la verdad (Lógica) de un enunciado compuesto que dependen del valor de verdad de los subenunciados que lo componen.
¿Para que sirve?
Proporciona una manera de validar razonamientos alternativa a la Deducción natural. Un razonamiento es correcto si y sólo si todas aquellas interpretaciones que hacen verdaderas las premisas (todas simultáneamente) también hacen verdadera la conclusión.
También sirve para refutar razonamientos, es decir, para demostrar la invalidez de los que son formalmente incorrectos. Un razonamiento es formalmente inválido cuando existe, como mínimo, una interpretación que denominaremos contraejemplo, que hace verdaderas todas las premisas y falsa la conclusión. Para demostrar que un razonamiento es inválido es suficiente con encontrar un contraejemplo.
¿Cómo es?
Un enunciado en el que aparezcan n átomos tendrá una tabla de verdad con 2n filas, una por cada posible combinación de los valores V y F asignados a cada uno de los átomos.
Cada una de las posibles asignaciones de un valor de verdad a cada uno de los átomos que forman parte de un enunciado se denomina interpretación. Cada fila de una tabla de verdad se corresponde con una posible interpretación del enunciado, así que un enunciado con n átomos tiene 2n posibles interpretaciones.
