Buenas,
Estuve trabajando en el ejercicio 9 y no se si estoy encarando bien el ejercicio. Me gustaría saber si demostré correctamente la inclusión de Γ en ∆
Gracias de antemano!
Saludos,
Juan Rafael Menendez
Hola:
El paso inductivo no parece estar completo.
En particular, este argumento:
podemos construir aα usando las reglas inductivas de la definición de Δ
es precisamente lo que hay que probar.
¿cuáles son las reglas inductivas de Δ que permiten generar aα?
Por acá, se presenta un argumento parecido:
- https://eva.fing.edu.uy/mod/forum/discuss.php?d=285664
Fijate si te ayuda la respuesta que damos para ese mensaje.
Si quedan dudas, volvé a preguntar.