donde formula_2 representa una consecuencia lógica.