20/08/2018, 08:01:28 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Prueba \(\forall x\forall y\exists!u\forall z(z,\in u\leftrightarrow z\in x\)...  (Leído 53 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Buscón
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 2.704


Ver Perfil
« : 09/08/2018, 12:52:07 pm »


Probar que    [texx]\forall{\,x}.\;\forall{\,y}.\;\exists{!\,u}.\;\forall{\,z}.\;(z\in{u}\leftrightarrow{z\in{x}}\wedge z\not\in{y})[/texx].


P.D.: Utilizar para ello los axiomas de Separación, (Especificación o Comprensión), y Extensionalidad.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!