Esta segunda acepción es la que ha pasado a la tradición en los libros de lógica.