Buenas noches, les dejo una duda para que puedan contestarme a la brevedad, ya que no puedo definir un lema auxiliar para finalizar la demostración inductiva 1, tiene que ver con la barra de Shiffer. Pense en usar el teorema de sustitución ya que las valuaciones son iguales para cada una de las metavariables que se definen, pero no encuentro la manera de definir el lema formalmente, y a su vez demostrarlo (si es que también se debe de hacer).
Tambien se comenta en el video del practico, la profesora que usemos las sugerencias, pero la sugerencia que dan esta asociada al conectivo ( \neg \) y no al ( \wedge \) dejo letra de la duda y además de lo que voy realizando.
Gracias
