cuál es la definición de lógica