La tecla del centro de todas es la cópula, que debe pulsarse cuando se encuentra el verbo es o el signo =. La tecla del extremo derecho se llama Punto Final, porque debe pulsarse cuando se completa una proposición, de hecho en el lugar propio del punto final. La tecla del extremo izquierdo se utiliza para terminar un argumento o para restablecer la máquina a su estado inicial; se llama la tecla Finis. Las penúltimas teclas de la derecha y de la izquierda completan toda la serie, y representan la conjunción o en su significado no exclusivo, o el signo ꖌ que he empleado, según aparezca en el lado derecho o izquierdo de la proposición. Todo el teclado está dispuesto como se muestra en la página siguiente—
| Finis. | Lado izquierdo de la Proposición. | Cúpula. | Lado derecho de la Proposición. | Punto. | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ꖌ O | d | D | c | C | b | B | a | A | A | a | B | b | C | c | D | d | ꖌ O |
Para trabajar la máquina solo se requiere pulsar las teclas sucesivamente tal como lo indican las letras y los signos de una proposición simbólica.
Todas las premisas de un argumento se suponen reducidas a la notación simple que se ha empleado en las páginas anteriores.
Tomando entonces una proposición tan simple como pulsamos las teclas A (izquierda), cópula, A (derecha), B (derecha) y punto.
Si hay una segunda premisa, por ejemplo, si pulsamos de la misma manera las teclas—
El proceso es exactamente el mismo por numerosas que sean las premisas. Cuando se completan, el operador verá indicadas en la esfera de la máquina las combinaciones exactas de letras que son coherentes con las premisas según los principios del pensamiento.
Como se muestra en la figura frente a la portilla, la máquina exhibe al frente un Alfabeto Lógico de dieciséis combinaciones, exactamente igual al del ábaco, excepto que las letras de cada combinación están separadas por un cierto intervalo.
Una vez que el problema anterior ha sido procesado en la máquina, el Alfabeto Lógico se habrá modificado de modo que presentará el siguiente aspecto:
| A | A | a | a | a | a | a | a | ||||||||
| B | B | B | B | b | b | b | b | ||||||||
| C | C | C | C | C | C | c | c | ||||||||
| D | d | D | d | D | d | D | d | ||||||||
El operador recopilará fácilmente las diversas conclusiones de la manera descrita en las páginas anteriores, como, por ejemplo, que A es siempre C, que no-C no es ni B ni A; y que no-C no es A, sino C o no-C. Los resultados deben leerse, por tanto, exactamente igual que en el caso de la Pizarra Lógica o del Ábaco Lógico.
Las proposiciones disyuntivas deben tratarse de una manera exactamente similar. Así, para operar con las premisas