DAO: La semana en Calculemus (21 de octubre de 2022)
Esta semana he publicado en Calculemus las demostraciones con Lean de las siguientes propiedades:
- 1. Si R es un retículo y x, y ∈ R, entonces x ⊔ y = y ⊔ x
- 2. Si R es un retículo y x, y, z ∈ R, entonces (x ⊓ y) ⊓ z = x ⊓ (y ⊓ z)
- 3. Si R es un retículo y x, y, z ∈ R, entonces (x ⊔ y) ⊔ z = x ⊔ (y ⊔ z)
- 4. Si R es un retículo y x, y ∈ R, entonces x ⊓ (x ⊔ y) = x
- 5. Si R es un retículo y x, y ∈ R, entonces x ⊔ (x ⊓ y) = x
A continuación se muestran las soluciones.
Read More “DAO: La semana en Calculemus (21 de octubre de 2022)”