Usuario:Ricardocorrea~eswikibooks/capitulo2,ej1,pag90

capitulo2,ej1,pag 90

-demostrar que:

($\in$xB)$\land$A=$\in$x(B$\land$A)

suponiendo que A no tiene variable libre:

($\in$xB)$\land$A=$\in$x(B$\land$A)

≡($\in$xB)$\land$

≡$\in$x(B$\land$A)

de esta manera tenemos que:

($\in$xB)$\land$A=$\in$x(B$\land$A)