¿Qué es la definición en la logica?