CLAVIER DE LA MACHINE LOGIQUE

Sujets

Prédicats

ou

BbC

ou

Pour faire agir la machine , il suffit de presser successivement les touches dans Tordre indiqué par les lettres et les signes d'une proposition symbolique. Soit A = AB ; on presse successivement les touches : A (sujet), copule, A (prédicat), B (prédicat) et le point. Soit une autre prémisse, B = BG ; on presse : B (sujet), copule , B (prédicat), G (prédicat) et le point. Alors apparaissent, sur la surface de la machine, toutes les combinaisons de A,B,G, a,h,c^ qui sont d'accord avec les prémisses, suivant les lois de la pensée.

La face de la machine porte un abécédaire logique de seize combinaisons :

Dld|Dl

d\J)\ dlDl(ilD|dI

A la suite des opérations que nous avons décrites plus haut , les combinaisons incompatibles avec les