Matemticas Discretas

TC1003

Teora de Conjuntos: Propiedades de las Operaciones

Departamento de Matemticas / Centro de Sistema Inteligentes

ITESM

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 1/35

 El Argumento del Elemento

Sean X y Y conjuntos dados. Para probar que Argumento del

Elemento
Ejemplo 1
XY Operativa
Prueba de
recordemos que X Y x, x X x Y. Una igualdad
Conmutatividad
estrategia sera: Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 2/35

 El Argumento del Elemento

Sean X y Y conjuntos dados. Para probar que Argumento del

Elemento
Ejemplo 1
XY Operativa
Prueba de
recordemos que X Y x, x X x Y. Una igualdad
Conmutatividad
estrategia sera: Asociatividad
Para manejar el para todo se usa el mtodo de Distributividad
Leyes Identidad
generalizacin: suponga un elemento arbitrario Leyes
x, Complemento
Leyes
para probar que muestre que x X x Y Idempotencia
Leyes
seguiremos la estratega del mtodo de prueba Dominacion
directo: De Morgan
Absorcion
supondremos que x X para x arbitrario, Complemento
Base
mostraremos que x Y.
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 2/35

 Ejemplo Argumento del
Elemento
Pruebe que Z Q. Ejemplo 1
Demostracion Operativa
Prueba de
Sea z un elemento cualquiera de Z. As igualdad
Conmutatividad
z Asociatividad
z= Distributividad
1 Leyes Identidad
Leyes
Por lo tanto, z puede ser visto como la divisin Complemento
entre dos enteros (el mismo z y el 1). Por tanto, z Leyes
Idempotencia
es un racional. Por tanto z est en Q. Por el Leyes
argumento del elemento arbitrario Z Q. Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 3/35

 Versiones Operativas de las Operaciones

Sean X y Y subconjuntos de un conjunto universal Argumento del

Elemento
U , y suponga que x y y con dos elementos de U : Ejemplo 1
x X Y (x X) (x Y) Operativa
Prueba de
x X Y (x X) (x Y) igualdad
Conmutatividad
x X Y (x X) (x < Y) Asociatividad
Distributividad
x Xc x < X Leyes Identidad
Leyes
(x, y) X Y (x X) (y Y) Complemento
Leyes
x P(X) x X Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 4/35

 Indique en orden los conjuntos que completan las Argumento del
Elemento
afirmaciones: Ejemplo 1
Decir que un elemento x pertenece a B (A C) Operativa
Prueba de
significa que x pertenece a B y que x pertenece igualdad
a (a). Conmutatividad
Asociatividad
Decir que un elemento x pertence a (B C) A Distributividad
Leyes Identidad
significa que x pertenece a A o que x pertenece Leyes
Complemento
a (b). Leyes
Decir que un elemento x pertenece a C (B A) Idempotencia
Leyes
significa que x pertenece a (c) pero que x no Dominacion
De Morgan
pertenece a (d). Absorcion
1. C B 2. B C Complemento
Base
Dentro de la opciones: 3. A C 4. B A Ley Diferencia

5. C 6. C A

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 5/35

 Prueba de Igualdad entre Conjuntos

Sean X y Y conjuntos dados. Para probar que Argumento del

Elemento
X = Y: Ejemplo 1
pruebe que X Y, Operativa
Prueba de
pruebe que Y X. igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 6/35

 Leyes Conmutativas

Sean A y B dos conjuntos cualquiera, entonces: Argumento del

Elemento
A B = B A Ejemplo 1
Operativa
A B = B A
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 7/35

 Leyes Asociativas

Sean A, B y C conjuntos cualquiera, entonces: Argumento del

Elemento
A (B C) = (A B) C Ejemplo 1
Operativa
A (B C) = (A B) C
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 8/35

 Leyes Distributivas

Sean A, B y C conjuntos cualquiera, entonces: Argumento del

Elemento
A (B C) = (A B) (A C) Ejemplo 1
Operativa
A (B C) = (A B) (A C)
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 9/35

 Leyes de Identidad

Sean A un conjunto cualquiera, entonces: Argumento del

Elemento
A = A Ejemplo 1
Operativa
AU = A
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 10/35

 Leyes de Complemento (Negacin)

Sean A un conjunto cualquiera, entonces: Argumento del

Elemento
A Ac = U Ejemplo 1
Operativa
A Ac =
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 11/35

 Leyes de Idempotencia

Sean A un conjunto cualquiera, entonces: Argumento del

Elemento
A A = A Ejemplo 1
Operativa
A A = A
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 12/35

 Leyes de Dominacin

Sean A un conjunto cualquiera, entonces: Argumento del

Elemento
AU = U Ejemplo 1
Operativa
A =
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 13/35

 Leyes de De Morgan

Sean A y B dos conjuntos cualquiera, entonces: Argumento del

Elemento
(A B)c = Ac Bc Ejemplo 1
Operativa
(A B)c = Ac Bc
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 14/35

 Leyes de Absorcin

Sean A y B dos conjuntos cualquiera, entonces: Argumento del

Elemento
A (A B) = A Ejemplo 1
Operativa
A (A B) = A
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 15/35

 Complemento Base

Uc= Argumento del

Elemento
c = U Ejemplo 1
Operativa
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 16/35

 Ley de Diferencia

Sean A y B dos conjuntos cualquiera, entonces: Argumento del

Elemento
(A B) = A Bc Ejemplo 1
Operativa
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 17/35

 Indique en orden la opcin que contiene la ley Argumento del
Elemento
cuyo uso se lleva a cabo en: Ejemplo 1
c c
c c
a) ((D E) ) = (D E) :Doble Complemento Operativa
Prueba de
c
b) (B C) (B C) = :Ley Complemento igualdad
Conmutatividad
c c
c) E (D B) = (E D) B :Asociativa Asociatividad
Distributividad
c c c
d) E E = E :Idempotencia Leyes Identidad
Leyes
e) B (B (C D)) = B :Absorcin Complemento
Leyes
dentro de la lista: Idempotencia
1. Ley de Complemento 2. Ley de IdempotenciaLeyes
Dominacion
3. Ley Asociativa 4. Ley del Doble Complemento
De Morgan
Absorcion
5. Propiedad Distributiva 6. Ley de Absorcin Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 18/35

 Ejemplo
Indique en orden las leyes que justifican los pasos indicados.
A (A E) = A (A E)c por Ley de Diferencia
= A (Ac E c ) por De Morgan
= (A Ac ) (A E c ) por Ley Distributiva
= (A E c ) por Ley de Complemento
= (A E c ) por Ley Conmutativa
= A Ec por Ley de Identidad
= AE por Ley de Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 19/35

 Ejemplo
Indique en orden las leyes que justifican los pasos indicados.
(D Ac ) (D A) = D (Ac A) por Ley Distributiva
= D (A Ac ) por Ley Conmutativa
= DU por Ley de Complemento
= D por Ley de Identidad

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 20/35

 Ejemplo
Indique en orden las leyes que justifican los pasos indicados.
(C Bc )c (C c Bc ) = (C c (Bc )c ) (C c Bc ) por
= (C c B) (C c Bc ) por
= C c (B Bc ) por
= Cc U por
= Cc por

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 21/35

 Ejemplo Argumento del
Elemento
Indique en orden la simplificacin de cada Ejemplo 1
Operativa
conjunto: Prueba de
a) B igualdad
Conmutatividad
b) B B Asociatividad
Distributividad
c) B Leyes Identidad
Leyes
d) B Bc Complemento
Leyes
e) B Bc Idempotencia
dentro de la lista: Leyes
Dominacion
1. B De Morgan
Absorcion
2. U Complemento
Base
3. Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 22/35

 Ejemplo Argumento del
Elemento
Indique cules opciones contiene expresin que Ejemplo 1
Operativa
se simplifica a E: Prueba de
1. (E C c ) (E c C c ) igualdad
Conmutatividad
2. (Dc E) E Asociatividad
Distributividad
3. (E c D)c (E c Dc ) (E D) Leyes Identidad
Leyes
4. (E ((E c D)c )) (E D) Complemento
Leyes
5. E (Dc C E) Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 23/35

 Teorema Argumento del
Elemento
Para cualquier conjuntos E y D se cumple: Si Ejemplo 1
E D entonces E D D. Operativa
Prueba de
Demostracion igualdad
Sean E y D cualquier conjuntos. Segn , lo Conmutatividad
Asociatividad
que se debe demostrar es que todo elemento x de Distributividad
Leyes Identidad
es tambin elemento de . Sea x un Leyes
elemento cualquiera de E D. Existen slo dos Complemento
Leyes
casos para x: Idempotencia
i) x E Leyes
Dominacion
ii) x D De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 24/35

 Para el primer caso, debido a que si x E Argumento del
Elemento
entonces x D. Para el segundo caso, como x D Ejemplo 1
nuevamente x D. Por consiguiente, en cualquier Operativa
Prueba de
caso cualquiera que sea x, si entonces igualdad
x D. Por tanto,ambos conjuntos son iguales. cqd Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 25/35

 Teorema Argumento del
Elemento
Para cualquier conjuntos B, C y A se cumple: Ejemplo 1
B (C A) = (B C) A Operativa
Prueba de
Demostracion igualdad
Sean B, C y A cualquier conjuntos. Segn , Conmutatividad
Asociatividad
lo que se debe demostrar es que: Distributividad
Leyes Identidad
i) B (C A) (B C) A Leyes
ii) Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 26/35

 Para el primer caso, si x es cualquier elemento de Argumento del
Elemento
B (C A) entonces x B y . Por la Ley Ejemplo 1
distributiva en Lgica x cumple x B C y x A, y Operativa
Prueba de
por consiguiente . Con esto se prueba que igualdad
B (C A) (B C) A. Conmutatividad
Asociatividad
Para el segundo caso, si x es cualquier elemento Distributividad
Leyes Identidad
de entonces x B C y . Por la Leyes
propiedad asociativa de la lgica x cumple x B y Complemento
Leyes
x A C, y por consiguiente . Con esto se Idempotencia
prueba que (B C) A B (C A). La prueba Leyes
Dominacion
de las contenciones mutuas prueba que ambos De Morgan
conjuntos son iguales. cqd Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 27/35

 Ejemplo Argumento del
Elemento
Sean A y B conjuntos cualquiera. Ejemplo 1
Si A B, entonces Bc Ac . Operativa
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 28/35

 Ejemplo Argumento del
Elemento
Sean A y B conjuntos cualquiera. Ejemplo 1
Si A B, entonces A Bc = . Operativa
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 29/35

 Ejemplo Argumento del
Elemento
Sean A y B conjuntos cualquiera. Ejemplo 1
Si A Bc , entonces A B = . Operativa
Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 30/35

 Ejemplo Argumento del
Elemento
Sean A, B y C conjuntos cualquiera. Ejemplo 1
Operativa
Si A B, entonces A C B C. Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 31/35

 Ejemplo Argumento del
Elemento
Sean A, B y C conjuntos cualquiera. Ejemplo 1
Operativa
Si A B y B C = , entonces A C = . Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 32/35

 Ejemplo Argumento del
Elemento
Sean A, B y C conjuntos cualquiera. Ejemplo 1
Operativa
Si A B, entonces A C B C. Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 33/35

 Ejemplo Argumento del
Elemento
Sean A, B y C conjuntos cualquiera. Ejemplo 1
Operativa
Si B C y A C = , entonces A C = . Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 34/35

 Ejemplo Argumento del
Elemento
Sean A, B y C conjuntos cualquiera. Ejemplo 1
Operativa
Si A B y A C, entonces A B C. Prueba de
igualdad
Conmutatividad
Asociatividad
Distributividad
Leyes Identidad
Leyes
Complemento
Leyes
Idempotencia
Leyes
Dominacion
De Morgan
Absorcion
Complemento
Base
Ley Diferencia

Conjuntos: Propiedades de las Operaciones Matemticas Discretas - p. 35/35