Correcciones en reglas de inferencia