Que expresan las formalizaciones de la lógica tradicional, si bien el caso de Antonio es mortal la lógica tradicional lo interpretaba como un término tomado en su extensión universal (hoy decimos clase universal) al considerarse que Antonio es único, y por tanto equivale a ‘Todos’.