Se identifică dacă următorul argument este valid sau nevalid:
Fiecare câine este un mamifer.
Toate mamiferele au sânge cald.
Deci, fiecare câine este cu sânge cald.
Acest argument este valid. Ea urmează structura logică a silogismului, în care ambele premise sunt adevărate, iar concluzia rezultă în mod necesar din ele.