La lógica es una rama de la filosofía y ciencia formal que estudia los principios de la demostración y la inferencia válida, analizando las estructuras del pensamiento para diferenciar el razonamiento correcto del incorrecto.