| A = | AB ꖌ AC |
|---|---|
| B ꖌ C = | BD ꖌ CD, |
solo es necesario pulsar sucesivamente las teclas
Las combinaciones que entonces queden serán las siguientes
| ABCD | a BCD | abc D |
|---|---|---|
| AB c D | a B c D | abcd. |
| A c CD | ab CD |
Al pulsar la tecla de la izquierda A, desaparecerán todas las combinaciones posibles que no contengan A, y la descripción de A puede deducirse de lo que queda, a saber, que es siempre D.
La tecla del punto restaura todas las combinaciones coherentes con las premisas y se puede hacer cualquier otra selección, como por ejemplo no-D, la cual se comprobará que es siempre no-A, no-B y no-C.
Al final de cada problema, cuando no es necesario plantear más preguntas a la máquina, pulsamos la tecla Finis, la cual tiene el efecto de hacer visible el conjunto de todas las combinaciones concebibles del alfabeto.
Esta tecla de hecho borra las condiciones impuestas a la máquina al devolver a sus lugares ordinarios aquellas combinaciones que habían sido rechazadas por ser incongruentes con las premisas.
Antes de comenzar cualquier nuevo problema es necesario observar que las dieciséis combinaciones al completo sean visibles.
Después de haber utilizado la tecla Finis, la máquina representa una mente dotada de facultades de pensamiento, pero totalmente carente de conocimiento. En ese estado no daría ninguna respuesta que no consistiera en las leyes primarias del pensamiento mismo.
Pero cuando se introduce cualquier proposición mediante las teclas, la máquina analiza y digiere su significado y se carga con el conocimiento incorporado en dicha proposición. En consecuencia, es capaz de devolver como respuesta cualquier descripción de un término o clase en la medida en que esa proposición se lo proporcione de acuerdo con las Leyes del Pensamiento.
La máquina es, por tanto, la encarnación de un verdadero sistema lógico. Las combinaciones son clasificadas, seleccionadas o rechazadas, tal como deben serlo por una mente razonante, de modo que en cada paso de un problema, el Alfabeto Lógico representa la condición adecuada de una mente exenta de errores.
No puede afirmarse en verdad que la máquina desplace por completo la intervención del pensamiento consciente; se requiere labor mental para interpretar el significado de las expresiones gramaticales y para imprimir correctamente dicho significado en la máquina; se requiere además para extraer la conclusión de las combinaciones restantes.
No obstante, el verdadero proceso de inferencia lógica se lleva a cabo realmente de un modo puramente mecánico.
Es digno de mención que la máquina puede detectar cualquier contradicción interna que exista entre las premisas que se le presentan; si las premisas son contradictorias entre sí, se observará que uno o más de los