STANLEY JETONS

prémisses disparaissent du tableau, et il n'y reste que les combinaisons suivantes, seules compatibles avec ces prémisses :

lA 1 1 1

La machine nous donne ainsi la description de A, B, C, «, 6, c, sous les conditions posées par les prémisses A:=AB, B = BC, et les conclusions qui en dérivent, par exemple que A est toujours G, que non-G*est non- B et non-A, que*non-B est non-A, et G ou non C, G-l- c.

La façon de traiter les propositions disjonctives est exactement la même. Soient, par exemple, les prémisses

A = AB 1- kh, B .|- & =BD -I- GD.

Il faut presser successivement les touches : A (sujet), copule, A (prédicat), B (prédicat) , conjonction , A, h (prédicats), le point, B (sujet), conjonction, h (sujet), copule, B et D (prédicats), conjonction, G et D (prédicats) et le point; les combinaisons de A, B, G,D et a, 6, c, d, incompatibles avec les prémisses disparaissent, et il reste :