Syllogisme

Une forme d'argument déductif composée de deux prémisses et d'une conclusion qui relient trois termes selon les schémas syllogistiques classiques (généralement des propositions catégoriques telles que « Tous les A sont B; C est A; donc C est B ») ; la validité dépend de la structure formelle de l'argument tandis que la solidité requiert en outre des prémisses vraies.