La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida.