Re: [escepticos] cuantificadores

[José Velásquez <a19880201@...>]

Hola pepet.

pepet escribió:
 
> (...) no he visto nada que me desmonte el hecho de que (existe un x tal
> que f(x)) no es más que una generalización de f(x1) ó f(x2) ó ...óf(xn)
> en el caso de que la función proposicional f(x) se pueda enunciar para
> una cantidad infinita (o simplemente poco manejable) de objetos x.

Se me ocurre algo. Si el dominio de las x es un conjunto no enumerable
¿cómo haces para cubrirlo con la secuencia f(x1) ó f(x2) ó ... ó f(xn)
que es una secuencia enumerable?.

Saludos.

José