donde formula_1 y formula_2 son proposiciones expresadas en algún sistema formal.