Analizați validitatea următorului silogism: Toți oamenii sunt muritori, Ioan este un om, prin urmare Ioan este muritor.
Silogismul este valid. Urmează structura clasică a unui silogism categoric valid cunoscut sub numele de „Barbara”. Această structură este organizată ca „Toate A sunt B, Toate C sunt A, prin urmare Toate C sunt B.” În acest caz, A reprezintă oamenii, B reprezintă ființele muritoare, iar C reprezintă pe Ioan. Deoarece toți oamenii sunt muritori (Toți A sunt B) și Ioan este un om (Toți C sunt A), rezultă în mod logic că Ioan este muritor (Toți C sunt B).