| dbo:abstract
|
- A logical abacus is a mechanical digital computer. Also referred to as a "logical machine", the logical abacus is analogous to the ordinary (mathematical) abacus. It is based on the principle of truth tables. It is constructed to show all the possible combinations of a set of logical terms with their negatives, and, further, the way in which these combinations are affected by the addition of attributes or other limiting words, i.e., to simplify mechanically the solution of logical problems. These instruments are all more or less elaborate developments of the "logical slate", on which were written in vertical columns all the combinations of symbols or letters that could logically be made out of a definite number of terms. These were compared with any given premises, and incompatible ones crossed off. In the abacus the combinations are inscribed each on a single slip of wood or similar substance, which is moved by a key; incompatible combinations can thus be mechanically removed at will, in accordance with any given series of premises. The principal examples of such machines are those of William Stanley Jevons (logic piano), John Venn, and Allan Marquand. (en)
- Ábaco Lógico é um computador digital mecânico. Também chamado de uma "máquina lógica", o ábaco lógico é análogo ao ábaco (matemático) comum. Baseia-se no princípio de tabelas de verdade. Ele é construído para mostrar todas as combinações possíveis de um conjunto de termos lógicos, com suas negativas, e, além disso, a forma em que essas combinações são afetados pela adição de atributos ou outras palavras limitantes, por exemplo, para simplificar mecanicamente a solução de problemas lógicos. Estes instrumentos são todos desenvolvimentos mais ou menos elaborados da "lousa lógica", na qual foram escritas em colunas verticais todas as combinações de símbolos ou letras que poderiam logicamente ser feitas a partir de um número definido de termos. Esses foram comparados com quaisquer premissas dadas, em que as incompatíveis foram descartadas. No ábaco as combinações são inscritas cada uma em uma única peça de madeira ou substância similar, que é movida por uma chave; As combinações incompatíveis podem assim ser mecanicamente removidas à vontade, de acordo com qualquer série de premissas dada. Os principais exemplos de tais máquinas são aqueles de William Stanley Jevons (piano lógico), John Venn e Allan Marquand. (pt)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2505 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:pages
| |
| dbp:volume
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:wstitle
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- A logical abacus is a mechanical digital computer. Also referred to as a "logical machine", the logical abacus is analogous to the ordinary (mathematical) abacus. It is based on the principle of truth tables. The principal examples of such machines are those of William Stanley Jevons (logic piano), John Venn, and Allan Marquand. (en)
- Ábaco Lógico é um computador digital mecânico. Também chamado de uma "máquina lógica", o ábaco lógico é análogo ao ábaco (matemático) comum. Baseia-se no princípio de tabelas de verdade. Ele é construído para mostrar todas as combinações possíveis de um conjunto de termos lógicos, com suas negativas, e, além disso, a forma em que essas combinações são afetados pela adição de atributos ou outras palavras limitantes, por exemplo, para simplificar mecanicamente a solução de problemas lógicos. Estes instrumentos são todos desenvolvimentos mais ou menos elaborados da "lousa lógica", na qual foram escritas em colunas verticais todas as combinações de símbolos ou letras que poderiam logicamente ser feitas a partir de um número definido de termos. Esses foram comparados com quaisquer premissas dad (pt)
|
| rdfs:label
|
- Logical abacus (en)
- Ábaco lógico (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |