Buenas Ignacio.
Tiene errores y no está muy claro el razonamiento. Te digo dos cosas puntuales, pero en realidad te recomendaría comenzarlo desde cero en lugar de intentar acomodarlo.
Primero, la propiedad de inducción. La propiedad debería ser:
: " existen exactamente 
listas binarias de largo 
".
Lo que se prueba por inducción es que para todo se cumple la propiedad , entonces el "para todo" no debe estar adentro de la propiedad.
Por otra parte, son listas binarias, no matrices.
En todo caso te recomendaría preguntar a algún docente de forma presencial (o en tutorías entre pares) para una devolución más completa y pensarlo entre los dos.
Suerte!
Tiene errores y no está muy claro el razonamiento. Te digo dos cosas puntuales, pero en realidad te recomendaría comenzarlo desde cero en lugar de intentar acomodarlo.
Primero, la propiedad de inducción. La propiedad debería ser:
: " existen exactamente listas binarias de largo ".Lo que se prueba por inducción es que para todo
se cumple la propiedad , entonces el "para todo" no debe estar adentro de la propiedad.Por otra parte, son listas binarias, no matrices.
En todo caso te recomendaría preguntar a algún docente de forma presencial (o en tutorías entre pares) para una devolución más completa y pensarlo entre los dos.
Suerte!