Una máquina lógica o ábaco lógico es una herramienta que contiene un conjunto de piezas que utiliza energía para realizar operaciones lógicas formales mediante el uso de tablas de verdad . Las primeras máquinas lógicas eran dispositivos mecánicos que realizaban operaciones básicas de lógica booleana . Los principales ejemplos de dichas máquinas son las de William Stanley Jevons ( piano lógico ), [1] [2] John Venn , [3] y Allan Marquand . [4] [5]
Las máquinas lógicas contemporáneas son programas electrónicos basados en computadoras que brindan asistencia para la demostración de teoremas en lógica matemática. En el siglo XXI, estos programas de asistencia para la demostración han dado origen a un nuevo campo de estudio llamado gestión del conocimiento matemático .
Las primeras máquinas lógicas fueron construcciones mecánicas construidas a finales del siglo XIX. William Stanley Jevons inventó la primera máquina lógica en 1869, el piano lógico. [6] En 1883, Allan Marquand inventó una nueva máquina lógica que realizaba las mismas operaciones que el piano lógico de Jevons, pero con mejoras en la simplificación del diseño, la portabilidad y los controles de entrada y salida. [7]
El ábaco lógico se construye para mostrar todas las combinaciones posibles de un conjunto de términos lógicos con sus negativos y, además, la forma en que estas combinaciones se ven afectadas por la adición de atributos u otras palabras limitantes, es decir, para simplificar mecánicamente la solución de problemas lógicos. Estos instrumentos son todos desarrollos más o menos elaborados de la "pizarra lógica", en la que se escribían en columnas verticales todas las combinaciones de símbolos o letras que podían formarse lógicamente a partir de un número determinado de términos. Se comparaban con unas premisas dadas y se tachaban las que eran incompatibles. En el ábaco, las combinaciones se inscribían cada una en una única tira de madera o sustancia similar, que se movía con una llave; de este modo, las combinaciones incompatibles se podían eliminar mecánicamente a voluntad, de acuerdo con una serie dada de premisas.
Este artículo incorpora texto de una publicación que ahora es de dominio público : Chisholm, Hugh , ed. (1911). "Ábaco". Encyclopædia Britannica . Vol. 1 (11.ª ed.). Cambridge University Press. págs. 5–6.
Máquina lógica de Allan Marquand.
