"Tüm insanlar ölümlüdür. Sokrates bir insandır. O halde Sokrates ölümlüdür." Bu argümanın yapısı aşağıdaki mantık türlerinden hangisine örnektir?