[Práctico 5] Ejercicio 1.5.

[Práctico 5] Ejercicio 1.5.

de Jairo Yamil Bonanata Silva -
Número de respuestas: 1

Hola,
Estoy tratando de hacer este ejercicio que pide probar la transitividad de LE (menor o igual). ¿La idea es hacer inducción y luego aplicar inversión para poder demostrarlo? Porque no estoy pudiendo.

Saludos,
Jairo.

En respuesta a Jairo Yamil Bonanata Silva

Re: [Práctico 5] Ejercicio 1.5.

de Carlos Luna -

Hola.

Si, la idea es usar inducción en un nat o en LE.

Se usa también inversion (o inversion_clear), inversion Hi in Hj (o inversion_clear Hi in Hj y constructor.

Saludos, Carlos