Il sillogismo (dal greco συλλογισμός, syllogismòs, formato da σύν, syn, "insieme", e λογισμός, logismòs, "calcolo": quindi, "ragionamento concatenato") è un tipo di ragionamento dimostrativo che fu teorizzato per la prima volta da Aristotele, il quale, partendo dai tre tipi di termine "maggiore" (che funge da predicato nella conclusione), "medio" e "minore" (che nella conclusione funge da soggetto) classificati in base al rapporto contenente - contenuto, giunge ad una conclusione collegando i suddetti termini attraverso brevi enunciati (premesse).