Día: 23 septiembre 2023

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

• 1. En los retículos, x ⊔ y = y ⊔ x
• 2. En los retículos, (x ⊓ y) ⊓ z = x ⊓ (y ⊓ z)
• 3. En los retículos, (x ⊔ y) ⊔ z = x ⊔ (y ⊔ z)
• 4. En los retículos, x ⊓ (x ⊔ y) = x
• 5. En los retículos, x ⊔ (x ⊓ y) = x

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