Tabla de la verdad
Keywords: Tabla de la verdad, Años 1880, Base de datos, Bertrand Russell, Biblioteca, Fichero, Inteligencia artificial, Lógica, Lógica binaria
Las tablas de verdad o de la verdad son una herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo más popular el formato que Ludwig Wittgenstein desarrolló en su Tractatus logico-philosophico, publicado en 1918 por Bertrand Russell. Se emplean en la lógica para determinar si una expresión es cierta o si un argumento es válido. Sus unidades mínimas se denominan proposiciones atómicas, y en un sistema lógico bivalente tienen dos posible valores de verdad: lo verdadero y lo falso.
Las tablas de la verdad muestran los valores, las relaciones y los resultados posibles de realizar operaciones lógicas a expresiones lógicas.
Las operaciones empleadas son:
- ∧ (también &, AND) = y
- ∨ (también OR) = o incluyente
- ~ (también NOT, ¯) = Negación
- xor = o excluyente
- → = condicional o implicador («si... entonces...»)
- ↔ = bicondicional o coimplicador («... si y sólo si...»)
Por ejemplo, para las operaciones con tres variables x AND (y OR z) se obtiene (considerando 0 como falso y 1 como verdadero):
Imagen:tablalog.jpg
(En la tabla anterior se ha descompuesto la operación en dos etapas)
En el artículo Operador lógico se desarrolla el mismo tema, tal como aparece en los Manuales de QuickBASIC de programación de ordenadores y pensando en sus usuarios. Ambos planteamientos se complementan. En el artículo Tabla de símbolos matemáticos se muestra la lógica proposicional en formato simbólico matemático.
La Tabla de la verdad es una herramienta imprescindible en la recuperación de datos en las bases de datos como Internet con los motores de búsqueda o en una biblioteca con sus ficheros informatizados. Asimismo se utilizan para programar simulaciones lógicas de inteligencia artificial con lenguajes propios. También en modelos matemáticos predictores: meteorología, marketing y otros muchos.
Para ver las tablas de verdad de los principales operadores lógicos ir a: lógica binaria y/o puertas lógicas.