IV. Neqmquam medhm capiat cmclusio fas est

La conclusion ne peut pas renfermer le moyen terme.

Exemple : Les philosophes sont savants.

Or Âristote fut philosophe, Doïxckrhlotç^iniwn savant philosophe.

Il est évident qu'ici samnt philosophe est un quatrième terme composé qui ne se trouve pas dans les prémisses, et le sens d'ailleurs comme la forme du syllogisme montrent qu on doit conclure qu'Âristote fut un savant, mais non un savant parmi les philosoplies.

V. Jmbx ajjirmantes nequeunt generare negantem. Deux prémisses affirmatives ne peuvent donner une conclusion négative.

En effet, la conclusion contredirait les prémisses. Les prémisses étant affirniatives Tune et l'autre ont montré l'identité (totale ou partielle) des deux extrêmes au moyen terme. La conchision ne peut nier cette identité.