Comment appelle-t-on ceci : Tous les hommes sont mortels, Socrate est mortel, donc Socrate est un homme ?
Il s'agit d'un syllogisme, du latin syllogismus (lui-même emprunté du grec), signifiant : inférence, conclusion.
Un syllogisme est un raisonnement qui a la forme d'une implication dont l'antécédent est la conjonction de deux propositions appelées prémisses. : Si tout B est A et si tout C est B, alors tout C est A.
Attention toutefois à ne pas utiliser de faux syllogismes, qui rendraient vos propos absurdes, tels que : «Tous les chats sont mortels. Socrate est mortel. Donc Socrate est un chat» (citation de Eugène Ionesco) !!
Plus d'info :
www.larousse.fr