Qué vimos hoy:

• Negación
• Inversibilidad
• Generación
• Para todo (forall)
  

Tarea para la próxima clase:

https://sites.google.com/site/paradigmasdeprogramacion/material/guas-de-ejercicios/teg-sin-listas

Además, para la entrega tienen que respetar el siguiente formato:

https://sites.google.com/site/paradigmasdeprogramacion/material/guas-de-ejercicios/formato-de-entrega

Desafío:

• Hacer el predicado paraTodo, que funcione igual que el forall, obviamente sin usar el forall.