TABLAS DE VERDAD

Tomado del Diccionario de Filosofía de José Ferrater Mora

Se llaman tablas de verdad en la lógica a las tablas 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 componentes. Uno de los más frecuentes usos de las tablas de verdad en la lógica consiste en la identificación de tautologías (V. TAUTOLOGÍA). Las tablas de verdad pueden formarse para cualquier fórmula sentencial. Conviene, empero, para mayor simplicidad comenzar con la formación de tablas de verdad correspondientes a las conectiva s '~', '.', 'V', '^', ' =>' 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 compone la fórmula sentencial y debajo de ellas todas sus posibilidades de verdad y de falsedad. A la izquierda de la tabla se coloca la columna con los valores de verdad de la fórmula sentencial.

See complete definition: http://docs.google.com/View?id=dgc24z97_35frrwgngj