AUTOMATAS Y LENGUAJES FORMALES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 2014

INTRODUCCION

OBJETIVOS GENERALES:

ESPECFICOS:

ACTIVIDADES A DESARROLLAR: Sean A, B, C conjuntos y U el conjunto Universal: Demuestre las siguientes propiedades con un ejemplo (asigne libremente smbolos a sus conjuntos) y explica en que consiste cada propiedad (identifquela) en caso de que la sea: El ejemplo incluye el diafragma de ven en el que se evidencia cada operacin (tanto antes de la igualdad como despus de la igualdad) Recuerde que deben ser claros los diagramas identificando elementos de cada conjunto. Use notaciones como colores o lneas para hacer visible e identificable la propiedad en el diagrama. No se aceptarn diagramas de propiedades bsicas tomadas de la web y menos que no contengan elementos de ejemplo que caractericen y ejemplifiquen dicha propiedad o igualdad que se est demostrando. De igual forma las operaciones o frmulas o representacin algebraica o matemtica de los conjuntos debe ser de su autora (es decir en procesador de texto) ya sea usando une editor de frmulas o herramienta que le permita plasmar las operaciones. No se aceptan imgenes copiadas de la web.

1. A U = ? Rta: A U = A. Para todo A, la unin de A con el conjunto vaco es A. Ejemplo:

Teniendo en cuenta que A es el conjunto de los nmeros naturales:

* * +

Y el conjunto B como el conjunto de los nmeros primos pares mayores de 10:

Comprobando as que B es un conjunto vaco y lo denotamos como . Entonces A U = A. Donde A es igual a la cantidad de elementos que pertenezcan a A, representndolo de la siguiente manera:

2. A = ? Rta: A = .
Ejemplo: Teniendo en cuenta que A es el conjunto de los nmeros naturales: Para todo A, la interseccin de A con el conjunto vaco es vaco.

* * +

Y el conjunto B como el conjunto de los nmeros primos pares mayores de 10:

Comprobando as que B es un conjunto vaco y lo denotamos como . Entonces A U = . Realizando un diagrama de Venn nos percatamos que no hay elementos en comn entre estos conjuntos, por ende el resultado es .

3. A = ? Rta: A = .
conjunto. Ejemplo: Teniendo en cuenta que A es el conjunto de los nmeros naturales pares menores de 10: La diferencia entre un conjunto y el conjunto vaco es el propio

+ - * +

Entonces A - = A. Realizando un diagrama de Venn nos percatamos que los elementos de A que son diferentes del conjunto vaco, son todos los elementos que pertenecen al conjunto A. Los representamos en este diagrama de venn con el color verde.

4. A U Rta:

= ?

A U = . La unin entre un conjunto y el conjunto universal es el conjunto universal. Ejemplo: Teniendo en cuenta que el conjunto A es un subconjunto del conjunto Universal, es representado en el diagrama de Venn de la siguiente manera:

Es importante que para este ejemplo tengamos en cuenta que el conjunto A representa a todos los Naturales Pares menores de 20, y que Universal en este contexto representa a todos los naturales. Por lo que afirmamos que A es un subconjunto del conjunto Universal.

5. A U = ?
A = . La interseccin de un conjunto A con el conjunto universal resulta en el mismo conjunto A. Tomando el ejemplo del punto anterior hemos representado en un diagrama de venn esta frmula:

6. A U Ac = ?
A U Ac = U. La unin de un conjunto y su complementario es el conjunto universal Ejemplo: Expresemos el conjunto A por extensin de la siguiente manera:

Definimos el complemento de nuestro conjunto A, que en definicin son todos aquellos elementos que son diferentes de A y que pertenecen al conjunto Universal.

7. A Ac = ?
A Ac = A. La interseccin de un conjunto A con el conjunto complementario de A resulta en el mismo conjunto A. Este caso es muy similar al del punto N 5, por lo que el ejemplo y la grfica responden claramente a los dos casos.

8. A A = ?
AA= La diferencia de un conjunto menos l mismo es el conjunto vaco.

9. (A B)c = Ac U Bc
(A B) c = Ac U B c. Demostracin

* *
1- (A B) AB 3- Ac Ac * +

+ +
2- (A B) c (A B) 4- Bc
c

Esta propiedad se le conoce como la Ley de Morgan: 6 - (A B) c = Ac U B c. (A B) c Ac U B c + Entonces, * + (A B) c = Ac U B c. Bc * * * + +

* +

5- Ac U B c A UB
c c

10. A U (B - A) = A U B
A U (B - A) = A U B Demostracin

* *
1- (B - A) (B - A) * +

+ +

Esta propiedad se le conoce como la La Propiedad de diferencias de conjuntos: 4- A U (B - A) = A U B A U (B - A)

* * +

2- A U (B - A) A U (B - A) * 3- A U B AUB * + +

AUB

Entonces,
A U (B - A) = A U B

11. (A U B) (A B) = (A B) U (B A)
A U (B - A) = A U B Demostracin

* *
1- (A U B)
(A U B) *

+ +

Esta propiedad se le conoce como la La Propiedad de diferencias de conjuntos: 2- (A B)

(A U B) 4- (B - A)

3- (A - B)
(A - B)

(B - A) 6- (A - B) (A - B) A) *

+
(B - A) - > 3 y 4

5- (A U B) (A B) > 1 y 2
(A U B) (A B) *

(B -

7- (A U B) (A B) = (A B) U (B A) -> 6 y 7 (A U B) (A B) (A - B) (B - A)

* * +

Entonces,
(A U B) (A B) = (A B) U (B A)

12. A U (B U C) = (A U B) U C
A U (B U C) = (A U B) U C Demostracin

* * * + +

Esta propiedad de los conjuntos es conocida como la ley asociativa de la Unin. 1- (B B C C) * + 2- (A (A B) B) * +

3- A U (B U C)
A U (B U C)

4- (A U B) U C
(A U B) U C

5- A U (B U C) = (A U B) U C
A U (B U C)

* *

+ +

(A U B) U C

Entonces, A U (B U C) = (A U B) U C 13. A (B C) = (A B) C
A (B C) = (A B) C Demostracin

* * * + +

Esta propiedad de los conjuntos es conocida como la ley asociativa de la Interseccin. 1- (B C) BC * + 2- (A B) (A B) * +

3- A (B C) A (B C) * +

4- (A B) C (A B) C

* +

5- A (B C) = (A B) C A (B C) (A B) C * +

* +

Entonces, A (B C) = (A B) C 14. A U (B C) = (A U B) (A U C)
A U (B C) = (A U B) (A U C) Demostracin

* * *
1- (B C) BC * +

+ + +
2- (A U C) (A U C) * +

Esta propiedad de los conjuntos es conocida como la ley Distributiva.

3- A U (B C) A U (B C) * +

4- (A U B) (A U B) * +

5- (A U B) (A U C) 2 y 4 (A U B) (A U C) * * * + + +

A U (B C)

6- A U (B C) = (A U B) (A U C) A U (B C) A U (B C) * * + +

Entonces, A U (B C) = (A U B) (A U C)

15. A (B U C) = (A B) U (A C)
A (B U C) = (A B) U (A C) Demostracin

* * +

Esta propiedad de los conjuntos es conocida como la ley Distributiva.

1- (B U C) BUC * +

2- (A C) (A C) * +

3- A (B U C) A (B U C) * +

4- (A B) (A B) * +

5- (A B) U (A C) 2 y 4 (A C) (A B) * * * + + +

(A B) U (A C) )

6- A (B U C) = (A B) U (A C) - 3 y 5 A (B U C) (A B) * * + +

Entonces, A (B U C) = (A B) U (A C)

16. A U B = B U A AUB=BUA
Demostracin

* 1A

+ U B 2B U A

Esta propiedad de los conjuntos es conocida como la ley Conmutativa de la Unin. * + * +

3- A U B = B U A AUB BUA
Entonces, * * + +

AUB=BUA

17. A B = B A AB=BA
Demostracin

* * +

Esta propiedad de los conjuntos es conocida como la ley Conmutativa de la Intercesin.

1- A B

2- B A

3- A U B = B U A AB BA
Entonces, * * + +

AB=BA

18. A B = (A U B) \ (A B)
Demostracin

* * +

Esta propiedad de los conjuntos es conocida como la Diferencia de Simetras de Conjuntos. 1- A

B: * U B)
U

4- (A

U B) \ (A B) +

AB 2- (A (A

+
Si,

*
AB

* (A B) *

B)

* Entonces,

3-

(A B)

A B = (A U B) \ (A B)

CONCLUSIONES

REFERENCIAS BIBLIOGRAFICAS