Tabla de Verdad

Procedimiento utilizado en lógica de enunciados que permite determinar de una forma puramente mecánica la verdad o falsedad de una fórmula, siempre y cuando se conozcan los valores de verdad de cada una de las fórmulas o enunciados que componen dicha fórmula. Para ello, deben colocarse en la columna izquierda de la tabla las letras que componen la fórmula correspondiente y, debajo de ellas, todas sus posibilidades de verdad y de falsedad; a la derecha de la tabla se coloca la correspondiente fórmula y, debajo de ella, los valores de verdad que van correspondiendo según la combinación de los valores de verdad de sus componentes, especificados en la columna izquierda. A continuación, se detallan todos los pasos que deben seguirse en la ...