El documento describe las operaciones básicas entre conjuntos, incluyendo la unión, intersección, diferencia, diferencia simétrica y complemento. Explica cómo determinar si un elemento pertenece o no a cada uno de estos conjuntos definidos a partir de otros dos conjuntos de referencia.
LI2011-T11: Resolución en lógica de primer ordenJosé A. Alonso
Se presentan los algoritmos de unificación y resolución en lógica de primer orden.
Este es el tema 11 del curso de "Lógica informática". Más temas en http://www.cs.us.es/~jalonso/cursos/li/tema
LI2011-T11: Resolución en lógica de primer ordenJosé A. Alonso
Se presentan los algoritmos de unificación y resolución en lógica de primer orden.
Este es el tema 11 del curso de "Lógica informática". Más temas en http://www.cs.us.es/~jalonso/cursos/li/tema
análisis a priori, a posteriori, costo de algoritmos, análisis iterativo, análisis recursivo, complejidad del algoritmo, orden de complejidad, notación asintótica
análisis a priori, a posteriori, costo de algoritmos, análisis iterativo, análisis recursivo, complejidad del algoritmo, orden de complejidad, notación asintótica
Se denomina Conjunto a cualquier colección de objetos, los cuales se llaman Elementos., también se le puede llamar: miembros, sin embargo, de éstos dos términos el más usado es “elemento”.
Cuando nos referimos a los objetos que componen un conjunto A, entonces usamos la palabra elementos del conjunto A, se escribe:
x ∈ A.
Que se puede leer también "x pertenece a A" o "x está en A". Si por el contrario, un objeto x no es elemento de un conjunto A, se escribe:
x ∉ A.
Un conjunto se puede definir haciendo la presentación efectiva de cada uno de sus elementos, así el conjunto A cuyos elementos son 2, 3, 5, se escribe:
A = { 2, 3, 5}
Los conjuntos se denotan por letras mayúsculas: A, B, C,... por ejemplo:
A= {a, c, b}
B= {primavera, verano, otoño, invierno}
Clasificacion de los conjuntos y subconjuntos como tambien las formas de resolver problemas, como se usan adecuadamente y las propiedades que conlleva estos temas.
2. La unión (A U B) A B Significa que en su totalidad se consideran todos los elementos que cumplan al menos una de las dos condiciones, A o B Estos cumplen A Estos cumplen B Estos cumplen ambas “ Es A o es B”: A v B
3. La unión (A U B) “ Es A o es B”: A v B Definir A, B X es A? X es B? x A U B x A U B Fin Inicio Sean los conjuntos: U : {x/x es un número del 1 al 10} A: {x/x es número par} B: {x/x es mayor o igual a 5} ¿5 pertenecerá a A U B? ¿3 pertenecerá a A U B? SI NO SI NO
4. La intersección (A B) A B Significa que se consideran todos los elementos que cumplan al mismo tiempo las dos condiciones, A y B (intersección puede leerse como “entre secciones”) Estos cumplen A Estos cumplen B Estos cumplen ambas “ Es A y es B”: A B
5. La intersección (A B) “ Es A y es B”: A B Definir A, B X es A? X es B? x A B x A B Fin Inicio Sean los conjuntos: U : {x/x es un número del 1 al 10} A: {x/x es número par} B: {x/x es mayor o igual a 5} ¿6 pertenecerá a A B? ¿5 pertenecerá a A B? NO SI SI NO
6. La diferencia (A - B) A B Significa que se consideran todos los elementos que cumplen la primera condición (en este caso A), pero de ninguna manera la segunda (B) Estos cumplen A Estos cumplen B Estos cumplen ambas “ es A pero no es B”: A ~ B
7. La diferencia (A - B) “ es A pero no es B”: A ~ B Definir A, B X es A? X es B? x A - B x A - B Fin Inicio Sean los conjuntos: U : {x/x es un número del 1 al 10} A: {x/x es número par} B: {x/x es mayor o igual a 5} ¿2 pertenecerá a A - B? ¿8 pertenecerá a A - B? NO SI NO SI
8. La diferencia simétrica (A Δ B) A B Significa que se consideran todos los elementos que cumplen la primera condición (en este caso A), o la segunda (B), pero de ninguna manera ambas (es decir, se excluye la intersección) Estos cumplen A Estos cumplen B Estos cumplen ambas “ es A o B, pero no A y B”: (A v B) ~(A B) “ Es a pero no B, o es B pero no es A”: (A ~B) v (B ~A)
9. La diferencia simétrica (A Δ B) “ es A o B, pero no A y B”: (A v B) ~(A B) “ Es a pero no B, o es B pero no es A”: (A ~B) v (B ~A) Definir A, B X es A? X es B? x A Δ B x A Δ B Fin Inicio Sean los conjuntos: U : {x/x es un número del 1 al 10} A: {x/x es número par} B: {x/x es mayor o igual a 5} ¿4 pertenecerá a A Δ B? ¿3 pertenecerá a A Δ B? NO SI NO SI X es B? SI NO
10. El complemento (A’) A Significa que se consideran todos los elementos que no cumplan la condición dada (en este caso A). Es todo lo que está por fuera del conjunto dado, o que es su complemento para ser igual al referente Estos cumplen A “ No es A”: ~A
11. El complemento (A’) “ No es A”: ~A Definir A X es A? x A’ x A’ Fin Inicio Sean los conjuntos: U : {x/x es un número del 1 al 10} A: {x/x es número par} B: {x/x es mayor o igual a 5} ¿7 pertenecerá a A’? ¿8 pertenecerá a A’? SI NO