CHAPITRE VIII
Propriétés remarquables des propositions précédentes.
Il sera maintenant aisé d'entendre certaines propriétés dos propositions universelles et particulières, affirmatives et négatives, sur lesquelles toute la force du raisonnement est fondée.
La proposition universelle, soit affirmative, soit négative, enferme la particulière de même qualité et de mômes termes. Cette affirmative : Tout corps est mobile^ enferme celle-ci : Quelque corps est mobile, ou, Ce corps particulier est mobile ; et cette négative : Nul corps né raisonne, enferme celle-ci : Quelque corps, ou. Ce corps particulier ne raisonne pas. La raison est que ce terme totêl enferme tous les particuliers, et que ce terme ntd les exclut tous. Qui dit tout corps^ dit chaque corps, de quelque espèce qu'il soit, et tous les corps particuliers sans e)cception ; qui dit nul corps^ exclut chaque corps, et tous les corps en particulier, sans rien réserver ; de sorte que, s'il était vrai que tout corps est mobile, sans qu'il fût vrai que quelque corps fût mobile, il serait vrai que la partie ne serait pas dans son tout
Par la même raison, il paraît que la particulière n'enferme pas l'universelle, parce qu'étant contenue,