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