Hola, estaba intentando demostrar la doble implicación:
He sabido demostrar la primera implicación. Suponiendo que existe x, x es única (puesto que si escogemos dos x_1 y x_2, resultan ser iguales x_1=y=x_2), ahora bien, éste x es igual a y, además el último término que resulta ser y=y lo podemos suprimir eliminando la conjunción.
La segunda cómo se demostraría¿?
Sé que la parte de la derecha implica , pero no sé introducir x=y... quizá pueda demostrarlo por reducción al absurdo, pero debe ser más sencillo digo yo.
Saludos y gracias.
- - - Actualizado - - -
Ya pregunté por otro foro y me respondieron, adjunto el enlace por si alguien le da el gusanillo de saber cómo se demuestra.
Gracias y saludos.
La segunda cómo se demostraría¿?
Sé que la parte de la derecha implica , pero no sé introducir x=y... quizá pueda demostrarlo por reducción al absurdo, pero debe ser más sencillo digo yo.
Saludos y gracias.
- - - Actualizado - - -
Ya pregunté por otro foro y me respondieron, adjunto el enlace por si alguien le da el gusanillo de saber cómo se demuestra.
Gracias y saludos.
Comentario