LGEBRA DE CONJUNTOS

CONVENCIONES : Tanto en las definiciones como en las leyes subsiguientes; A, B, C designan

conjuntos arbitrarios, mientras que U es el conjunto Universo y el conjunto vaco.
DEFINICIONES: En las siguientes definiciones y relaciones entre conjuntos, se sobreentiende que x
es un elemento del conjunto universo U; el mismo que contiene a los conjuntos A, B, C.

Unin () :
Interseccin () :
Diferencia ( ) :
Complemento ( c ) :
Diferencia simtrica ( ):
Inclusin ():
Igualdad (=) :

AB={x/xA xB}
AB={x/xA xB}
AB={x/xA xB}
Ac = { x / x A }
A B = (A B) ( A B)
A B x, x A x B
A=B A B B A

PRINCIPALES LEYES DEL LGEBRA DE CONJUNTOS :

LEYES DE IDEMPOTENCIA
1a) A A = A

1b) A A = A
LEYES ASOCIATIVAS

2a) (A B) C = A (B C)

2b) (A B) C = A (B C)

LEYES CONMUTATIVAS
3a) A B = B A

3b) A B = B A
LEYES DISTRIBUTIVAS

4a) A (B C) = (A B) (A C)

4b) A (B C) = (A B) (A C)

LEYES DE IDENTIDAD
5a) A = A
6a) A U = U

5b) A U = A
6b) A =
LEYES DE COMPLEMENTO

7a) A Ac = U
8a) ( Ac )c = A

7b) A Ac =
8b) U c = , c = U
LEYES DE De MORGAN

9a) (A B)c = Ac Bc

9b) (A B)c = Ac Bc

OBSERVACIN : El smbolo Ac, que denota el complemento del conjunto A, tambin se suele denotar como A,
o A.