donde formula_11, y formula_12 son proposiciones expresadas en algún sistema formal.