Bir mantık sorusunda, "Tüm insanlar ölümlüdür. Sokrates bir insandır." öncüllerinden ulaşılan zorunlu çıkarım aşağıdakilerden hangisidir?