hola, el ej 15 dice:
Demuestre que la función identidad para árboles binarios de elementos de un tipo genérico
cual seria dicha identidad? la definimos o esta en algun lado?
Saludos
Hola.
La función identidad tenés que definirla como parte del ejercicio. Notar que no es recursiva; dado un árbol retorna el mismo árbol.
Saludos, Carlos
Listo.
La parte 1 y la reflexiva son muy similares.
Ahora, estoy con la simetría y estoy teniendo problemas en general para entender cuando hago inducción sobre 2 valores.
Alguna pista para este ejercicio?
Hola.
En general no es conveniente (ni necesario en la mayoría de los casos) hacer inducción en cada variable. Recordar también que la relación isomorfo es inductiva. Luego, es posible hacer inducción en una hipótesis que corresponda a isomorfo entre dos árboles.
Saludos, Carlos
Buenisimo. Quedo!