Hola, cree este tema para discutir sobre la nueva (y primera) tarea de Conjuntos 3, en caso de problemas podernos apoyar.

Quiero comenzar apuntando que me parece que el ejercicio 0.5 está mal, me parece más bien que ABF implica AFA unicidad y no AFA existencial.
Pues pude probar que ABF implica AFA unicidad y en caso de que implicara AFA existencial también, entonces ABF implicaría AFA lo cual estoy completamente seguro de que no puede ser. xD

Ah sí... ya chequé en mis apuntes y lo que dice es ABF -> AFA_! XD
Ya no tienen que responder nada si no quieren, sólo aumenten mi Karma.

Hablando de errores, el Problema 0.2. también tiene un error. Estoy casi seguro de que el dominio de t es n+1 en vez de n y además, donde dice "t(n)=p" debería decir "t(n)=x".

Tengo otro problema en el Problema 0.7., me parece que la clase A debería ser un sistema y la relación heredada debería ser la relación del sistema, o por lo menos una relación distinta a la misma relación de equivalencia con la que se está haciendo el cociente... ¿Alguien me apoya?

En el Problema 0.8., no se usa al sistema N ¿o sí?
Checando mis apuntes, para definir a la relacional W sólo se usa a M... Estoy confundido.
¿Estoy pasando por alto algo? Por favor ayuda.