Es decir, formula_3 es una conclusión lógica de formula_2.