Hola, me gustaría saber si el siguiente razonamiento es correcto para el Paso inductivo 3 , (el del cuantificador universal), en la parte c:
Asumo que x1 está libre para y en ((∀xi)α). Por def. de término libre para una variable en una fórmula, esto es que x no pertenece a las variables libres de la fórmula ((∀xi)α) o que x no pertenece al conjunto de las variables libres de x1 y x1 está libre para y en α. Supongo esta segunda parte del "o", ya que permitirá que se cumpla la hipótesis (x1 está libre para y en α => #x1(α[x1/y])=#x1(α))