Día: 11 noviembre 2023

Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:

• 1. Transitividad de la divisibilidad
• 2. Si a divide a b y a c, entonces divide a b+c
• 3. La función (x ↦ x + c) es suprayectiva
• 4. Si c ≠ 0, entonces la función (x ↦ cx) es suprayectiva
• 5. Si c ≠ 0, entonces la función (x ↦ cx + d) es suprayectiva

A continuación se muestran las soluciones.
Read More “La semana en Calculemus (11 de noviembre de 2023)”