ABC

aBG,

abc.

Il suit de là

que

= ABG,

= ahc^

= ABG .|.

aBC,

= atG 1-

ahc\

Si les prémisses contiennent quatre, cinq, six termes distincts, nous aurons seize, trente-deux, soixantequatre combinaisons, et ainsi de suite à l'infini. •— Les séries de ces combinaisons constituent ce que M. Jevons appelle V abécédaire logique 2.

VII. Voici l'abécédaire de un, de deux, de trois, de quatre et de cinq termes. Représentons par X le summum genus, c'est-à-dire la classe absolument universelle qui contient tous les êtres sans exception. Former la classe A et son contraire, la classe a, ce sera choisir parmi tous les êtres ceux qui possèdent et ceux qui ne possèdent pas les attributs connotés par A. Toute classe inférieure en extension au sionmtim gemis sera donc représentée par XA, ou XAB, ou XABC, etc. Il convient donc de placer en tête de l'abécédaire le genre suprême X, et de supposer que toutes les classes inférieures sont en quelque sorte découpées dans X. On aura donc :

1. Cf. Princ. of scù, B. I^ ch. 6. On the mechanical performance of logical inference.