"igual" o "equivalencia" para indicar el paso realizado?

[Elias]

Una pregunta, al momento de indicar que pasos hicimos en ejercicios de inducción.

se coloca un simbolo "=" antes de las llaves, o en realizad se debe ser un "equivalencia"

que es correcto poner?

={Por Def. Caso recursivo de ++}

"equivalencia"{Por Def. Caso recursivo de ++}

Saludos, Elías

[Laura Alonso Alemany]

Hola,

se usa = o equivalencia dependiendo de lo que se quiera comparar. Si lo que estamos comparando son expresiones de tipo booleano, usaremos la equivalencia, si no, usaremos el igual. En los casos de inducción, las propiedades que queremos demostrar tienen tipo booleano (por eso es que queremos demostrar que son True para todos los casos), así que habría que usar una equivalencia.

Saludos,

Laura.

--

Laura Alonso i Alemany

FaMAF - UNC
Medina Allende S/N - Ciudad Universitaria
Córdoba - Argentina

http://www.cs.famaf.unc.edu.ar/~laura

[Elias]

ahora entendí, muchas gracias.

Elías