En logique, le syllogisme est un raisonnement logique mettant en relation au moins trois propositions : deux ou plus d'entre elles, appelées « prémisses », conduisent à une « conclusion ». Aristote a été le premier à le formaliser dans son Organon. Ces propositions sont généralement exprimées avec uniquement des prédicats unaires et relèvent donc de la logique monadique du premier ordre.

Un exemple très connu de syllogisme est : « Tous les hommes sont mortels, or Socrate est un homme; donc Socrate est mortel » : les deux prémisses (dites « majeure » et « mineure ») sont des propositions données et supposées vraies, le syllogisme permettant de valider la validité formelle de la conclusion, qui est nécessairement vraie si les prémisses sont effectivement vraies.

Plus d'info : fr.wikipedia.org