La semana en Calculemus (2 de diciembre de 2023)
Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:
- 1. Si ¬(∃x)P(x), entonces (∀x)¬P(x)
- 2. Si (∀x)¬P(x), entonces ¬(∃x)P(x)
- 3. Si ¬(∀x)P(x), entonces (∃x)¬P(x)
- 4. Si (∃x)¬P(x), entonces ¬(∀x)P(x)
- 5. ¬¬P → P
A continuación se muestran las soluciones.
Read More “La semana en Calculemus (2 de diciembre de 2023)”