La primer parte de la clase la dedicamos a ejercitar de los temas vistos la clase pasada, en particular Y, O y negación.

Vimos que hasta ahora sólo trabajamos con la idea de Existencia (cuantificador implícito en todas las reglas que venimos definiendo) o No Existencia (usando el predicado de orden superior not/1).

Existe vs Para Todo
A medida que se fueron complicando los problemas nos dimos cuenta que si bien con Existe y No Existe podemos solucionar los problemas más complicados también, hay otro cuantificador muuuuy conveniente para ciertos problemas que es el Para Todo (para lo cual usamos el predicado de orden superior forall/2).

Próximamente va a estar disponible una guía de aprendizaje de Mumuki sobre estos temas (avisaré por la lista cuando esté publicada).