Tabla De Verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a suscomponentes.1

Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en1921.
Definición y algoritmo fundamental

Considérese dos variables proposicionales A y B.2 Cada una puede tomar uno de dos valores de verdad: o V (verdadero), o F (falso). Por lo tanto, los valoresde verdad de A y de B pueden combinarse de cuatro maneras distintas: o ambas son verdaderas; o A es verdadera y B falsa, o A es falsa y B verdadera, o ambas son falsas. Esto puede expresarse con unatabla simple:

\begin{array}{|c|c|} \hline A & B \ \hline V & V \ V & F \ F & V \ F & F \ \hline \end{array}

Considérese además a "·" como una operación o función lógica que realiza unafunción de verdad al tomar los valores de verdad de A y de B, y devolver un único valor de verdad. Entonces, existen 16 funciones distintas posibles, y es fácil construir una tabla que muestre qué devuelvecada función frente a las distintas combinaciones de valores de verdad de A y de B.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
A B A·B A·B A·B A·B A·B A·B A·B A·B A·BA·B A·B A·B A·B A·B A·B A·B
V V V V V V V V V V F F F F F F F F
V F V V V V F F F F V V V V F F F F
F V V V F F V V F F V V F F VV F F
F F V F V F V F V F V F V F V F V F

Las dos primeras columnas de la tabla muestran las cuatro combinaciones posibles de valores de verdad de A y de B. Hay por lotanto 4 líneas, y las 16 columnas despliegan todos los posibles valores que puede devolver una función "·".

De esta forma podemos conocer mecánicamente, mediante algoritmo, los posibles valores de...