nom masculin (latin syllogismus, du grec sullogismos)
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. »