"Tüm insanlar ölümlüdür. Sokrates bir insandır. O halde Sokrates de ölümlüdür." Bu çıkarım hangi mantık türünün klasik örneğidir?