TABLAS DE VERDAD

Se llaman «ta­blas de verdad» a las que pueden formarse para determinar «mecánicamente» la verdad o falsedad de una fórmula sentencial (o de un enunciado sentencial) una vez conocidos los valores de verdad de las fórmulas componen­tes. Uno de los más frecuentes usos de las ta­blas de verdad en la lógica consiste en la identificación de tautologías (véase Tauto­logía).

Las tablas de verdad pueden formarse para cualquier fórmula sentencial. Conviene, sin embargo, a efectos de simplicidad, comenzar con la formación de tablas de verdad corres­pondientes a las conectivas ‘¬’, ‘˄’, ‘˅’, ‘→’, ‘↔’, y ‘’.

A tal efecto se coloca a la izquierda de la tabla la columna o columnas conteniendo en el orden de aparición las letras de que se com­pone la fórmula sentencial y debajo de ellas todas sus posibilidades de verdad y de false­dad. A la izquierda de la tabla se coloca la co­lumna con los valores de verdad de la