La semana en Calculemus (5 de agosto de 2023)
Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:
- 1. Si R es un anillo y a, b ∈ R, entonces (a + b) + -b = a
- 2. Si R es un anillo y a, b, c ∈ R tales que a+b=a+c, entonces b=c
- 3. Si R es un anillo y a, b, c ∈ R tales que a+b=c+b, entonces a=c
- 4. Si R es un anillo y a ∈ R, entonces a.0 = 0
- 5. Si R es un anillo y a ∈ R, entonces 0.a = 0
A continuación se muestran las soluciones.
Read More “La semana en Calculemus (5 de agosto de 2023)”