Silogismul este un raționament format din trei propoziții categorice (două premise și o concluzie), conținând în total trei termeni (termenul major, termenul mediu, și termenul minor). Este o inferență mediată.
Structura generală a unui silogism:
Premisa 1: O-O
Premisa 2: O-O
Concluzia: O-O
Exemplu:
Premisa 1: Toți oamenii sunt muritori.
Premisa 2: Toți grecii sunt oameni.
Concluzie: Toți grecii sunt muritori.
P = muritori
S = grecii
M = oameni
Fiecare dintre cei trei termeni ai silogismului (S, P, M) apare de două ori, în propoziții diferite.
Aranjamentele posibile ale termenilor silogismului produc următoarele figuri silogistice:

Termenii care apar într-un silogism sunt următorii: