Raisonnement qui a la forme d'une implication dont l'antécédent est la conjonction de deux propositions appelées prémisses, par exemple :« Si tout B est A et si tout C est B, alors tout C est A. »
Reasoning that has the form of an implication whose antecedent is the conjunction of two propositions called premises, for example: "If all B is A and if all C is B, then all C is A."