syllogismes  :

Raisonnement formel établissant une conclusion nécessaire à partir de deux propositions données (prémisses).