Ali, "Tüm insanlar ölümlüdür. Sokrates bir insandır. O halde Sokrates de ölümlüdür." şeklinde bir akıl yürütme yapmaktadır. Ali'nin kullandığı bu argüman türü aşağıdakilerden hangisidir?