"Bütün insanlar ölümlüdür. Sokrates bir insandır. O halde Sokrates de ölümlüdür." Bu ifade aşağıdaki mantık türlerinden hangisine örnektir?