Claro, las hipotesis de la derivación estan incluidas en un conjunto de formulas, no tiene porque ser exactamente el mismo conjunto, gracias por la aclaración!
Claro, las hipotesis de la derivación estan incluidas en un conjunto de formulas, no tiene porque ser exactamente el mismo conjunto, gracias por la aclaración!