Conjuntos. () April 4, / 32

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Conjuntos. () April 4, / 32"

Transcripción

1 Conjuntos En general, un conjunto A se de ne seleccionando los elementos de un cierto conjunto U de referencia (o universal) que cumplen una determinada propiedad. () April 4, / 32

2 Conjuntos En general, un conjunto A se de ne seleccionando los elementos de un cierto conjunto U de referencia (o universal) que cumplen una determinada propiedad. Ejemplo: El conjunto A de los números enteros menores que 2, está formado por los elementos del conjunto referencial Z (números enteros) que satisfacen la propiedad de ser menores que 2. () April 4, / 32

3 Conjuntos Un conjunto se de ne por extensión cuando se enumeran todos los elementos que lo constituyen. () April 4, / 32

4 Conjuntos Un conjunto se de ne por extensión cuando se enumeran todos los elementos que lo constituyen. Un conjunto se de ne por comprensión cuando se indica el conjunto referencial o universal y la propiedad que caracteriza a sus elementos. () April 4, / 32

5 Conjuntos Ejemplo: Si A es el conjunto de las vocales () April 4, / 32

6 Conjuntos Ejemplo: Si A es el conjunto de las vocales La de nición por extensión es A = fa, e, i, o, ug () April 4, / 32

7 Conjuntos Ejemplo: Si A es el conjunto de las vocales La de nición por extensión es A = fa, e, i, o, ug La de nición por comprensión es A = fx 2 U / x es una vocalg, donde U es el alfabeto. Si P(x) es la función proposicional : x es una vocal () April 4, / 32

8 Conjuntos Ejemplo: Si A es el conjunto de las vocales La de nición por extensión es A = fa, e, i, o, ug La de nición por comprensión es A = fx 2 U / x es una vocalg, donde U es el alfabeto. Si P(x) es la función proposicional : x es una vocal A = fx 2 U / P(x)g = fx 2 U : P(x)g () April 4, / 32

9 Conjuntos Ejemplo: Si A es el conjunto de las vocales La de nición por extensión es A = fa, e, i, o, ug La de nición por comprensión es A = fx 2 U / x es una vocalg, donde U es el alfabeto. Si P(x) es la función proposicional : x es una vocal A = fx 2 U / P(x)g = fx 2 U : P(x)g a 2 A porque P(a) es V. () April 4, / 32

10 Conjuntos Ejemplo: Si A es el conjunto de las vocales La de nición por extensión es A = fa, e, i, o, ug La de nición por comprensión es A = fx 2 U / x es una vocalg, donde U es el alfabeto. Si P(x) es la función proposicional : x es una vocal A = fx 2 U / P(x)g = fx 2 U : P(x)g a 2 A porque P(a) es V. b /2 A porque P(b) es F. () April 4, / 32

11 Cardinalidad y conjuntos especiales La cardinalidad de un conjunto A, que lo indicamos con jaj o #A, es el número o cantidad de elementos (distintos) de A. () April 4, / 32

12 Cardinalidad y conjuntos especiales La cardinalidad de un conjunto A, que lo indicamos con jaj o #A, es el número o cantidad de elementos (distintos) de A. Un conjunto unitario está formado por un único elemento. () April 4, / 32

13 Cardinalidad y conjuntos especiales La cardinalidad de un conjunto A, que lo indicamos con jaj o #A, es el número o cantidad de elementos (distintos) de A. Un conjunto unitario está formado por un único elemento. El conjunto vacío es el conjunto sin elementos, es decir que su cardinalidad es igual a cero. Si A es un conjunto vacío escribiremos A =. () April 4, / 32

14 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: Calcular la cardinalidad del conjunto A de las raíces terceras de 1, () April 4, / 32

15 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: Calcular la cardinalidad del conjunto A de las raíces terceras de 1, 1. Si el conjunto referencial U es el conjunto de los números complejos, A se de ne por compresión como A = w 2 C / w 3 = 1. () April 4, / 32

16 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: Calcular la cardinalidad del conjunto A de las raíces terceras de 1, 1. Si el conjunto referencial U es el conjunto de los números complejos, A se de ne por compresión como A = w 2 C / w 3 = 1. Ya que esta ecuación tiene 3 raíces, la cardinalidad de A es jaj = 3 y el conjunto A, dado por extensión es ( p p ) 1 3 A = 2 + i 2, 1, 1 3 i. 2 2 () April 4, / 32

17 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: Calcular la cardinalidad del conjunto A de las raíces terceras de 1, 1. Si el conjunto referencial U es el conjunto de los números complejos, A se de ne por compresión como A = w 2 C / w 3 = 1. Ya que esta ecuación tiene 3 raíces, la cardinalidad de A es jaj = 3 y el conjunto A, dado por extensión es ( p p ) 1 3 A = 2 + i 2, 1, 1 3 i Si el conjunto referencial U es el conjunto de los números reales. A = w 2 R / w 3 = 1 () April 4, / 32

18 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: Calcular la cardinalidad del conjunto A de las raíces terceras de 1, 1. Si el conjunto referencial U es el conjunto de los números complejos, A se de ne por compresión como A = w 2 C / w 3 = 1. Ya que esta ecuación tiene 3 raíces, la cardinalidad de A es jaj = 3 y el conjunto A, dado por extensión es ( p p ) 1 3 A = 2 + i 2, 1, 1 3 i Si el conjunto referencial U es el conjunto de los números reales. A = w 2 R / w 3 = 1 A = f 1g, y la cardinalidad de A es jaj = 1. () April 4, / 32

19 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: a. A es el conjunto de los números reales cuyo cuadrado es igual a 1. () April 4, / 32

20 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: a. A es el conjunto de los números reales cuyo cuadrado es igual a 1. A = fx 2 R/ x 2 = 1g () April 4, / 32

21 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: a. A es el conjunto de los números reales cuyo cuadrado es igual a 1. A = fx 2 R/ x 2 = 1g A = φ y jaj = 0. b. B es el conjunto de los números naturales mayores que 2, y que no superan a 6 () April 4, / 32

22 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: a. A es el conjunto de los números reales cuyo cuadrado es igual a 1. A = fx 2 R/ x 2 = 1g A = φ y jaj = 0. b. B es el conjunto de los números naturales mayores que 2, y que no superan a 6. B = fn 2 N / 2 < n 6g () April 4, / 32

23 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: a. A es el conjunto de los números reales cuyo cuadrado es igual a 1. A = fx 2 R/ x 2 = 1g A = φ y jaj = 0. b. B es el conjunto de los números naturales mayores que 2, y que no superan a 6. B = fn 2 N / 2 < n 6g B = f3, 4, 5, 6g y jbj = 4 c. C es el conjunto de los números reales mayores que 2, y que no superan a 6. () April 4, / 32

24 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: a. A es el conjunto de los números reales cuyo cuadrado es igual a 1. A = fx 2 R/ x 2 = 1g A = φ y jaj = 0. b. B es el conjunto de los números naturales mayores que 2, y que no superan a 6. B = fn 2 N / 2 < n 6g B = f3, 4, 5, 6g y jbj = 4 c. C es el conjunto de los números reales mayores que 2, y que no superan a 6. C = fx 2 R / 2 < x 6g = (2, 6]. () April 4, / 32

25 Cardinalidad y conjuntos especiales. Ejemplos Ejemplo: a. A es el conjunto de los números reales cuyo cuadrado es igual a 1. A = fx 2 R/ x 2 = 1g A = φ y jaj = 0. b. B es el conjunto de los números naturales mayores que 2, y que no superan a 6. B = fn 2 N / 2 < n 6g B = f3, 4, 5, 6g y jbj = 4 c. C es el conjunto de los números reales mayores que 2, y que no superan a 6. C = fx 2 R / 2 < x 6g = (2, 6]. Este conjunto es un intervalo de la recta real y por ser un conjunto no nito de elementos, no se puede expresar por extensión. () April 4, / 32

26 Cardinalidad y conjuntos especiales. Ejemplos d. P es el conjunto de los números enteros pares. () April 4, / 32

27 Cardinalidad y conjuntos especiales. Ejemplos d. P es el conjunto de los números enteros pares. Por de nición, un entero es par si y sólo si es el duplo de algún entero. () April 4, / 32

28 Cardinalidad y conjuntos especiales. Ejemplos d. P es el conjunto de los números enteros pares. Por de nición, un entero es par si y sólo si es el duplo de algún entero. a es par, 9 k 2 Z : a = 2k, () April 4, / 32

29 Cardinalidad y conjuntos especiales. Ejemplos d. P es el conjunto de los números enteros pares. Por de nición, un entero es par si y sólo si es el duplo de algún entero. a es par, 9 k 2 Z : a = 2k, P = fx 2 Z / x = 2k ^ k 2 Zg () April 4, / 32

30 Cardinalidad y conjuntos especiales. Ejemplos d. P es el conjunto de los números enteros pares. Por de nición, un entero es par si y sólo si es el duplo de algún entero. a es par, 9 k 2 Z : a = 2k, P = fx 2 Z / x = 2k ^ k 2 Zg = fx 2 Z / 9 k 2 Z : x = 2kg () April 4, / 32

31 Cardinalidad y conjuntos especiales. Ejemplos d. P es el conjunto de los números enteros pares. Por de nición, un entero es par si y sólo si es el duplo de algún entero. a es par, 9 k 2 Z : a = 2k, P = fx 2 Z / x = 2k ^ k 2 Zg = fx 2 Z / 9 k 2 Z : x = 2kg con abuso de notación P = f, 4, 2, 0, 2, 4, 6, g () April 4, / 32

32 Diagrama de Venn () April 4, / 32

33 Diagrama de Venn Ejemplo: De nimos la relación de divisibilidad en N mediante a j b si y sólo si 9 n 2 N : b = a.n () April 4, / 32

34 Diagrama de Venn Ejemplo: De nimos la relación de divisibilidad en N mediante a j b si y sólo si 9 n 2 N : b = a.n Se lee: a divide a b, ó a es divisor de b ó b es múltiplo de a. () April 4, / 32

35 Diagrama de Venn Ejemplo: De nimos la relación de divisibilidad en N mediante a j b si y sólo si 9 n 2 N : b = a.n Se lee: a divide a b, ó a es divisor de b ó b es múltiplo de a. Consideremos los conjuntos A = fx / x j6g B = fx / x j8g C = fx / x 2g () April 4, / 32

36 Diagrama de Venn Ejemplo: De nimos la relación de divisibilidad en N mediante a j b si y sólo si 9 n 2 N : b = a.n Se lee: a divide a b, ó a es divisor de b ó b es múltiplo de a. Consideremos los conjuntos A = fx / x j6g B = fx / x j8g C = fx / x 2g La representación por extensión de tales conjuntos es A = f1, 2, 3, 6g () April 4, / 32

37 Diagrama de Venn Ejemplo: De nimos la relación de divisibilidad en N mediante a j b si y sólo si 9 n 2 N : b = a.n Se lee: a divide a b, ó a es divisor de b ó b es múltiplo de a. Consideremos los conjuntos A = fx / x j6g B = fx / x j8g C = fx / x 2g La representación por extensión de tales conjuntos es A = f1, 2, 3, 6g B = f1, 2, 4, 8g () April 4, / 32

38 Diagrama de Venn Ejemplo: De nimos la relación de divisibilidad en N mediante a j b si y sólo si 9 n 2 N : b = a.n Se lee: a divide a b, ó a es divisor de b ó b es múltiplo de a. Consideremos los conjuntos A = fx / x j6g B = fx / x j8g C = fx / x 2g La representación por extensión de tales conjuntos es A = f1, 2, 3, 6g B = f1, 2, 4, 8g C = f1, 2g () April 4, / 32

39 Diagrama de Venn A = f1, 2, 3, 6g B = f1, 2, 4, 8g C = f1, 2g () April 4, / 32

40 Diagrama de Venn A = f1, 2, 3, 6g B = f1, 2, 4, 8g C = f1, 2g () April 4, / 32

41 Diagrama de Venn Ejemplo: Consideremos el conjunto referencial U de todos los triángulos; si I denota el conjunto de los triángulos isósceles, E de los equiláteros y R de los triángulos rectángulos, veri que las relaciones planteadas por el siguiente diagrama: () April 4, / 32

42 Diagrama de Venn Ejemplo: Consideremos el conjunto referencial U de todos los triángulos; si I denota el conjunto de los triángulos isósceles, E de los equiláteros y R de los triángulos rectángulos, veri que las relaciones planteadas por el siguiente diagrama: () April 4, / 32

43 Conjuntos y Subconjuntos Sean A y B dos conjuntos, si todos los elementos de A pertenecen a B, diremos que A esta incluido en B, o que A es un subconjunto de B, y escribimos A B. () April 4, / 32

44 Conjuntos y Subconjuntos Sean A y B dos conjuntos, si todos los elementos de A pertenecen a B, diremos que A esta incluido en B, o que A es un subconjunto de B, y escribimos A B. A B si 8x : x 2 A ) x 2 B. () April 4, / 32

45 Conjuntos y Subconjuntos Sean A y B dos conjuntos, si todos los elementos de A pertenecen a B, diremos que A esta incluido en B, o que A es un subconjunto de B, y escribimos A B. A B si 8x : x 2 A ) x 2 B. () April 4, / 32

46 Conjuntos y Subconjuntos Sean A y B dos conjuntos, si todos los elementos de A pertenecen a B, diremos que A esta incluido en B, o que A es un subconjunto de B, y escribimos A B. A B si 8x : x 2 A ) x 2 B. Dos conjuntos A y B son iguales si A esta incluido en B y B esta incluido en A () April 4, / 32

47 Conjuntos y Subconjuntos Sean A y B dos conjuntos, si todos los elementos de A pertenecen a B, diremos que A esta incluido en B, o que A es un subconjunto de B, y escribimos A B. A B si 8x : x 2 A ) x 2 B. Dos conjuntos A y B son iguales si A esta incluido en B y B esta incluido en A A = B si A B y B A, () April 4, / 32

48 Conjuntos y Subconjuntos Ejemplo: Los siguientes conjuntos son iguales. 1. M = fx 2 N / x < 5g N = f1, 2, 3, 4g, () April 4, / 32

49 Conjuntos y Subconjuntos Ejemplo: Los siguientes conjuntos son iguales. 1. M = fx 2 N / x < 5g N = f1, 2, 3, 4g, 2. A = x 2 Z / x 2 = 1 B = fx 2 Z / jxj = 1g. () April 4, / 32

50 Conjuntos y Subconjuntos A no es subconjunto de B, A * B, si es falso que A B. () April 4, / 32

51 Conjuntos y Subconjuntos A no es subconjunto de B, A * B, si es falso que A B. Lema: A no es subconjunto de B, si y sólo si 9 x : [ x 2 A ^ x /2 B] () April 4, / 32

52 Conjuntos y Subconjuntos A no es subconjunto de B, A * B, si es falso que A B. Lema: A no es subconjunto de B, si y sólo si 9 x : [ x 2 A ^ x /2 B] Demostración. A no es subconjunto de B, () April 4, / 32

53 Conjuntos y Subconjuntos A no es subconjunto de B, A * B, si es falso que A B. Lema: A no es subconjunto de B, si y sólo si 9 x : [ x 2 A ^ x /2 B] Demostración. A no es subconjunto de B, (8x : x 2 A ) x 2 B) De nición de inclusión () April 4, / 32

54 Conjuntos y Subconjuntos A no es subconjunto de B, A * B, si es falso que A B. Lema: A no es subconjunto de B, si y sólo si 9 x : [ x 2 A ^ x /2 B] Demostración. A no es subconjunto de B, (8x : x 2 A ) x 2 B) De nición de inclusión, () April 4, / 32

55 Conjuntos y Subconjuntos A no es subconjunto de B, A * B, si es falso que A B. Lema: A no es subconjunto de B, si y sólo si 9 x : [ x 2 A ^ x /2 B] Demostración. A no es subconjunto de B, (8x : x 2 A ) x 2 B), 9 x : (x 2 A ) x 2 B) De nición de inclusión Negación del cuanti cador existencial () April 4, / 32

56 Conjuntos y Subconjuntos A no es subconjunto de B, A * B, si es falso que A B. Lema: A no es subconjunto de B, si y sólo si 9 x : [ x 2 A ^ x /2 B] Demostración. A no es subconjunto de B, (8x : x 2 A ) x 2 B), 9 x : (x 2 A ) x 2 B) De nición de inclusión Negación del cuanti cador existencial, () April 4, / 32

57 Conjuntos y Subconjuntos A no es subconjunto de B, A * B, si es falso que A B. Lema: A no es subconjunto de B, si y sólo si 9 x : [ x 2 A ^ x /2 B] Demostración. A no es subconjunto de B, (8x : x 2 A ) x 2 B), 9 x : (x 2 A ) x 2 B), 9 x : ( (x 2 A) _ x 2 B) De nición de inclusión Negación del cuanti cador existencial p ) q p _ q () April 4, / 32

58 Conjuntos y Subconjuntos A no es subconjunto de B, A * B, si es falso que A B. Lema: A no es subconjunto de B, si y sólo si 9 x : [ x 2 A ^ x /2 B] Demostración. A no es subconjunto de B, (8x : x 2 A ) x 2 B), 9 x : (x 2 A ) x 2 B), 9 x : ( (x 2 A) _ x 2 B), De nición de inclusión Negación del cuanti cador existencial p ) q p _ q () April 4, / 32

59 Conjuntos y Subconjuntos A no es subconjunto de B, A * B, si es falso que A B. Lema: A no es subconjunto de B, si y sólo si 9 x : [ x 2 A ^ x /2 B] Demostración. A no es subconjunto de B, (8x : x 2 A ) x 2 B), 9 x : (x 2 A ) x 2 B), 9 x : ( (x 2 A) _ x 2 B), 9 x : [ x 2 A ^ x /2 B] De nición de inclusión Negación del cuanti cador existencial p ) q p _ q Ley de Morgan () April 4, / 32

60 Conjuntos y Subconjuntos A es subconjunto propio de B cuando A B y A 6= B, lo denotaremos por A B, o A B. () April 4, / 32

61 Conjuntos y Subconjuntos A es subconjunto propio de B cuando A B y A 6= B, lo denotaremos por A B, o A B. Proposición: Para cualquier conjunto A 1. A A, 2. φ A, 3. φ es único. () April 4, / 32

62 Conjuntos y Subconjuntos A es subconjunto propio de B cuando A B y A 6= B, lo denotaremos por A B, o A B. Proposición: Para cualquier conjunto A 1. A A, 2. φ A, 3. φ es único. Demostración.... () April 4, / 32

63 Conjunto de Partes Sea A un conjunto, llamamos conjunto de partes de A al conjunto formado por todos los subconjuntos de A P(A) = fx / X Ag () April 4, / 32

64 Conjunto de Partes Sea A un conjunto, llamamos conjunto de partes de A al conjunto formado por todos los subconjuntos de A P(A) = fx / X Ag Lema: Sea A un conjunto, entonces A 2 P(A) y φ 2 P(A). () April 4, / 32

65 Conjunto de Partes Sea A un conjunto, llamamos conjunto de partes de A al conjunto formado por todos los subconjuntos de A P(A) = fx / X Ag Lema: Sea A un conjunto, entonces A 2 P(A) y φ 2 P(A). Ejemplo: Determinar el conjunto de partes de A = f2, 3, 4g. φ () April 4, / 32

66 Conjunto de Partes Sea A un conjunto, llamamos conjunto de partes de A al conjunto formado por todos los subconjuntos de A P(A) = fx / X Ag Lema: Sea A un conjunto, entonces A 2 P(A) y φ 2 P(A). Ejemplo: Determinar el conjunto de partes de A = f2, 3, 4g. φ f2g f3g f4g () April 4, / 32

67 Conjunto de Partes Sea A un conjunto, llamamos conjunto de partes de A al conjunto formado por todos los subconjuntos de A P(A) = fx / X Ag Lema: Sea A un conjunto, entonces A 2 P(A) y φ 2 P(A). Ejemplo: Determinar el conjunto de partes de A = f2, 3, 4g. φ f2g f3g f4g f2, 3g f2, 4g f3, 4g () April 4, / 32

68 Conjunto de Partes Sea A un conjunto, llamamos conjunto de partes de A al conjunto formado por todos los subconjuntos de A P(A) = fx / X Ag Lema: Sea A un conjunto, entonces A 2 P(A) y φ 2 P(A). Ejemplo: Determinar el conjunto de partes de A = f2, 3, 4g. φ f2g f3g f4g f2, 3g f2, 4g f3, 4g A () April 4, / 32

69 Conjunto de Partes Sea A un conjunto, llamamos conjunto de partes de A al conjunto formado por todos los subconjuntos de A P(A) = fx / X Ag Lema: Sea A un conjunto, entonces A 2 P(A) y φ 2 P(A). Ejemplo: Determinar el conjunto de partes de A = f2, 3, 4g. φ f2g f3g f4g f2, 3g f2, 4g f3, 4g A P(A) = fφ, f2g, f3g, f4g, f2, 3g, f2, 4g, f3, 4g, Ag. () April 4, / 32

70 Conjunto de Partes Sea A un conjunto, llamamos conjunto de partes de A al conjunto formado por todos los subconjuntos de A P(A) = fx / X Ag Lema: Sea A un conjunto, entonces A 2 P(A) y φ 2 P(A). Ejemplo: Determinar el conjunto de partes de A = f2, 3, 4g. φ f2g f3g f4g f2, 3g f2, 4g f3, 4g A P(A) = fφ, f2g, f3g, f4g, f2, 3g, f2, 4g, f3, 4g, Ag. Ejemplo: El conjunto de partes del conjunto vacio, φ, es P(φ) = fφg. () April 4, / 32

71 Sea A un conjunto el complemento de A es el conjunto formado por los elementos que no pertenecen a A. Lo denotamos por A c o A, A c = fx 2 U : x /2 Ag. () April 4, / 32

72 Sea A un conjunto el complemento de A es el conjunto formado por los elementos que no pertenecen a A. Lo denotamos por A c o A, A c = fx 2 U : x /2 Ag. Es usual también obtener el complemento de un conjunto A, respecto de otro B, C B A = fx 2 B : x /2 Ag () April 4, / 32

73 Sea A un conjunto el complemento de A es el conjunto formado por los elementos que no pertenecen a A. Lo denotamos por A c o A, A c = fx 2 U : x /2 Ag. Es usual también obtener el complemento de un conjunto A, respecto de otro B, C B A = fx 2 B : x /2 Ag () April 4, / 32

74 La unión de A y B: A [ B = fx / x 2 A _ x 2 Bg. () April 4, / 32

75 La unión de A y B: A [ B = fx / x 2 A _ x 2 Bg. () April 4, / 32

76 La intersección de A y B : A \ B = fx / x 2 A ^ x 2 Bg. () April 4, / 32

77 La intersección de A y B : A \ B = fx / x 2 A ^ x 2 Bg. () April 4, / 32

78 La diferencia de A y B: A B = fx / x 2 A ^ x /2 Bg. () April 4, / 32

79 La diferencia de A y B: A B = fx / x 2 A ^ x /2 Bg. () April 4, / 32

80 La diferencia de A y B: A B = fx / x 2 A ^ x /2 Bg. De la de nición se sigue que A B = A \ B c. () April 4, / 32

81 La diferencia simétrica de A y B es A B = (A [ B) (A \ B) = fx : (x 2 A _ x 2 B) ^ (x /2 A \ B)g () April 4, / 32

82 La diferencia simétrica de A y B es A B = (A [ B) (A \ B) = fx : (x 2 A _ x 2 B) ^ (x /2 A \ B)g () April 4, / 32

83 Dos conjuntos A y B son disjuntos si A \ B =. () April 4, / 32

84 Dos conjuntos A y B son disjuntos si A \ B =. Ejemplo: Sea U = f1, 2, 3,..., 9, 10g el conjunto de referencia, A = f1, 2, 3, 4, 5g, B = f3, 4, 5, 6, 7g y C = f7, 8, 9g tenemos que: () April 4, / 32

85 Dos conjuntos A y B son disjuntos si A \ B =. Ejemplo: Sea U = f1, 2, 3,..., 9, 10g el conjunto de referencia, A = f1, 2, 3, 4, 5g, B = f3, 4, 5, 6, 7g y C = f7, 8, 9g tenemos que: A [ B = () April 4, / 32

86 Dos conjuntos A y B son disjuntos si A \ B =. Ejemplo: Sea U = f1, 2, 3,..., 9, 10g el conjunto de referencia, A = f1, 2, 3, 4, 5g, B = f3, 4, 5, 6, 7g y C = f7, 8, 9g tenemos que: A [ B = f1, 2, 3, 4, 5, 6, 7g () April 4, / 32

87 Dos conjuntos A y B son disjuntos si A \ B =. Ejemplo: Sea U = f1, 2, 3,..., 9, 10g el conjunto de referencia, A = f1, 2, 3, 4, 5g, B = f3, 4, 5, 6, 7g y C = f7, 8, 9g tenemos que: A [ B = f1, 2, 3, 4, 5, 6, 7g A \ B = () April 4, / 32

88 Dos conjuntos A y B son disjuntos si A \ B =. Ejemplo: Sea U = f1, 2, 3,..., 9, 10g el conjunto de referencia, A = f1, 2, 3, 4, 5g, B = f3, 4, 5, 6, 7g y C = f7, 8, 9g tenemos que: A [ B = f1, 2, 3, 4, 5, 6, 7g A \ B = f3, 4, 5g () April 4, / 32

89 Dos conjuntos A y B son disjuntos si A \ B =. Ejemplo: Sea U = f1, 2, 3,..., 9, 10g el conjunto de referencia, A = f1, 2, 3, 4, 5g, B = f3, 4, 5, 6, 7g y C = f7, 8, 9g tenemos que: A [ B = f1, 2, 3, 4, 5, 6, 7g A \ B = f3, 4, 5g A B = () April 4, / 32

90 Dos conjuntos A y B son disjuntos si A \ B =. Ejemplo: Sea U = f1, 2, 3,..., 9, 10g el conjunto de referencia, A = f1, 2, 3, 4, 5g, B = f3, 4, 5, 6, 7g y C = f7, 8, 9g tenemos que: A [ B = f1, 2, 3, 4, 5, 6, 7g A \ B = f3, 4, 5g A B = f1, 2, 6, 7g = (A [ B) (A \ B) () April 4, / 32

91 Dos conjuntos A y B son disjuntos si A \ B =. Ejemplo: Sea U = f1, 2, 3,..., 9, 10g el conjunto de referencia, A = f1, 2, 3, 4, 5g, B = f3, 4, 5, 6, 7g y C = f7, 8, 9g tenemos que: A [ B = f1, 2, 3, 4, 5, 6, 7g A \ B = f3, 4, 5g A B = f1, 2, 6, 7g = (A [ B) (A \ B) A \ C = () April 4, / 32

92 Dos conjuntos A y B son disjuntos si A \ B =. Ejemplo: Sea U = f1, 2, 3,..., 9, 10g el conjunto de referencia, A = f1, 2, 3, 4, 5g, B = f3, 4, 5, 6, 7g y C = f7, 8, 9g tenemos que: A [ B = f1, 2, 3, 4, 5, 6, 7g A \ B = f3, 4, 5g A B = f1, 2, 6, 7g = (A [ B) (A \ B) A \ C = (son disjuntos) () April 4, / 32

93 Dos conjuntos A y B son disjuntos si A \ B =. Ejemplo: Sea U = f1, 2, 3,..., 9, 10g el conjunto de referencia, A = f1, 2, 3, 4, 5g, B = f3, 4, 5, 6, 7g y C = f7, 8, 9g tenemos que: A [ B = f1, 2, 3, 4, 5, 6, 7g A \ B = f3, 4, 5g A B = f1, 2, 6, 7g = (A [ B) (A \ B) A \ C = (son disjuntos) A [ C = () April 4, / 32

94 Dos conjuntos A y B son disjuntos si A \ B =. Ejemplo: Sea U = f1, 2, 3,..., 9, 10g el conjunto de referencia, A = f1, 2, 3, 4, 5g, B = f3, 4, 5, 6, 7g y C = f7, 8, 9g tenemos que: A [ B = f1, 2, 3, 4, 5, 6, 7g A \ B = f3, 4, 5g A B = f1, 2, 6, 7g = (A [ B) (A \ B) A \ C = (son disjuntos) A [ C = f1, 2, 3, 4, 5, 7, 8, 9g = A C. () April 4, / 32

95 Teorema: Sean A y B dos conjuntos, entonces () April 4, / 32

96 Teorema: Sean A y B dos conjuntos, entonces 1. A \ B A A [ B. () April 4, / 32

97 Teorema: Sean A y B dos conjuntos, entonces 1. A \ B A A [ B. 3. A B = (A B) [ (B A) (Ejercicio) () April 4, / 32

98 Demostración. Tenemos que probar: a. A \ B A y b. A A [ B. () April 4, / 32

99 Demostración. Tenemos que probar: a. A \ B A y b. A A [ B. Demostración de a. Debemos probar que 8x : x 2 A \ B ) x 2 A. () April 4, / 32

100 Demostración. Tenemos que probar: a. A \ B A y b. A A [ B. Demostración de a. Debemos probar que 8x : x 2 A \ B ) x 2 A. x 2 A \ B ) def de \. () April 4, / 32

101 Demostración. Tenemos que probar: a. A \ B A y b. A A [ B. Demostración de a. Debemos probar que 8x : x 2 A \ B ) x 2 A. x 2 A \ B ) def de \. x 2 A ^ x 2 B ) p^q)p () April 4, / 32

102 Demostración. Tenemos que probar: a. A \ B A y b. A A [ B. Demostración de a. Debemos probar que 8x : x 2 A \ B ) x 2 A. x 2 A \ B ) def de \. x 2 A ^ x 2 B ) p^q)p x 2 A. () April 4, / 32

103 Demostración. Tenemos que probar: a. A \ B A y b. A A [ B. Demostración de a. Debemos probar que 8x : x 2 A \ B ) x 2 A. x 2 A \ B ) def de \. x 2 A ^ x 2 B ) p^q)p x 2 A. Demostración de b. Similar... () April 4, / 32

104 Teorema: Los conjuntos A y B son disjuntos si y sólo si A [ B = A B. () April 4, / 32

105 Teorema: Los conjuntos A y B son disjuntos si y sólo si A [ B = A B. Demostración. Usamos la ley lógica: p, q que es lógicamente equivalente a (p ) q) ^ (q ) p). () April 4, / 32

106 Teorema: Los conjuntos A y B son disjuntos si y sólo si A [ B = A B. Demostración. Usamos la ley lógica: p, q que es lógicamente equivalente a (p ) q) ^ (q ) p). En este caso: p : Los conjuntos A y B son disjuntos, es decir, A \ B = φ () April 4, / 32

107 Teorema: Los conjuntos A y B son disjuntos si y sólo si A [ B = A B. Demostración. Usamos la ley lógica: p, q que es lógicamente equivalente a (p ) q) ^ (q ) p). En este caso: p : Los conjuntos A y B son disjuntos, es decir, A \ B = φ q : A [ B = A B () April 4, / 32

108 a. Probemos que el condicional p ) q es verdadero. () April 4, / 32

109 a. Probemos que el condicional p ) q es verdadero. Supongamos que p es verdadera y demostraremos A [ B = A B, lo haremos por la doble inclusión (A [ B A B y A B A [ B) () April 4, / 32

110 a. Probemos que el condicional p ) q es verdadero. Supongamos que p es verdadera y demostraremos A [ B = A B, lo haremos por la doble inclusión (A [ B A B y A B A [ B) A) Veamos que A [ B A B. Sea x 2 A [ B. () April 4, / 32

111 a. Probemos que el condicional p ) q es verdadero. Supongamos que p es verdadera y demostraremos A [ B = A B, lo haremos por la doble inclusión (A [ B A B y A B A [ B) A) Veamos que A [ B A B. Sea x 2 A [ B. Por hipótesis los conjuntos A y B son disjuntos (A \ B = φ), entonces x /2 A \ B. () April 4, / 32

112 a. Probemos que el condicional p ) q es verdadero. Supongamos que p es verdadera y demostraremos A [ B = A B, lo haremos por la doble inclusión (A [ B A B y A B A [ B) A) Veamos que A [ B A B. Sea x 2 A [ B. Por hipótesis los conjuntos A y B son disjuntos (A \ B = φ), entonces x /2 A \ B. Luego, x 2 A [ B y x /2 A \ B. () April 4, / 32

113 a. Probemos que el condicional p ) q es verdadero. Supongamos que p es verdadera y demostraremos A [ B = A B, lo haremos por la doble inclusión (A [ B A B y A B A [ B) A) Veamos que A [ B A B. Sea x 2 A [ B. Por hipótesis los conjuntos A y B son disjuntos (A \ B = φ), entonces x /2 A \ B. Luego, x 2 A [ B y x /2 A \ B. Por lo tanto x 2 A B (por de nición de ) () April 4, / 32

114 a. Probemos que el condicional p ) q es verdadero. Supongamos que p es verdadera y demostraremos A [ B = A B, lo haremos por la doble inclusión (A [ B A B y A B A [ B) A) Veamos que A [ B A B. Sea x 2 A [ B. Por hipótesis los conjuntos A y B son disjuntos (A \ B = φ), entonces x /2 A \ B. Luego, x 2 A [ B y x /2 A \ B. Por lo tanto x 2 A B (por de nición de ) Luego hemos probado que A [ B A B () April 4, / 32

115 B) Veamos que A B A [ B. () April 4, / 32

116 B) Veamos que A B A [ B. x 2 A B () April 4, / 32

117 B) Veamos que A B A [ B. x 2 A B ) x 2 ((A [ B) def. de (A \ B)) () April 4, / 32

118 B) Veamos que A B A [ B. x 2 A B ) x 2 ((A [ B) def. de (A \ B)) ) def. de x 2 (A [ B) ^ x /2 (A \ B) () April 4, / 32

119 B) Veamos que A B A [ B. x 2 A B ) x 2 ((A [ B) def. de (A \ B)) ) def. de x 2 (A [ B) ^ x /2 (A \ B) ) x 2 (A [ B) s^t)s () April 4, / 32

120 B) Veamos que A B A [ B. x 2 A B ) x 2 ((A [ B) def. de (A \ B)) ) def. de x 2 (A [ B) ^ x /2 (A \ B) Luego hemos probado que ) x 2 (A [ B) s^t)s A B A [ B () April 4, / 32

121 B) Veamos que A B A [ B. x 2 A B ) x 2 ((A [ B) def. de (A \ B)) ) def. de x 2 (A [ B) ^ x /2 (A \ B) Luego hemos probado que Por lo tanto resulta: ) x 2 (A [ B) s^t)s A B A [ B q : A [ B = A B es verdad. () April 4, / 32

122 b. Probemos que la implicación q ) p es verdadera. () April 4, / 32

123 b. Probemos que la implicación q ) p es verdadera. Haremos una demostración por el contrarecíproco, es decir probaremos: v p )v q lo cual es: A \ B 6= φ ) A [ B 6= A B. () April 4, / 32

124 b. Probemos que la implicación q ) p es verdadera. Haremos una demostración por el contrarecíproco, es decir probaremos: v p )v q lo cual es: A \ B 6= φ ) A [ B 6= A B. A \ B 6= φ () April 4, / 32

125 b. Probemos que la implicación q ) p es verdadera. Haremos una demostración por el contrarecíproco, es decir probaremos: v p )v q lo cual es: A \ B 6= φ ) A [ B 6= A B. A \ B 6= φ ) 9y : y 2 A \ B () April 4, / 32

126 b. Probemos que la implicación q ) p es verdadera. Haremos una demostración por el contrarecíproco, es decir probaremos: v p )v q lo cual es: A \ B 6= φ ) A [ B 6= A B. A \ B 6= φ ) 9y : y 2 A \ B ) A\B A[B 9y : y 2 A \ B ^ y 2 A [ B () April 4, / 32

127 b. Probemos que la implicación q ) p es verdadera. Haremos una demostración por el contrarecíproco, es decir probaremos: v p )v q lo cual es: A \ B 6= φ ) A [ B 6= A B. A \ B 6= φ ) 9y : y 2 A \ B ) A\B A[B 9y : y 2 A \ B ^ y 2 A [ B ) 9y : y 2 A [ B ^ y /2 A B def. de () April 4, / 32

128 b. Probemos que la implicación q ) p es verdadera. Haremos una demostración por el contrarecíproco, es decir probaremos: v p )v q lo cual es: A \ B 6= φ ) A [ B 6= A B. A \ B 6= φ ) 9y : y 2 A \ B como queríamos demostrar. ) A\B A[B 9y : y 2 A \ B ^ y 2 A [ B ) 9y : y 2 A [ B ^ y /2 A B def. de ) A [ B 6= A B def. de = () April 4, / 32

129 Sean A, B y C conjuntos, entonces se veri can las siguientes igualdades: Involución A = A () April 4, / 32

130 Sean A, B y C conjuntos, entonces se veri can las siguientes igualdades: Involución Idempotencia A = A A [ A = A A \ A = A () April 4, / 32

131 Sean A, B y C conjuntos, entonces se veri can las siguientes igualdades: Involución Idempotencia Conmutatividad A = A A [ A = A A \ A = A A [ B = B [ A A \ B = A \ B () April 4, / 32

132 Sean A, B y C conjuntos, entonces se veri can las siguientes igualdades: Involución Idempotencia Conmutatividad Asociatividad A = A A [ A = A A \ A = A A [ B = B [ A A \ B = A \ B A [ (B [ C ) = (A [ B) [ C A \ (B \ C ) = (A \ B) \ C () April 4, / 32

133 Sean A, B y C conjuntos, entonces se veri can las siguientes igualdades: Involución Idempotencia Conmutatividad Asociatividad Distributividad A = A A [ A = A A \ A = A A [ B = B [ A A \ B = A \ B A [ (B [ C ) = (A [ B) [ C A \ (B \ C ) = (A \ B) \ C A [ (B \ C ) = (A [ B) \ (A [ C ) A \ (B [ C ) = (A \ B) [ (A \ C ) () April 4, / 32

134 Sean A, B y C conjuntos, entonces se veri can las siguientes igualdades: Involución Idempotencia Conmutatividad Asociatividad Distributividad Leyes de De Morgan A = A A [ A = A A \ A = A A [ B = B [ A A \ B = A \ B A [ (B [ C ) = (A [ B) [ C A \ (B \ C ) = (A \ B) \ C A [ (B \ C ) = (A [ B) \ (A [ C ) A \ (B [ C ) = (A \ B) [ (A \ C ) A [ B = A \ B A \ B = A [ B () April 4, / 32

135 Sean A, B y C conjuntos, entonces se veri can las siguientes igualdades: Involución Idempotencia Conmutatividad Asociatividad Distributividad Leyes de De Morgan Ley de Absorción A = A A [ A = A A \ A = A A [ B = B [ A A \ B = A \ B A [ (B [ C ) = (A [ B) [ C A \ (B \ C ) = (A \ B) \ C A [ (B \ C ) = (A [ B) \ (A [ C ) A \ (B [ C ) = (A \ B) [ (A \ C ) A [ B = A \ B A \ B = A [ B A [ (A \ B) = A A \ (A [ B) = A () April 4, / 32

136 Sean A, B y C conjuntos, entonces se veri can las siguientes igualdades: Involución Idempotencia Conmutatividad Asociatividad Distributividad Leyes de De Morgan Ley de Absorción Universo y Vacío A = A A [ A = A A \ A = A A [ B = B [ A A \ B = A \ B A [ (B [ C ) = (A [ B) [ C A \ (B \ C ) = (A \ B) \ C A [ (B \ C ) = (A [ B) \ (A [ C ) A \ (B [ C ) = (A \ B) [ (A \ C ) A [ B = A \ B A \ B = A [ B A [ (A \ B) = A A \ (A [ B) = A A [ A = U A [ U = U A [ φ = A A \ A = φ A \ U = A A \ φ = φ () April 4, / 32

137 Ejemplo: Mostrar que A = (A \ B) [ (A \ B). () April 4, / 32

138 Ejemplo: Mostrar que A = (A \ B) [ (A \ B). Una primera alternativa (que no constituye una prueba rigurosa pero puede ser una buena guía) consistiría en dibujar un diagrama de Venn y convencerse de la igualdad... () April 4, / 32

139 Ejemplo: Mostrar que A = (A \ B) [ (A \ B). Una primera alternativa (que no constituye una prueba rigurosa pero puede ser una buena guía) consistiría en dibujar un diagrama de Venn y convencerse de la igualdad... Para una prueba rigurosa podríamos utilizar, como lo hemos venido haciendo, de doble inclusión. () April 4, / 32

140 Ejemplo (continuación) Sin embargo existe otro procedimiento que consiste en transformar un conjunto en otro, por medio de propiedades ya establecidas. () April 4, / 32

141 Ejemplo (continuación) Sin embargo existe otro procedimiento que consiste en transformar un conjunto en otro, por medio de propiedades ya establecidas. (A \ B) [ (A \ B) Propiedades () April 4, / 32

142 Ejemplo (continuación) Sin embargo existe otro procedimiento que consiste en transformar un conjunto en otro, por medio de propiedades ya establecidas. (A \ B) [ (A \ B) = A [ (A \ B) \ B [ (A \ B) (4) Propiedades () April 4, / 32

143 Ejemplo (continuación) Sin embargo existe otro procedimiento que consiste en transformar un conjunto en otro, por medio de propiedades ya establecidas. (A \ B) [ (A \ B) = A [ (A \ B) \ B [ (A \ B) (4) Propiedades = A [ (A \ B) \ B [ (A \ B) (2) y (4) () April 4, / 32

144 Ejemplo (continuación) Sin embargo existe otro procedimiento que consiste en transformar un conjunto en otro, por medio de propiedades ya establecidas. (A \ B) [ (A \ B) = A [ (A \ B) \ B [ (A \ B) (4) Propiedades = A [ (A \ B) \ B [ (A \ B) (2) y (4) = A \ (B [ A) \ B [ B (8) () April 4, / 32

145 Ejemplo (continuación) Sin embargo existe otro procedimiento que consiste en transformar un conjunto en otro, por medio de propiedades ya establecidas. (A \ B) [ (A \ B) = A [ (A \ B) \ B [ (A \ B) (4) Propiedades = A [ (A \ B) \ B [ (A \ B) (2) y (4) = A \ (B [ A) \ B [ B (8) = A \ [(B [ A) \ U] (8) y (3) () April 4, / 32

146 Ejemplo (continuación) Sin embargo existe otro procedimiento que consiste en transformar un conjunto en otro, por medio de propiedades ya establecidas. (A \ B) [ (A \ B) = A [ (A \ B) \ B [ (A \ B) (4) Propiedades = A [ (A \ B) \ B [ (A \ B) (2) y (4) = A \ (B [ A) \ B [ B (8) = A \ [(B [ A) \ U] (8) y (3) = A \ (A [ B) (7) () April 4, / 32

147 Ejemplo (continuación) Sin embargo existe otro procedimiento que consiste en transformar un conjunto en otro, por medio de propiedades ya establecidas. (A \ B) [ (A \ B) = A [ (A \ B) \ B [ (A \ B) (4) Propiedades = A [ (A \ B) \ B [ (A \ B) (2) y (4) = A \ (B [ A) \ B [ B (8) = A \ [(B [ A) \ U] (8) y (3) = A \ (A [ B) (7) = A () April 4, / 32

148 Ejemplo: Simpli car la siguiente expresión: (A [ B) \ C [ B (A [ B) \ C [ B Razones () April 4, / 32

149 Ejemplo: Simpli car la siguiente expresión: (A [ B) \ C [ B (A [ B) \ C [ B Razones = (A [ B) \ C [ B (6) Leyes de De Morgan () April 4, / 32

150 Ejemplo: Simpli car la siguiente expresión: (A [ B) \ C [ B (A [ B) \ C [ B Razones = (A [ B) \ C [ B (6) Leyes de De Morgan = (A [ B) \ C \ B (1) Involución () April 4, / 32

151 Ejemplo: Simpli car la siguiente expresión: (A [ B) \ C [ B (A [ B) \ C [ B Razones = (A [ B) \ C [ B (6) Leyes de De Morgan = (A [ B) \ C \ B (1) Involución = ((A [ B) \ C ) \ B (4) Asociativa () April 4, / 32

152 Ejemplo: Simpli car la siguiente expresión: (A [ B) \ C [ B (A [ B) \ C [ B Razones = (A [ B) \ C [ B (6) Leyes de De Morgan = (A [ B) \ C \ B (1) Involución = ((A [ B) \ C ) \ B (4) Asociativa = (A [ B) \ (C \ B) (3) Conmutativas () April 4, / 32

153 Ejemplo: Simpli car la siguiente expresión: (A [ B) \ C [ B (A [ B) \ C [ B Razones = (A [ B) \ C [ B (6) Leyes de De Morgan = (A [ B) \ C \ B (1) Involución = ((A [ B) \ C ) \ B (4) Asociativa = (A [ B) \ (C \ B) (3) Conmutativas = (A [ B) \ (B \ C ) (4) Asociativa () April 4, / 32

154 Ejemplo: Simpli car la siguiente expresión: (A [ B) \ C [ B (A [ B) \ C [ B Razones = (A [ B) \ C [ B (6) Leyes de De Morgan = (A [ B) \ C \ B (1) Involución = ((A [ B) \ C ) \ B (4) Asociativa = (A [ B) \ (C \ B) (3) Conmutativas = (A [ B) \ (B \ C ) (4) Asociativa = [(A [ B) \ B] \ C (7) Absorción () April 4, / 32

155 Ejemplo: Simpli car la siguiente expresión: (A [ B) \ C [ B (A [ B) \ C [ B Razones = (A [ B) \ C [ B (6) Leyes de De Morgan = (A [ B) \ C \ B (1) Involución = ((A [ B) \ C ) \ B (4) Asociativa = (A [ B) \ (C \ B) (3) Conmutativas = (A [ B) \ (B \ C ) (4) Asociativa = [(A [ B) \ B] \ C (7) Absorción = B \ C () April 4, / 32

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad. nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas

Más detalles

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Definiciones básicas: subconjunto, conjunto vacío, complemento, conjunto de partes A lo largo de esta sección consideraremos

Más detalles

CONJUNTOS. Por ejemplo, el E del ejemplo 2 se escribe.

CONJUNTOS. Por ejemplo, el E del ejemplo 2 se escribe. CONJUNTOS La teoría de conjuntos nos permite describir de forma precisa conjuntos de números, de personas, de objetos, etc que comparten una propiedad común. Esto puede ser de gran utilidad al establecer

Más detalles

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es

Más detalles

Conjuntos, relaciones y funciones Susana Puddu

Conjuntos, relaciones y funciones Susana Puddu Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también

Más detalles

DETERMINACIÓN DE UN CONJUNTO

DETERMINACIÓN DE UN CONJUNTO CONJUNTO UNIVERSAL U A Gráficamente, al conjunto universal se lo representa mediante un rectángulo. Cualquier otro conjunto A es representado por una región cerrada, dentro del rectángulo, A este tipo

Más detalles

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Tablas de Verdad: p q p q p p V V V V F V F F F V F V F F F F p q p q V V V V F V F V V F F F p q p q V V V V F F F V V F F V p q p q

Más detalles

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición: Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma

Más detalles

Matemática I C.F.E. I.N.E.T. Profesorado de Informática Conjuntos

Matemática I C.F.E. I.N.E.T. Profesorado de Informática Conjuntos Conjuntos Conceptos primitivos: CONJUNTO, ELEMENTO, PERTENECE. Pertenecer- Elemento Sea el conjunto de los ríos del Uruguay. El Río Negro es un río del Uruguay. Entonces, este río es un elemento del conjunto

Más detalles

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos

Más detalles

CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS

CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS 2.1. NOCIONES PRIMITIVAS Consideraremos tres nociones primitivas: Conjunto, Elemento y Pertenencia. Conjunto Podemos entender al conjunto como, colección,

Más detalles

John Venn Matemático y filósofo británico creador de los diagramas de Venn

John Venn Matemático y filósofo británico creador de los diagramas de Venn Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan

Más detalles

UNIDAD II: TEORÍA DE CONJUNTOS 2.1. INTRODUCCIÓN

UNIDAD II: TEORÍA DE CONJUNTOS 2.1. INTRODUCCIÓN UNDD : TEORÍ DE CONJUNTOS 2.1. NTRODUCCÓN Según Georg Cantor un conjunto es la reunión, agrupación o colección de elementos bien definidos que tienen una propiedad en común, concepto que ha penetrado y

Más detalles

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse lógicamente como un término no definido. Un conjunto se

Más detalles

MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE # 4

MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE # 4 MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE # 4 NOCIONES SOBRE CONJUNTOS Un conjunto es una colección de objetos, llamados elementos del conjunto. Un conjunto puede describirse:

Más detalles

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones UNSL Repaso de Inducción, y Inducción Matemática (Sección 1.7 del libro) Supongamos que queremos demostrar enunciados del siguiente tipo: P(n) : La suma de los primeros n números naturales es n(n+1)

Más detalles

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.

Más detalles

John Venn Matemático y filósofo británico creador de los diagramas de Venn

John Venn Matemático y filósofo británico creador de los diagramas de Venn Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan

Más detalles

Si un objeto x es elemento de un conjunto A, se escribe: x A.

Si un objeto x es elemento de un conjunto A, se escribe: x A. Conjuntos. Dentro de la teoría se consideran como primitivos o términos no definidos los conjuntos y los elementos. En general, se designan los conjuntos usando letras latinas mayúsculas y los elementos

Más detalles

2. Estructuras Algebraicas

2. Estructuras Algebraicas 2. Estructuras Algebraicas 2.1. Conjuntos Un conjunto es una reunión en un todo de determinados objetos bien definidos y diferentes entre sí. Llamamos elementos a los objetos que lo forman. Requisitos:

Más detalles

Estructuras Discretas. Conjuntos. Conjuntos & Funciones. Especificación de Conjuntos.

Estructuras Discretas. Conjuntos. Conjuntos & Funciones. Especificación de Conjuntos. Estructuras Discretas Conjuntos Conjuntos & Funciones Claudio Lobos [email protected] niversidad Técnica Federico Santa María Estructuras Discretas INF 152 Definición: conjunto n conjunto es una colección

Más detalles

Ejemplo 8 Los niños nacidos en un país del continente americano.

Ejemplo 8 Los niños nacidos en un país del continente americano. UNIDAD 1: CONJUNTOS La teoría de conjuntos juega un papel muy importante en campos de la matemática como el cálculo, el análisis, el álgebra y la probabilidad. Gracias a los conjuntos se pueden construir

Más detalles

Algebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra:

Algebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra: Algebras booleanas AXIOMAS DEL ALGEBRA DE BOOLE Sea B un conjunto en el cual se han definido dos operaciones binarias, + y * (En algunos casos se definen en términos de y respectivamente), y una operación

Más detalles

3.3. TEORÍA BÁSICA DE CONJUNTOS Utilizar tablas de verdad para comprobar la equivalencia lógica p q p q.

3.3. TEORÍA BÁSICA DE CONJUNTOS Utilizar tablas de verdad para comprobar la equivalencia lógica p q p q. 3.3. TEORÍA BÁSICA DE CONJUNTOS 83 a) p q b) p q c) q p 7. Sabiendo que la proposición compuesta ( q) (q p) es falsa, indicar cuál es el valor de verdad de las proposiciones p y q. 8. Utilizar tablas de

Más detalles

Tema 1: Fundamentos.

Tema 1: Fundamentos. Tema 1: Fundamentos. 1. Nociones básicas de la Teoría de Conjuntos. Definición. Un conjunto es una colección de objetos. A los objetos de un conjunto se les llama elementos del conjunto. Se denominará

Más detalles

Introducción a la Matemática Discreta

Introducción a la Matemática Discreta Introducción a la Matemática Discreta Teoría de Conjuntos Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 20 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos.

Más detalles

LÓGICA MATEMÁTICA. Favián Arenas A. y Amaury Camargo. Universidad de Córdoba Facultad de Ciencias Básicas e Ingenierías Departamento de Matemáticas

LÓGICA MATEMÁTICA. Favián Arenas A. y Amaury Camargo. Universidad de Córdoba Facultad de Ciencias Básicas e Ingenierías Departamento de Matemáticas LÓGICA MATEMÁTICA Favián Arenas A. y Amaury Camargo Universidad de Córdoba Facultad de Ciencias Básicas e Ingenierías Departamento de Matemáticas Lógica Matemática UNIDAD DE APRENDIZAJE II 2. Introducción

Más detalles

ÁLGEBRA I. Curso Grado en Matemáticas

ÁLGEBRA I. Curso Grado en Matemáticas ÁLGEBRA I. Curso 2012-13 Grado en Matemáticas Relación 1: Lógica Proposicional y Teoría de Conjuntos 1. Establecer las siguientes tautologías: (a) A A A (b) A A A (c) A B B A (d) A B B A (e) (A B) C A

Más detalles

Conjuntos. Relaciones. Aplicaciones

Conjuntos. Relaciones. Aplicaciones Conjuntos. Relaciones. Aplicaciones Conjuntos 1. Considera el subconjunto A de números naturales formado por los múltiplos de 4 y el conjunto B N de los números que terminan en 4. Comprueba que A B y B

Más detalles

Conjuntos Nociones básicas

Conjuntos Nociones básicas Capítulo 2 Conjuntos En este capítulo introduciremos el lenguaje de los conjuntos y estudiaremos sus propiedades haciendo uso de las herramientas de la lógica vistas en el capítulo 1. Enunciaremos las

Más detalles

Semana04[1/17] Funciones. 21 de marzo de Funciones

Semana04[1/17] Funciones. 21 de marzo de Funciones Semana04[1/17] 21 de marzo de 2007 Composición de funciones Semana04[2/17] Pensemos que tenemos tres conjuntos no vacíos A, B, C, y dos funciones, f : A B y g : B C, como en el siguiente diagrama: Figura:

Más detalles

Introducción a la Matemática Discreta

Introducción a la Matemática Discreta Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25 Introducción a la Matemática Discreta Temario Tema 1.

Más detalles

Conjuntos, Aplicaciones y Relaciones

Conjuntos, Aplicaciones y Relaciones Conjuntos, Aplicaciones y Relaciones Curso 2017-2018 1. Conjuntos Un conjunto será una colección de objetos; a cada uno de estos objetos lo llamaremos elemento del conjunto. Si x es un elemento del conjunto

Más detalles

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño MATEMÁTICAS BÁSICAS Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá Enero de 2014 Universidad Nacional de Colombia

Más detalles

INTRODUCCION AL ALGEBRA.

INTRODUCCION AL ALGEBRA. INTRODUCCION AL ALGEBRA. 2- TEORIA DE CONJUNTOS. Apuntes de la Cátedra. Alberto Serritella. Colaboraron: Cristian Mascetti. Vanesa Bergonzi Edición Previa CECANA CECEJS CET Junín 2010. UNNOBA Universidad

Más detalles

Guía de Ejercicios: Lógica y Teoría de Conjuntos

Guía de Ejercicios: Lógica y Teoría de Conjuntos Guía de Ejercicios: Lógica y Teoría de Conjuntos Área de Matemática Objetivo de aprendizaje Usar conectivos lógicos y relaciones conjuntistas. Negar una proposición. Contenidos 1. Elementos de lógica proporcional.

Más detalles

CONJUNTOS TEORIA BASICA DE CONJUNTOS

CONJUNTOS TEORIA BASICA DE CONJUNTOS Repasamos CONJUNTOS TEORIA BASICA DE CONJUNTOS Cualquier colección de objetos o individuos se denomina conjunto. El termino conjunto no tiene una definición matemática, sino que es un concepto primitivo.

Más detalles

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

Más detalles

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017 Tema 1: Conjuntos Miguel Ángel Olalla Acosta [email protected] Departamento de Álgebra Universidad de Sevilla Septiembre de 2017 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2017 1

Más detalles

LECTURA No. 1: TEORIA DE CONJUNTOS

LECTURA No. 1: TEORIA DE CONJUNTOS 9 1 LECTUR No. 1: TEORI DE CONJUNTOS Definiciones: 1.- Conjunto: es una lista, clase o colección de objetos bien definidos, objetos que, pueden ser cualesquiera: números, personas, letras, etc. Estos objetos

Más detalles

ELEMENTOS DE LA TEORÍA DE CONJUNTOS

ELEMENTOS DE LA TEORÍA DE CONJUNTOS ELEMENTOS DE LA TEORÍA DE CONJUNTOS 1 CONJUNTO EJEMPLOS NOTACIÓN NOTACIÓN TABULAR O POR EXTENSIÓN DE UN CONJUNTO Cuando se define el conjunto por la efectiva enumeración de sus elementos separándolos por

Más detalles

Estructuras algebraicas

Estructuras algebraicas Semana 10[1/14] 26 de abril de 2007 Semana 10[2/14] Grupos Un grupo es un caso particular de una estructura algebraica. Veremos que esta noción rescata ampliamente las propiedades de estructuras tales

Más detalles

TEORÍA DE CONJUNTOS.

TEORÍA DE CONJUNTOS. TEORÍA DE CONJUNTOS. NOCIÓN DE CONJUNTO: Concepto no definido del cual se tiene una idea subjetiva y se le asocian ciertos sinónimos tales como colección, agrupación o reunión de objetos abstractos o concretos.

Más detalles

Estructuras algebraicas

Estructuras algebraicas Semana 11[1/22] 4 de mayo de 2007 Anillos y cuerpos Semana 11[2/22] Anillos Comenzamos ahora el estudio de estructuras algebraicas que tengan definidas dos operaciones, y las clasificaremos en anillos

Más detalles

Notas de Álgebra y Matemática Discreta

Notas de Álgebra y Matemática Discreta Libros de Cátedra Notas de Álgebra y Matemática Discreta Liliana Alcón FACULTAD DE CIENCIAS EXACTAS NOTAS DE ÁLGEBRA Y MATEMÁTICA DISCRETA Liliana Alcón 2014 Alcón, Liliana Notas de algebra y matemática

Más detalles

Teorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición

Teorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición Teorema de Lagrange Capítulo 3 3.1 Introducción En este capítulo estudiaremos uno de los teoremas más importantes de toda la teoría de grupos como lo es el Teorema de Lagrange. Daremos en primer lugar

Más detalles

MatemáticaDiscreta&Lógica 1. Conjuntos. Aylen Ricca. Tecnólogo en Informática San José 2014

MatemáticaDiscreta&Lógica 1. Conjuntos. Aylen Ricca. Tecnólogo en Informática San José 2014 MatemáticaDiscreta&Lógica 1 Conjuntos Aylen Ricca Tecnólogo en Informática San José 2014 http://www.fing.edu.uy/tecnoinf/sanjose/index.html CONJUNTOS.::. Definición. Según el diccionario de la Real Academia

Más detalles

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 45

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 45 Autora: Jeanneth Galeano Peñaloza Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 3 de febrero de 2013 1/ 45 Parte I 2/ 45 Definición intuitiva de conjunto Definición Un conjunto

Más detalles

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2016

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2016 Tema 1: Conjuntos Miguel Ángel Olalla Acosta [email protected] Departamento de Álgebra Universidad de Sevilla Septiembre de 2016 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2016 1

Más detalles

CONJUNTOS UNIDAD II. a A. En caso I.1 CONCEPTOS BÁSICOS DE CONJUNTOS

CONJUNTOS UNIDAD II. a A. En caso I.1 CONCEPTOS BÁSICOS DE CONJUNTOS CONJUNTOS UNIDAD II I.1 CONCEPTOS BÁSICOS DE CONJUNTOS Un conjunto es la agrupación en un todo de objetos bien definidos y diferenciables entre si, que se llaman elementos del mismo. Los conjuntos se denotan

Más detalles

Estructuras Algebraicas

Estructuras Algebraicas Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos

Más detalles

Álgebra Booleana. Álgebra Booleana. Definiciones. Definiciones. Definiciones. Definiciones. Sistemas Digitales Mario Medina 1

Álgebra Booleana. Álgebra Booleana. Definiciones. Definiciones. Definiciones. Definiciones. Sistemas Digitales Mario Medina 1 Álgebra Booleana Álgebra Booleana Mario Medina C. [email protected] Postulados y axiomas Lemas y teoremas Referencias a otras álgebras Álgebra de Boole: estructura algebraica definida sobre un conjunto

Más detalles

TEMA 2. TEORÍA DE CONJUNTOS

TEMA 2. TEORÍA DE CONJUNTOS TEMA 2. TEORÍA DE CONJUNTOS 1. Introducciónalalógica de proposiciones 1.1 Definición. Una proposición es una oración declarativa de la cual se puede decir sin ambigüedad si es verdadera o falsa. 1.2 Definición.

Más detalles

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

Terminaremos el capítulo con una breve referencia a la teoría de cardinales. TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto

Más detalles

Espacios conexos. 6.1 Conexos

Espacios conexos. 6.1 Conexos Capítulo 6 Espacios conexos 6.1 Conexos Definición 6.1.1 (Conjuntos separados). Dado un espacio topológico (X, τ) y dos subconjuntos A, B X, diremos que A y B están separados si A B = A B = Es evidente

Más detalles

UNIDAD DE APRENDIZAJE I

UNIDAD DE APRENDIZAJE I UNIDAD DE APRENDIZAJE I Saberes procedimentales GEOMETRÍA ANALÍTICA 1. Define e identifica los tipos de conjuntos y las operaciones entre ellos. 2. Emplea de manera sistemática conceptos algebraicos, trigonométricos

Más detalles

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación.

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. NÚMEROS REALES Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. Un conjunto es una colección bien definida

Más detalles

Probabilidad y Estadística Descripción de Datos

Probabilidad y Estadística Descripción de Datos Descripción de Datos Arturo Vega González [email protected] Division de Ciencias e Ingenierías Universidad de Guanajuato Campus León Universidad de Guanajuato, DCI, Campus León 1 / 19 Contenido 1 Teoria de

Más detalles

CONCEPTOS BÁSICOS SOBRE TEORÍA DE CONJUNTOS

CONCEPTOS BÁSICOS SOBRE TEORÍA DE CONJUNTOS Teorìa de conjuntos CONCEPTOS BÁSICOS SOBRE TEORÍA DE CONJUNTOS 2.1 DEFINICIONES: 2.1.1 Conjunto: Término básico no definido. Concepto intuitivo: Lista, colección o clase de objetos, bien definidos. Notación:

Más detalles

Introducción a la Lógica y la Computación

Introducción a la Lógica y la Computación Clase del 21 de agosto de 2015 Estructura Algebraica Esta formada por un conjunto con operaciones Por ejemplo, los números enteros dotados de las operaciones suma, producto y las constantes 0 y 1 tienen

Más detalles

Capítulo 4: Conjuntos

Capítulo 4: Conjuntos Capítulo 4: Conjuntos Miguel Ángel Olalla Acosta [email protected] Departamento de Álgebra Universidad de Sevilla Septiembre de 2014 Olalla (Universidad de Sevilla) Capítulo 4: Conjuntos Septiembre de

Más detalles

Lógica y Conjunto Introducción

Lógica y Conjunto Introducción Capítulo 1 Lógica y Conjunto 1.1. Introducción La lógica aparece como una necesidad de poder comunicarnos sin las ambigüedades cotidianas de la sociedad, ejemplo de ello lo encontramos en frases como por

Más detalles

DESIGUALDADES. AXIOMA 1.- Tricotomía de los números reales. Si a y b son números reales entonces se cumple una y solo una de las relaciones

DESIGUALDADES. AXIOMA 1.- Tricotomía de los números reales. Si a y b son números reales entonces se cumple una y solo una de las relaciones DESIGUALDADES 4.1.- AXIOMAS DE ORDEN. Cualquier conjunto o Campo de números que satisface los siguientes 4 Axiomas se dice que es un conjunto de números ORDENADO. El conjunto o Campo de los números reales

Más detalles

Fundamentos de Lógica y Teoría de Conjuntos

Fundamentos de Lógica y Teoría de Conjuntos Índice general 1. Lógica y Teoría de conjuntos 3 1.1. Introducción a la Lógica............................ 3 1.1.1. Repaso histórico (Ref. Grimaldi pág. 187).............. 3 1.1.2. Conceptos básicos (Ref.

Más detalles

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

Más detalles

MÉTODOS DE DEMOSTRACIÓN

MÉTODOS DE DEMOSTRACIÓN 2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es

Más detalles

Los Números Enteros. 1.1 Introducción. 1.2 Definiciones Básicas. Capítulo

Los Números Enteros. 1.1 Introducción. 1.2 Definiciones Básicas. Capítulo Los Números Enteros Capítulo 1 1.1 Introducción En este capítulo nos dedicaremos al estudio de los números enteros los cuales son el punto de partida de toda la teoría de números. Estudiaremos una serie

Más detalles

TEMA 1. Teoría de Conjuntos. Ejercicio 1.1. Decidir si A = B, A B ó A B en los siguientes casos:

TEMA 1. Teoría de Conjuntos. Ejercicio 1.1. Decidir si A = B, A B ó A B en los siguientes casos: TEMA 1 Teoría de Conjuntos Ejercicio 1.1. Decidir si A = B, A B ó A B en los siguientes casos: i) A = { }, B = {{ }} ii) A = {, { }}, B = {, {, { }}} iii) A = {{ }, {, { }}}, B = {{ }} Ejercicio 1.2. Dar

Más detalles

Relaciones Binarias. Matemática Discreta. Agustín G. Bonifacio UNSL. Relaciones Binarias

Relaciones Binarias. Matemática Discreta. Agustín G. Bonifacio UNSL. Relaciones Binarias UNSL Relaciones Binarias Relaciones Binarias (Sección 3.1 del libro) Definición Una relación (binaria) R de un conjunto X a un conjunto Y es un subconjunto del producto cartesiano X Y. Si (x,y) R, escribimos

Más detalles

MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS 2 de marzo de 2009 Parte I Conjuntos Definición intuitiva de conjunto Definición Un conjunto es una colección de objetos. Ejemplos A = {a, e, i, o, u} B = {blanco, gris, negro} C = {2, 4, 6, 8, 9} D =

Más detalles

CONJUNTOS. Los conjuntos son conceptos primitivos que representan una totalidad, una reunión de cosas.

CONJUNTOS. Los conjuntos son conceptos primitivos que representan una totalidad, una reunión de cosas. CONJUNTOS CPR. JORGE JUAN Xuvia-Narón Los conjuntos son conceptos primitivos que representan una totalidad, una reunión de cosas. Un conjunto está formado por una serie de elementos susceptibles de poseer

Más detalles

03. Introducción a los circuitos lógicos

03. Introducción a los circuitos lógicos 03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS

Más detalles

Semana05[1/14] Relaciones. 28 de marzo de Relaciones

Semana05[1/14] Relaciones. 28 de marzo de Relaciones Semana05[1/14] 28 de marzo de 2007 Introducción Semana05[2/14] Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados un par de conjuntos no vacíos A y B, llamaremos relación

Más detalles

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:

Más detalles

CONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS.

CONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS. TEMA 11 ÍNDICE CONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS. 1. INTRODUCCIÓN 2. CONJUNTOS 3. SUBCONJUNTOS 4. OPERACIONES 4.1 UNIÓN 4.2 INTERSECCIÓN 4.3 COMPLEMENTO 4.4 DIFERENCIA

Más detalles

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Axiomática

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Axiomática LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Francisco Bueno Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Teoría de Primer Orden 1 Formalmente,

Más detalles

LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:

LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (

Más detalles

COMPLEMENTO DEL TEÓRICO

COMPLEMENTO DEL TEÓRICO ÁLGEBRA I PRIMER CUATRIMESTRE - AÑO 2016 COMPLEMENTO DEL TEÓRICO El material de estas notas fue dictado en las clases teóricas pero no se encuentra en el texto que seguimos en las mismas ( Álgebra I -

Más detalles

1. Espacios Vectoriales Reales.

1. Espacios Vectoriales Reales. . Espacios Vectoriales Reales. El Álgebra Lineal es una rama de la Matemática que trata las propiedades comunes de todos los sistemas algebráicos donde tiene sentido las combinaciones lineales y sus consecuencias.

Más detalles

Teoría de conjuntos. Relaciones entre conjuntos. Noción de conjunto

Teoría de conjuntos. Relaciones entre conjuntos. Noción de conjunto 1. I n c l u s i ó n : Dados g u a l d a d : Dos Teoría de conjuntos En el restaurante "Luigi", un cliente se sobresaltó al encontrar una mosca en su café. Pidió al camarero que le trajese otro café. Tras

Más detalles

Conjuntos - Otra Forma Para Contar

Conjuntos - Otra Forma Para Contar Universidad de Puerto Rico Recinto Universitario de Mayagüez AFAMaC-Matemáticas Cesar A. Barreto - Gabriel D. Uribe Septiembre 5 de 2010 Definiciones y Notación Definición Un conjunto es una colección

Más detalles

Universidad Politécnica Territorial José Antonio Anzoátegui El Tigre, Estado Anzoátegui PNF: Ingeniería Informática Docente: MSc.

Universidad Politécnica Territorial José Antonio Anzoátegui El Tigre, Estado Anzoátegui PNF: Ingeniería Informática Docente: MSc. niversidad Politécnica Territorial José ntonio nzoátegui El Tigre, Estado nzoátegui TEORÍ DE CONJNTOS 1. DEFINICIÓN DE CONJNTO 2. RELCIONES ENTRE CONJNTOS 3. DETERMINCIÓN DE N CONJNTO 4. CONJNTOS ESPECILES

Más detalles

LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS

LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS Sea una estructura formada por un conjunto A, sobre cuyos elementos se ha definido una operación o ley interna, comúnmente denotada por " * ", que

Más detalles

Práctica 2: Cardinalidad. Propiedades básicas de los conjuntos

Práctica 2: Cardinalidad. Propiedades básicas de los conjuntos Cálculo Avanzado Segundo Cuatrimestre de 2014 Práctica 2: Cardinalidad Propiedades básicas de los conjuntos Ejercicio 1. Demostrar las siguientes igualdades de conjuntos: i) B i I A i = i I(B A i ). ii)

Más detalles

Ejercicios Resueltos 1 / Algebra / 2008

Ejercicios Resueltos 1 / Algebra / 2008 Ejercicios Resueltos 1 / Algebra / 008 Profesora: María Leonor Varas (Sección 4) Auxiliares: Sebastián Astroza & Diego Morán A continuación veremos un ejemplo de un tipo de problemas de inducción, los

Más detalles

Capítulo 1 Lógica Proposicional

Capítulo 1 Lógica Proposicional Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases

Más detalles

Matemática para el ingreso

Matemática para el ingreso Universidad Nacional del Litoral Secretaría Académica Dirección de Articulación, Ingreso y Permanencia Año 2015 Matemática para el ingreso ISBN en trámite Unidad 0. Conjuntos Elena Fernández de Carrera

Más detalles

mi la sol fa si Un conjunto está bien definido si se puede establecer sin dudar si un elemento pertenece o no al conjunto.

mi la sol fa si Un conjunto está bien definido si se puede establecer sin dudar si un elemento pertenece o no al conjunto. CONJUNTOS LENGUJE SIMÓLICO Cada día, en nuestra conversación, por la televisión, en la lectura de por ejemplo un diario, o en el trabajo está presente la idea de conjunto. En matemática utilizaremos la

Más detalles

Estructuras algebraicas. Departamento de Álgebra. Apuntes de teoría

Estructuras algebraicas. Departamento de Álgebra.  Apuntes de teoría ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 2015/2016 Apuntes de teoría Tema 1: Grupos y subgrupos. 1.1. Introducción Definición 1.1. Un grupo es un par (G, ), donde G es un conjunto no vacío,

Más detalles

TEORÍA DE CONJUNTOS: Conceptos básicos

TEORÍA DE CONJUNTOS: Conceptos básicos TEORÍA DE CONJUNTOS: Conceptos básicos Qué es un conjunto? Es una colección de objetos bien definidos por medio de alguna o algunas propiedades en común. Por objeto entenderemos no sólo cosas físicas,

Más detalles

Unidad 2: Lógica. 2.1 Introducción. 2.2 Proposiciones

Unidad 2: Lógica. 2.1 Introducción. 2.2 Proposiciones Unidad : Lógica.1 Introducción La lógica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones del lenguaje humano. La utilizamos en nuestra vida cotidiana y una de sus

Más detalles

Las ideas básicas sobre conjuntos las desarrollaron Georg Cantor ( ) y George Boole ( ).

Las ideas básicas sobre conjuntos las desarrollaron Georg Cantor ( ) y George Boole ( ). TEORÍA DE CONJUNTOS. La teoría de conjuntos es un sistema matemático y un lenguaje específico para el manejo de ciertos problemas. Al igual que otros sistemas matemáticos, como el álgebra y la geometría,

Más detalles

Conjuntos. 17 {perro, gato, 17, x 2 }

Conjuntos. 17 {perro, gato, 17, x 2 } Conjuntos Qué es un conjunto? Informalmente, es una agrupación de cosas, o una descripción que dice qué elementos están y qué elementos no están. Para describir un conjunto usamos llavecitas y enumeramos

Más detalles

1. Conjuntos y funciones

1. Conjuntos y funciones Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 PRACTICO 1: CONJUNTOS. 1 1. Conjuntos y funciones Ejercicio 1. Si I es un conjunto y A α es

Más detalles

EL TEOREMA DE SEIFERT-VAN KAMPEN. 1. Preliminares sobre grupos

EL TEOREMA DE SEIFERT-VAN KAMPEN. 1. Preliminares sobre grupos EL TEOREMA DE SEIFERT-VAN KAMPEN 1. Preliminares sobre grupos Sea G un grupo. Denotaremos de forma multiplicativa la operación en G. Así, el producto de x, y G es x y, y el inverso de x G es x 1. Para

Más detalles

1.1. Proposiciones y valor de verdad

1.1. Proposiciones y valor de verdad Ingeniería Matemática FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Introducción al Álgebra 10-1 Importante: Visita regularmente http://www.dim.uchile.cl/~docencia/algebra para mantenerte

Más detalles

TEMA I INTRODUCCIÓN A LA LÓGICA

TEMA I INTRODUCCIÓN A LA LÓGICA TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2

Más detalles

Conjuntos, relaciones de equivalencia y aplicaciones

Conjuntos, relaciones de equivalencia y aplicaciones CAPíTULO 1 Conjuntos, relaciones de equivalencia y aplicaciones 1. Conjuntos La idea de conjunto es una de las más significativas en Matemáticas. La mayor parte de los conceptos matemáticos están construidos

Más detalles

S = {lunes, martes, miércoles, jueves, viernes, sábado, domingo

S = {lunes, martes, miércoles, jueves, viernes, sábado, domingo CONJUNTOS Se entiende por conjunto un grupo de entes con una o más características comunes. Los conjuntos están formados por elementos; de esta forma, un conjunto estará bien definido si es posible conocer

Más detalles

ÍNDICE. Unidad I Conjuntos 10. Unidad II Sistemas de numeración 70. Presentación... 9

ÍNDICE. Unidad I Conjuntos 10. Unidad II Sistemas de numeración 70. Presentación... 9 ÍNDICE Presentación... 9 Unidad I Conjuntos 10 Antes de empezar... 12 1 Idea intuitiva de un conjunto... 13 2 Cardinalidad de un conjunto... 20 3 Concepto de conjunto universal, subconjunto; conjuntos

Más detalles