dudas con ejercicio 4 del practico 5

[marcosh]

Buen día estimados profesores: Les escribo porque me surgio una duda
en el ejercicio 4 del practico 5, estoy formalizando los enunciados y
en el el punto 3 de a me surge una duda:

Todas las esferas son grandes, lo formalice asi

∀x (esfera(x) → grande(x) )

ocurre q cuando trabajo con los mundos 4 y 5 ahi me surge el error, ya
q para el mundo 4 no se me cumple y en el mundo 5 si, y en ambos
mundos se debe cumlir dicha formalización, quisiera por favor si me
pudieran orientar para saber donde me equivoco, desde ya muchas
gracias por su atencíon.

Saludo atte. Marcos Hernández

[Walter Alini]

Hola,

El mundo4, según lo que veo, tiene una esfera roja en la parte
inferior derecha. Dicha esfera no es grande, lo que para mí hace que
no se cumpla la expresión. En particular, si cambiás esta esfera por
una grande, sí se cumple la expresión.

Quizá me esté equivocando en algo o no entienda del todo la pregunta.
Si es así, por favor respondé este mail de nuevo y lo vemos más en
detalle.

waldo

2011/10/22 marcosh <marcosfabi...@hotmail.com>:

[Walter Alini]

2011/10/25 Walter Alini <walte...@gmail.com>:

> El mundo4, según lo que veo,  tiene una esfera roja en la parte
> inferior derecha. Dicha esfera no es grande, lo que para mí hace que
> no se cumpla la expresión. En particular, si cambiás esta esfera por
> una grande, sí se cumple la expresión.

Con lo cual, si el ejercicio dice que la expresión como está se
cumple, hay allí un error en el práctico.

Walter