La Lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida.