Tablas de verdad

De Enciclopedia Symploké, la enciclopedia libre.
Saltar a: navegación, buscar

Procedimiento mecánico por el que podemos decidir sobre la validez de cualquier fórmula bien formada de la lógica proposicional en un número finito de pasos. Esta técnica se basa en la asignación de los valores de verdad posibles a cada variable de la fórmula —en una lógica bivalente son dos: verdadero (1) y falso (0)— y, atendiendo al carácter veritativo-funcional de las conectivas, en el cálculo del valor de verdad de expresiones sucesivas contenidas en la fórmula siguiendo un orden (de izquierda a derecha, y de las expresiones con conectivas menos dominantes a las expresiones con conectivas más dominantes) hasta llegar a la fórmula misma. Una fórmula es lógicamente válida si su valor de verdad es siempre 1, sea cual sea la asignación de valores de verdad a sus variables. Diremos, entonces, que es una tautología o ley lógica. Sin embargo, si su valor de verdad es siempre 0, la fórmula es una contradicción. Si el valor de verdad varía en función de los valores de verdad asignados, hablaremos entonces de fórmula indeterminada.

Ver las tablas de verdad de las conectivas en los siguientes artículos: negación, conjunción, disyunción, condicional, bicondicional y barra de Sheffer.