"Bütün insanlar ölümlüdür" ve "Sokrates bir insandır" öncüllerinden hareketle "O halde Sokrates ölümlüdür" sonucuna ulaşan akıl yürütme türü aşağıdakilerden hangisidir?