Un sillogismo è una deduzione. È un tipo di argomentazione logica in cui una proposizione (la conclusione) è dedotta da due o più altre (le premesse). L'idea è un'invenzione di Aristotele.

Negli Analitici Priori, Aristotele definisce il sillogismo come "un discorso in cui, essendo state supposte certe cose, qualcosa di diverso dalle cose supposte risulta di necessità perché queste cose sono così". (24b18–20)

Ogni proposizione deve avere una qualche forma del verbo essere in essa. Un sillogismo categorico è come una piccola macchina costruita da tre parti: la premessa maggiore, la premessa minore e la conclusione. Ognuna di queste parti è una proposizione e, dalle prime due, si decide il "valore di verità" della terza parte.