Ciencias Logicas

Es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida