Это пример силлогизма, который является логическим умозаключением. В данном случае используются два предшествующих утверждения (посылки) для вывода заключения. Здесь общая характеристика (смертность) применяется как к группе (люди) и к отдельному члену этой группы (Сократ).
