LIVRE II, CHAPITRE IX

si la conversion est contradictoire , les deux propositions seront détruites. En effet , si B est à tout C , et que A ne soit à aucun B ^ A ne sera à aucun C ; mais on supposait qu'il était à quelque C. Et encore si B est à tout C, et A à quelque C, A sera à quelque B. § 8. La démon* stration est la même, si la proposition universelle est affirmative.

ianUs, détruisant la majeure par sa contradictoire : A est à quelque G, B est à tout G ; Donc A est à quelque B.

g 8. 5*' la proposition universelle est affirmative, Baroco au lieu de Festino, Par contraire , aucune des prémisses n'est détruite; par contradictoire , elles le sont toutes deux. Premier syllogisme en Baroco : A est à tout B, A n'est pas à quelque G ; Donc B n'est pas à quelque G. Second syllogisme en Darii qui ne détruit pas la mineure : A est à tout B , B est à quelque G ; Donc A est à quelque G , conclusion qui peut être vraie en même temps que la*

première. Troisième syllogisme pour détruire la majeure : A n'est pas à quelque B , B est à quelque G , la conclusion est impossible avec deux prémisses particulières. — Par contradictoire; premier syllogisme en Baroco : A est à tout B , A n'est pas à quelque G ; DoncB n'est pas à quelque G. Second syllogisme détruisant la mineure par sa contradictoire en Barbara : A est à tout B, B est à tout G ; Donc A est à tout G. Troisième syllogisme détruisant la majeure par sa contradictoire en Brocardo : A n'est pas à quelque G , B est à tout G ; Donc A n'est pas à quelque B, contradictoire de la majeure.

PREMIEB8 ANALYTIQUES.