09-04-2011, 22:34
en alguna boludez seguro. xD
demostrar
A (intersección) (B-C) = [A (intersección) B] - [ C (intersección) A ]
---------------------------------------
"e" = pertenece
1er termino:
x "e" [A(intersección) (B-C)]
x "e" A ......^..... x "e"(B-C)
x "e" A ......^..... x "e"B ......^....... x "no e"C
x "e" (A(intersección)B) - C
2er termino:
[A (intersección) B] - [ C (intersección) A ]
x "e" [A (intersección) B] .....^......x "no e" [ C (intersección) A ]
x "e" A ..^.. x "e"B .......^.......x "no e" C .^. x "no e" A
FALSO ^.. x "e"B ...^..x "no e" C = FALSO
-----------------------------
primero me queda
x "e" (A(intersección)B) - C
ya de por si es diferente al 2do miembro, pero cuando pruebo me da verdadero
demostrar
A (intersección) (B-C) = [A (intersección) B] - [ C (intersección) A ]
---------------------------------------
"e" = pertenece
1er termino:
x "e" [A(intersección) (B-C)]
x "e" A ......^..... x "e"(B-C)
x "e" A ......^..... x "e"B ......^....... x "no e"C
x "e" (A(intersección)B) - C
2er termino:
[A (intersección) B] - [ C (intersección) A ]
x "e" [A (intersección) B] .....^......x "no e" [ C (intersección) A ]
x "e" A ..^.. x "e"B .......^.......x "no e" C .^. x "no e" A
FALSO ^.. x "e"B ...^..x "no e" C = FALSO
-----------------------------
primero me queda
x "e" (A(intersección)B) - C
ya de por si es diferente al 2do miembro, pero cuando pruebo me da verdadero