La semana en Calculemus (13 de enero de 2024)
Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:
- 1. En ℝ, y > x² ⊢ y > 0 ∨ y < -1
- 2. En ℝ, -y > x² + 1 ⊢ y > 0 ∨ y < -1
- 3. En ℝ, si x < |y|, entonces x < y ó x < -y
- 4. En ℝ, x ≤ |x|
- 5. En ℝ, -x ≤ |x|
A continuación se muestran las soluciones.
Read More “La semana en Calculemus (13 de enero de 2024)”