donde formula_3 son los antecedentes y formula_4 los consecuentes.