ABCD
ABcDE
aX
Ab
ABc
ABCd
ABCDe
aB
AbC
ABcD
ABCdE
ah
Abc
ABcd
ABCde
aBG
AbCD
ABcDE
aBc
AbCd
ABcBe
abC
AbcB
ABcdE
abc
Abcd
aBCD
aBCd
aBcD
aBcd
abCD
abCd
abcB
abcd
ABcde
AbCDE
AbCBe
AbCdE
AbCde
AbcBE
AbcBe
AbcdE
Abcde
aBCDE
aBCD^
aBCdE
aBCde
aBcDE
aBcBe
aBcdE
aBcde
abCBE abCDe abCdE
abCde
abcDE
abcDe
abcdE
abcde
STANLEY JEYONS 169
Pour la pratique, on aura ainsi, dressées d'avance, les tables des combinaisons de un, de deux, de trois, de quatre, de cinq termes, etc., et il suffira de les rapprocher des prémisses proposées, suivant qu'elles contiendront un, deux, trois, quatre ou cinq termes, etc., pour reconnaître, d'après les règles, que nous avons exposées, les combinaisons compatibles avec ces prémisses.
VIII. On le voit par cette rapide esquisse, toute question logique , si complexe qu'elle soit, peut être résolue d'une façon en quelque sorte mécanique; le seul obstacle est la longueur du travail parfois requis. Pour le lever, M. Stanley Jevons a imaginé plusieurs moyens, dont le plus ingénieux et le plus important est la machine logique K
La machine logique est une sorte de petit piano dont le clavier comprend vingt et une touches. Les touches sont de deux espèces : seize d'entre elles représentent les termes ou les lettres A, a, B, h, G, c, D, d; huit à gauche et huit à droite de la touche du milieu , dont nous indiquerons bientôt la fonction , représentent, les premières, les termes positifs et les termes négatifs sujets, les secondes, les termes positifs et les termes négatifs prédicats. Les autres touches sont les touches d'opérations : les points, la copule et les conjonctions disjonctives de la proposition. La touche du milieu est la copule ; la dernière à droite est le point; on doit la presser quand une proposition est achevée; la dernière à gauche, pressée à la fin d'un argument, sert à remettre la machine en son état primitif; l'avant- dernière de chaque côté représente la conjonction ou.
Princ. of sci., B. I, ch. 6 ; On the mechanical, etc.
