New machine with its electronic circuit for the calculation and analysis of logical interferences. (Machine-translation by Google Translate, not legally binding)

摘要

New machine with its electronic circuit for the calculation and analysis of logical inferences, characterized in that it is constituted by three bodies, connected to each other, of which the first one presents three analogous sections, and each of them three columns of keys: the first one, of four keys of double labeling, referring to the classic types of propositions; the second with two keys, corresponding to the introduction of the terms of each proposition, and labeled in the order in which they appear; the third two keys, for introduction of negative terms, labeled x and y; the second body, faced with the three connections of each of the sections described, presents a pair of lamps of different colors, for each pair of propositions, indicating whether with the propositions considered as premises, a valid conclusion may or may not be obtained; the third body has a connection with the second and presents two lamps of different colors indicating the validity or falsity of the logical inference. (Machine-translation by Google Translate, not legally binding)