Ábaco lógico - Logical abacus

Un ábaco lógico es una computadora digital mecánica .

Piano lógico de Jevons en el Sydney Powerhouse Museum en 2006

También se conoce como una "máquina lógica", el ábaco lógico es análoga a la ordinaria (matemática) ábaco . Se basa en el principio de tablas de verdad .

Está construido 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 términos lógicos. problemas. Estos instrumentos son todos desarrollos más o menos elaborados de la "pizarra lógica", en la que estaban escritas en columnas verticales todas las combinaciones de símbolos o letras que lógicamente podrían estar hechas de un número definido de términos. Estos se compararon con cualquier premisa dada y se tacharon las incompatibles. En el ábaco, las combinaciones están inscritas cada una en una sola barra de madera o sustancia similar, que se mueve con una llave; Por tanto, las combinaciones incompatibles pueden eliminarse mecánicamente a voluntad, de acuerdo con cualquier serie de premisas.

Los principales ejemplos de tales máquinas son los de William Stanley Jevons ( piano lógico ), John Venn y Allan Marquand .

Referencias


 Este artículo incorpora texto de una publicación que ahora es de dominio públicoChisholm, Hugh, ed. (1911). " Ábaco ". Encyclopædia Britannica . 1 (11ª ed.). Prensa de la Universidad de Cambridge. págs. 5-6.