"Tüm insanlar ölümlüdür. Sokrates bir insandır. O halde Sokrates ölümlüdür." Bu akıl yürütme örneği hangi mantık türüne aittir?