syllogisme

En logique aristotélicienne, le syllogisme est un raisonnement à deux propositions (ou prémisses) conduisant à une conclusion qu'Aristote a été le premier à formaliser.

Par exemple, Tous les hommes sont mortels, or les Grecs sont des hommes, donc les Grecs sont mortels est un syllogisme ; les deux prémisses (dites « majeure» et « mineure ») sont des propositions données et supposées vraies permettant de vérifier la véracité formelle de la conclusion.