Donde A es una fórmula cualquiera y formula_3 y formula_4 son conjuntos de fórmulas cualesquiera.