Syllogisme: Deux prémisses (dites « majeure » et « mineure ») sont des propositions données et supposées vraies, le syllogisme permettant d'établir la validité formelle de la conclusion, qui est nécessairement vraie si les prémisses sont vraies.

Un syllogisme avec deux prémisses vraies, majeure et mineure, donne une conclusion vraie comme dans cet exemple.

Tous les hommes sont mortels, (majeur)
Socrate est un homme, (mineur)
donc Socrate est mortel. (conclusion)

Un syllogisme avec la prémisse majeure fausse et la mineure vraie, donne une conclusion fausse comme dans cet exemple qui peut paraître vraie à la première vue si nous n’y réfléchissons pas.

Toutes les créatures sans dents sont kleptomanes, (majeur)
Or les poules n'ont pas de dents, (mineur)
Donc les poules sont kleptomanes. (conclusion)