Академический Документы
Профессиональный Документы
Культура Документы
A - (BC) = (A - B) (A - C) 1) Supongamos x A - (B C) entonces x A x (BC) -> x B y x C Entonces x A y x B -> x (A - B) x A y x C -> x (A - C) Como pertenece a los dos x (A - B) (A - C) 2) Supongamos x (A - B) (A - C) entonces x (A - B) y x (A - C) x A y x B y x A y x C Como x B y x C x (BC) x A y x (BC) x A - (BC) Como probamos la inclusin en los dos sentidos A - (B C) = (A - B) (A - C) L.Q.Q.E.D.
Por propiedad distributiva tenemos en el primer miembro que A-(B U C)= (A-B) (A-C) LO QUE NOS QUEDA QUE (A-B) U (A-C) = (A-B) U (A-C)
L.Q.Q.D.E.
(A B) (A B) Ac = U Por propiedad asociativa se tiene ((A B) (A B)) Ac = U ((A B) (A B)) Ac = U (A B) Ac = U Por unin de conjuntos (A B) Ac = U (A BC) Ac = U Por ley de identidad
Por complemento de un conjunto U= U LQQDE 3. Sean A y B dos conjuntos y B1 y B2 son subconjuntos de B. Demostrar que si , entonces A x B = (A x B1) (A x B2) Tesis: B=B1 U B2 A X B= (A XB1) U (A X B2) Tenemos entonces que
y que Tenemos entonces por unin de conjuntos que
B1 U B2 =B Ahora hay que demostrar el producto catesiano mismo que no dice que ( Por unin de conjuntos tenemos que (A X B)= (A X B) DONDE
y que
B=B1 U B2