x = y <==> {x} = {y}
x€{x} <==> y€{y}
x€{x} <==> x€{y}
{x} = {y}
}{x}{ = }{y}{
x = y
x = y <==> }x{ = }y{
¬( x€{x} ) <==> ¬( y€{y} )
x€}x{ <==> y€}y{
x€}x{ <==> x€}y{
}x{ = }y{
{}x{} = {}y{}
No hay comentarios:
Publicar un comentario