LIVRE I, CHAPITRE XX If

particulière, la démonstration se fera par rédxiélioït à l'absurde. Que B , par exemple , soit à tout C , et qiie A puisse ne pas être à quelque C : par suite , il est nécessaire que A puisse ne pas être a quelque B ; car si A est nécessairement à tout B , et que B soit supposé être à tout G, A sera nécessairement aussi à tout C; c'est ce qu'on a précédemment démontré; mais la supposition était que A pouvait ne pas être à quelque C. § 7. Si les propositions sont toutes deux indéterminées ou particulières, il n'y aura pas de syllogisme. La démonstration est la même que dans les modes universels, et par les nftêmes termes.