"«...es la ciencia formal que estudia los principios de la demostración y la inferencia válida.