La lógica formal es una ciencia que estudia los métodos para distinguir el razonamiento correcto del incorrecto, evaluando si un razonamiento tiene solución al problema, sigue la conclusión de lo afirmado, y si lo afirmado proporciona buenas razones para aceptar la conclusión. La lógica se enfoca en la corrección del proceso completo del razonamiento.