DUI

1 il K 1 U 1 ,( 1

La machine nous donne ainsi la description de A, B, C, a, b, c, S0U3 les conditions posées par les prémisses A=eAB, B=:BC, et les coschisiOBs qui en dérivent, par exemple que A .est toajoun C, que noit-C'eet non- B et non-A, que noii'B est two-A, et C on non C, C -1- e.

La façon de traiter les propositions disjonctives est exaciement la même. Soient, par enemple, le» prémisses

A = AB (Aï», B f- 6=BD -r- CD.

Il faut presser successivement les touches : A (sujet), copule, \ (prédicat), B (prédicat) , conjonction , A, b (prédicats), le point,. B (sujet), conjonction, 6 (sujet), copule, B et D (prédicats), conjonction, C et D (prédtcatB)et le point; les combinaisons de A,B, C,D et a,b, c,d, incompatibles avec le» prémisses diarparaissent, et il reste :

;. Cookie