Lógica: es una ciencia los fundamentos de la inferencia válida y la demostración.