La lógica de Diótima

La lógica de Diótima: no todos los hombres son Sócrates.