Día: 2 marzo 2024

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

• 1. s \ (t ∪ u) ⊆ (s \ t) \ u
• 2. s ∩ t = t ∩ s
• 3. s ∩ (s ∪ t) = s
• 4. s ∪ (s ∩ t) = s
• 5. (s \ t) ∪ t = s ∪ t

A continuación se muestran las soluciones.
Read More “La semana en Calculemus (2 de marzo de 2024)”