Día: 9 marzo 2024

Esta semana he publicado en Calculemus las demostraciones con Lean4 e Isabelle/HOL de las siguientes propiedades:

• 1. (s \ t) ∪ (t \ s) = (s ∪ t) \ (s ∩ t)
• 2. Pares ∪ Impares = Naturales
• 3. Los primos mayores que 2 son impares
• 4. s ∩ (⋃ i, A i) = ⋃ i, (A i ∩ s)
• 5. (⋂ i, A i ∩ B i) = (⋂ i, A i) ∩ (⋂ i, B i)

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