¿Por qué haces esto tan complicado?
Sin pérdida de generalidad, podemos eliminar la z.
Dado que [matemática] \ existe y \ para todos x S (x, y) [/ matemática].
- ¿Es verdadero o falso el platonismo matemático?
- ¿Por qué existen otros sistemas de coordenadas, como esféricos, polares, etc.?
- ¿Cuál es el significado del teorema de factorización de Weierstrass?
- ¿Cómo han cambiado los límites de AMC 10/12 en los últimos años?
- ¿A qué equivale [matemática] x ^ 1 + x ^ 3 + x ^ 5 + x ^ 7… + x ^ n [/ matemática]?
Deje que [math] a [/ math] sea tal que [math] \ forall x S (x, a) [/ math]
Pero [matemática] S (x, a) [/ matemática] implica que [matemática] \ existe y S (x, y) [/ matemática], entonces [matemática] \ forall x \ existe y S (x, y) [ /matemáticas]
Tenga en cuenta que el intercambio de la otra manera no es cierto, es decir
[matemáticas] \ para todos x \ existe y S (x, y) [/ matemáticas] no implica necesariamente [matemáticas] \ existe y \ para todos x S (x, y) [/ matemáticas]
Por ejemplo, considere el universo de {1,2,3,4} y S definido como:
(1,2), (2,3), (3,4), (4,1)
Claramente, no existe y para el cual S (x, y) es verdadero para todas las x. Sin embargo, para todo x, hay ay tal que S (x, y).