Dos características generalmente aceptadas de la relación de consecuencia lógica son que es «necesaria» y además «formal».