UNIVERSIDAD AUSTRAL DE CHILE

FACULTAD DE CIENCIAS DE LA INGENIERIA

CENTRO DE DOCENCIA DE CIENCIAS BÁSICAS PARA INGENIERÍA.

GUÍA DE APRENDIZAJE N◦ 2: Teorı́a de Conjuntos y

Cuantificadores
ÁLGEBRA PARA INGENIERÍA

Resultados de Aprendizaje: Obtener la información de una situación dada,

representándola por medio del lenguaje conjuntista.

Contenidos:
1. Teorı́a de Conjuntos.

(a) Definiciones y ejemplos básicos. (c) Operaciones con conjuntos.

(b) Relaciones de Inclusión e
Igualdad. (d) Propiedades de Conjuntos

2. Cuantificadores.

(a) Definiciones y ejemplos básicos. (b) Negación de cuantificadores.

1 Introducción a la Teorı́a de Conjuntos

Consideramos conjunto como un concepto primitivo y por lo tanto, no posee una definición matemática
explı́cita. En el lenguaje común un conjunto es cualquier colección de objetos y los objetos se de-
nominan elementos del conjunto.
En general indicaremos los conjuntos con las letras mayúsculas A, B, C, . . . y a los elementos con
las letras minúsculas a, b, c, . . ..
Además decimos que a pertenece a A, anotamos a ∈ A, si a es un elemento de A, en caso
contrario decimos que a no pertenece a A y lo anotamos a ∈ / A.

2 Definiciones y ejemplos básicos

Hay diversas maneras de representar a un conjunto, es decir:
Extensión Un conjunto queda definido si listamos todos sus elementos, o en algunos
casos, se muestran patrones o regularidades.

Comprensión Un conjunto queda definido si se especifica una propiedad

Ejemplo 1 Los siguientes conjuntos están definidos por extensión y comprensión respectivamente.
a) A = {1, 2, 7, 16}, B = {1, 3, 5, 7, ...}

b) C = {n ∈ N : n es primo}, D = {x ∈ Z : −1 ≤ x ≤ 3}, E = {T : T es un triángulo rectángulo}

Observación 1 Dos conjunto de gran importancia son

• El Conjunto Universo, denotado por U , o bien Ω, entendido como el conjunto referencia o

sobre el cual se está trabajando.
• El Conjunto Vacı́o, denotado por ∅ o { }, el cual no tiene elementos.

Definición 1 : Cardinal.
Sea A un conjunto con un número finito de elementos, se llama Cardinal de A al
número que determina la cantidad de elementos del conjunto A, lo denotamos por
#A, Card(A) o |A|.

Ejemplo 2
• #∅ = 0
• A = {−1, 0, 2, 3, 4}, entonces #A = 5.

• Si B = {x ∈ Z : |x − 1| ≤ 4} = {−3, −2, −1, 0, 1, 2, 3, 4, 5}, entonces #B = 9.

1
2.1 Relaciones de Inclusión e Igualdad
Definición 2 : Subconjunto
Sean A y B dos conjuntos. Se dice que A es un subconjunto de B, lo cual deno-
taremos por A ⊆ B, si y solo si, todo elemento de A es un elemento de B. Esto
es:
A ⊆ B ⇔ (x ∈ A ⇒ x ∈ B)
En caso contrario, es decir, si A no es un subconjunto de B, escribimos A* B.

Definición 3 : Igualdad
Diremos que dos conjuntos A y B son iguales, lo cual denotaremos por A = B, si y
solo si, todo elemento de A es un elemento de B y viceversa. Su expresión matemática
es:
A = B ⇔ (A ⊆ B ∧ B ⊆ A).
Si A es diferente de B, escribimos A 6= B.

Observación 2 Se dice que A es un subconjunto propio de B si y solo si A ⊆ B pero A 6= B.

Lo anotamos A ⊂ B o bien A ( B.

Propiedades: Sean A y B conjuntos cualesquiera, entonces:

• ∅ ⊆ A ⊆ U , contenciones Triviales.

• A ⊆ A subconjunto trivial.
• Si A ⊆ B y B ⊆ C, entonces A ⊆ C (Propiedad Transitiva).

Definición 4 : Conjunto Potencia

Sean A un conjunto. Se define el conjunto potencia de A, denotado por P(A), como
el conjunto formado por todos los subconjuntos de A. Es decir,

P(A) = {B ∈ U : B ⊆ A} .

Observación 3
• El conjunto P(A) nunca es vacı́o, ya que ∅ y A son siempre elementos de P(A), por ser
subconjuntos triviales de A.
• Si A tiene n elementos, entonces P(A) consta de 2n elementos, con n ∈ N.

Ejemplo 3
a) Sea A = {1, 2}, entonces P(A) = {∅, A, {1}, {2}} y #P(A) = 4.

b) Sea A = {a, b, c}, entonces P(A) = {∅, A, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}} y #P(A) = 8.
c) Sea A = ∅, entonces P(A) = {∅} y #P(A) = 1.
d) Sea A = {∅}, entonces P(A) = {{∅}, ∅} y #P(A) = 2.

2
2.2 Operaciones con Conjuntos.
Sea U el conjunto universo, A y B dos subconjuntos de U . Se definen las siguientes operaciones:

Definición 5 : Unión
La unión de los conjuntos A y B, denotado por A ∪ B, es el conjunto formado por los
elementos que pertenecen al menos a uno de los conjuntos o a los dos. Su expresión
matemática es:
A ∪ B = {x ∈ U : x ∈ A ∨ x ∈ B}.

A∪B
U

A B

Definición 6 : Intersección
La intersección de los conjuntos A y B, denotado por A ∩ B, es el conjunto formado
por los elementos que pertenecen a ambos conjuntos. Su expresión matemática es:

A ∩ B = {x ∈ U : x ∈ A ∧ x ∈ B}.
Si no poseen elementos en común, entonces se dirán Conjuntos Disjuntos.

A∩B
U

A B

Definición 7 : Complemento
El complemento de un conjunto A, denotado por AC , es el conjunto formado por
todos los elementos que no pertenecen a A. Su expresión matemática es:

AC = {x ∈ U : x ∈
/ A}.

AC
U

3
 Definición 8 : Diferencia
La diferencia entre A y B, denotada por A − B o A r B, es el conjunto formado
por los elementos que pertenecen al conjunto A pero no al conjunto B. Su expresión
matemática es:
A − B = {x ∈ U : x ∈ A ∧ x ∈/ B}.

A−B
U

A B

Ejemplo 4 Consideremos los siguientes conjuntos: U = {x ∈ N : x ≤ 11}, A = {1, 2, 3, 4, 5} y

B = {2, 3, 5, 7, 9, 11}. Entonces:

• A ∩ B = {2, 3, 5} • B − A = {7, 9, 11}

• A ∪ B = {1, 2, 3, 4, 5, 7, 9, 11}
• A − B = {1, 4} • AC = {6, 7, 8, 9, 10, 11}

Las operaciones básicas en la teorı́a de conjuntos están estrechamente relacionadas con las leyes
lógicas que se obtienen al usar conectivos (tautologı́as). Estas relaciones nos permiten entender de
mejor manera las siguientes propiedades:

4
 Propiedades
Sea U el conjunto universo y sean A, B, C subconjuntos de U .
a) Identidad:

i) A ∩ U = A iii) A ∪ ∅ = A
ii) A ∩ ∅ = ∅ iv) A ∪ U = U

b) Idempotencia:

i) A ∩ A = A ii) A ∪ A = A

c) Involución:
i) (AC )C = A
d) Complemento:

i) ∅C = U ii) U C = ∅

e) Conmutatividad:

i) A ∩ B = B ∩ A ii) A ∪ B = B ∪ A

f ) Asociatividad:

i) A ∩ (B ∩ C) = (A ∩ B) ∩ C ii) A ∪ (B ∪ C) = (A ∪ B) ∪ C

g) Distributividad:

i) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) ii) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

h) Leyes de Morgan:

i) (A ∪ B)C = AC ∩ B C ii) (A ∩ B)C = AC ∪ B C

i) Absorción:

i) A ∩ (A ∪ B) = A ii) A ∪ (A ∩ B) = A

j) Otras:

i) A ⊆ B ⇔ A ∩ B C = ∅ iv) A ⊆ (A ∪ B)
ii) A ⊆ B ⇔ B C ⊆ AC
iii) A ∩ B ⊆ A v) A − B = A ∩ B C

A continuación aplicaremos propiedades de cardinalidad a problemas de conteo:

Ejemplo 5 150 alumnos ingresaron a una carrera en cierta universidad y en el primer semestre
cursaron 2 asignaturas A y B. 80 aprobaron A, 57 aprobaron B y 25 aprobaron A sin aprobar B.
• Realice un diagrama de Venn con la información entregada

• ¿Cuántos alumnos aprobaron las dos asignaturas?

#(A ∩ B) = 55

• ¿Cuántos alumnos reprobaron las dos asignaturas?

#(U − (A ∪ B)) = #(U ∩ (A ∪ B)C ) = 68

5
Ejemplo 6 De 120 personas de cierta Universidad se obtuvo la siguiente información

• 72 alumnos estudian el curso de Matemática II.

• 64 alumnos estudian el curso de Ecologı́a Ética.

• 36 alumnos estudian el curso de Cultura Polı́tica.
• 7 alumnos estudian solo los cursos de Matemática II y Ecologı́a Ética.
• 10 alumnos estudian solo los cursos de Ecologı́a Ética y Cultura Polı́tica.

• 12 alumnos estudian los tres cursos.

• Los 120 estudiantes contestaron que estudiaban a lo menos uno de los cursos.

Si A representa el conjunto de estudiantes que estudia Matemática II, B el conjunto que estudia
el curso Ecologı́a Ética y C el conjunto de los estudiantes de Cultura Polı́tica:

a) Construya el diagrama de Venn que representa la distribución de los estudiantes en los cursos.

Desarrollo:

b) Determine # (A ∩ C) − B C ) e interprete el resultado de acuerdo al contexto.

Desarrollo:
El conjunto corresponde a:

(A ∩ C) − B C = {x ∈ U : x ∈ A ∧ x ∈ C ∧ x ∈
/ B C } = {x ∈ U : x ∈ A ∧ x ∈ C ∧ x ∈ B}
=A∩B∩C
Por lo tanto, # (A ∩ C) − B C ) = 12, que corresponde al número de alumnos que estudian los
tres cursos.

c) Escriba, utilizando operaciones conjuntistas, el conjunto de los alumnos que solo estudian Cul-
tura Polı́tica y determine su cardinalidad.
Desarrollo:
Corresponde al conjunto de alumnos que estudian Cultura Polı́tica, pero no estudian Matemática
II ni Ecologı́a Ética, es decir:

{x ∈ U : x ∈ C ∧ x ∈
/ A∧x∈
/ B}
Se puede escribir como:

(C ∩ AC ) ∩ B C = (C − A) − B = C − (A ∪ B)

Para este conjunto # C − (A ∪ B)) = 3

6
3 Cuantificadores
3.1 Función Proposicional
Definición 9 Sea A un conjunto, se llama Función Proposicional (o enunciado
abierto) a una expresión p que contiene una o más variables, tal que ella se convierte
en una proposición lógica cuando a las variables se le asignan valores especı́ficos en
el conjunto A.
El subconjunto de A en el cual la función proposicional toma el valor de verdad
verdadero se llama Conjunto Validez y se denota por Vp .

Ejemplo 7 Sea A = {1, 2, 3} la expresión

p(x) : x es un numero par,
es una función proposicional, ya que se convierte en proposición cuando la evaluamos en los ele-
mentos del conjunto A, esto es:
• P (1) : 1 es un número par
• P (2) : 2 es un número par
• P (3) : 3 es un número par
Además, su conjunto validez es Vp = {2}

Ejemplo 8 En los números reales se define

p(x) : x2 ≥ 0,
una función proposicional, su conjunto validez está dado por Vp = R.

3.2 Cuantificadores lógicos

Definición 10 Sea A un conjunto, x ∈ A y p(x) una función proposicional.

• Se define el Cuantificador Universal, denotado como ∀, el cual indica que

una función proposicional es verdadera en todos los elementos de A. Su no-
tación es

∀x ∈ A : p(x) se lee “para todo x en A, p(x) es verdadera”.

• Se define el Cuantificador Existencial, denotado como ∃, el cual indica que

una función proposicional es verdadera por lo menos para un elemento de A.
Su notación es

∃x ∈ A : p(x) se lee “existe x en A tal que p(x) es verdadera”.

Existe una variación del cuantificador existencial, esta es ∃!, la cual se utiliza
para indicar que la función proposicional es verdadera en un y solo un elemento
del conjunto A. Su notación es

∃!x ∈ A : p(x) se lee “existe un único x en A tal que p(x) es verdadera”.

Ejemplo 9 Dada la siguiente afirmación

∃!x ∈ Z : x + 2 = 3
Dado que su conjunto validez es Vp = {1}, vemos que es una afirmación verdadera.

Ejemplo 10 Dada la siguiente afirmación

∃y ∈ N, ∀x ∈ N, x ≤ y
En primer lugar, notemos que x ≤ y es una función proposicional en dos variables. Notemos además,
que es falsa ya que de existir un número natural mayor que todos, entonces N serı́a un conjunto
finito.

Negación de los cuantificadores

En general para negar una proposición que contiene cuantificadores, se cambia el tipo
de cuantificador y se niega la función proposicional. Esto es, si A es un conjunto y
p es una función proposicional sobre A, entonces las tres equivalencias siguientes son
verdaderas
a) (∀x ∈ A : p(x)) ⇔ ∃x ∈ A : p(x)

b) (∃x ∈ A : p(x)) ⇔ ∀x ∈ A : p(x)

 
c) (∃!x ∈ A : p(x)) ⇔ ∀x ∈ A : p(x) ∨ (∃x ∈ A, ∃y ∈ A, x 6= y : p(x) ∧ p(y))

7
Ejemplo 11 Determinemos el valor de verdad de las siguientes proposiciones y luego neguemos la
proposición.
a) ∀x ∈ R : x − 1 ≥ x + 1.
Es una proposción falsa ya que 0 ∈ R y 0 − 1 ≤ 0 + 1
Ahora su negación,

∀x ∈ R : x − 1 ≥ x + 1 ⇔ ∃x ∈ R : x − 1 ≥ x + 1 ⇔ ∃x ∈ R : x − 1 < x + 1.

b) ∃!x ∈ R : x2 = x.
Es una proposición falsa ya que existen más de un elemento que satisface la proposición. A
saber 0, 1.
Su negación es,

∃!x ∈ R : x2 = x ⇔ (∀x ∈ R : x2 6= x) ∨ (∃x ∈ R, ∃y ∈ R : x2 = x ∧ y 2 = y).

c) Sean U = {1, 2, 3, 4, 5} y la proposición ∀x ∈ U, ∃y ∈ U, x ≤ y.

Es una proposición verdadera ya que

• Para 1 existe, por ejemplo, 2 tal que 1 ≤ 2

• Para 2 existe, por ejemplo, 3 tal que 2 ≤ 3
• Para 3 existe, por ejemplo, 4 tal que 3 ≤ 4
• Para 4 existe, por ejemplo, 5 tal que 4 ≤ 5
• Para 5 existe, por ejemplo, 5 tal que 5 ≤ 5

Ahora su negación

∀x ∈ U, ∃y ∈ U, x ≤ y ⇔ ∃x ∈ U, ∀y ∈ U, x > y

4 Ejercicios Propuestos
1. Escriba por comprensión los siguientes conjuntos:
 
1 1 1
(a) A = 1, , , , . . .
2 3 4
 
1 2 3 4
(b) B = , , , ,...
2 3 4 5
 
3 4 5
(c) C = −2, , , , . . .
2 7 14
(d) D = {−1, 2 − 3, 4 − 5, . . .}
 
1 4 9 16
(e) E = − , , − , , . . .
4 10 18 28
2. Dado U = {x ∈ N : x ≤ 10}, E = {1, 3, 5, 7}, F = {2, 3, 4, 5} y L = {2, 3, 6, 8}. Defina por
extensión los siguientes conjuntos:
(a) F ∩ L
(b) (E ∪ L) − F
(c) LC ∪ F C

3. Dados los conjuntos H = {x ∈ Z : x − 2 = 0}, I = {x ∈ Z : 2x − 6 = 0} y J = {x ∈ Z : x ≤ 3},

entonces es verdadero que:
(a) La cardinalidad de H e I es la misma
(b) H ∪ I = J
(c) H ∩ I = J

4. Dados los conjuntos A = {1, 2, −3, 0, 1} y B = {x ∈ N : x + 2 = 4 ∨ x < 10}, determine:

(a) #A
(b) #(A ∪ B)
(c) A ∩ B
(d) P(A ∩ B)

8
 5. Dados los conjuntos:

A = ] − 3, 0] ∪ [10, 11]
 
1 3 5 22
B = −3, −2, −1, 0, 1, , , ,
2 2 2 2

Determine:
(a) A ∩ B
(b) B − A
(c) #(P(B − A))

6. Dados los conjuntos:

U = {x
 ∈ Z : x 2+ 4 < 16 ∧ x > −4}
A = a ∈ U : a2 − 5a + 4 = 0 ∨ a ≥ 10
B = b∈U :b −1∈U

Determine por extensión:

i) A y B
ii) AC
iii) A ∪ (B ∩ A)
7. Sea N el conjunto de los números naturales y la siguiente proposición:

p : (∀x ∈ N)(∃y ∈ N)(x + y < 10)

(a) Determine su valor de verdad. Justifique su respuesta.

(b) Escriba su negación en lenguaje simbólico.
8. Dado un conjunto U y los subconjuntos A, B y C, se tiene los siguientes datos:

• #U = 44 • #(A ∩ C) = 14 • #(A ∩ B ∩ C) = 5
• #A = 21 • #(B ∩ C) = 12
• #B = 17 • #(A ∩ B ∩ C c ) = 3 • #(A ∪ B ∪ C)c = 6

Hallar #C
9. En una investigación efectuada a 370 personas, se determinó que:
• 20 personas leen solamente la revista A.
• 10 personas leen solamente las revistas A y B.
• 40 personas leen solamente las revistas B y C.
• El número de personas que leen las revistas A, B y C es el doble de las que leen solamente
la revista B, el cuádruple de las que leen solamente la revista C y es 8 veces las que
solamente leen las revistas A y C.

Hallar:
(a) El número de personas que leen solamente la revista B y la revista C.
(b) El número de personas que leen al menos dos revistas.
10. En una encuesta realizada sobre un determinado número de profesionales, se observa que:

• El 72% son matemáticos, el 52% son fı́sicos, el 37% son quı́micos.

• El 32% fı́sico-matemáticos, el 12% fı́sico-quı́micos, el 22% matemático-quı́micos.
• El 2% fı́sico-quı́mico-matemáticos.
Hallar:

(a) El porcentaje de encuestados que siguen una carrera.

(b) El porcentaje de encuestados que sigue otra carrera.

9
11. Considere los siguientes conjuntos:

A={Alumnos de la FCI de la UACh }

B={Alumnos mechones de Ing. Naval}
C={x ∈ A : x toma Coca Cola}
D={x ∈ A : x vive en Valdivia}
E={x ∈ A : x es fanático del Colo}
F={x ∈ A : x es hincha de la U}
G={x ∈ A : x bebe leche}
H={x ∈ A : x odia el ron}

Escribir simbólicamente los siguientes enunciados:

(a) Algunos mechones de I. Naval que odian el ron son hinchas de la U.

(b) Todos los alumnos de Ingenierı́a que beben leche y toman Coca Cola, son fanáticos del
Colo.
(c) Un hincha de la U no toma Coca Cola ni bebe leche.
(d) Ningún alumno de la facultad de ingenierı́a que vive en Valdivia es alumno mechón de I.
Naval.
(e) Algunos fanáticos del Colo, alumnos mechones de I. Naval toman Coca Cola, beben leche
y viven en Valdivia.
12. Indique el valor de verdad de las siguientes proposiciones:

(a) Todo número natural es mayor que 2

(b) (∀x ∈ R)(∃y ∈ R)(xy > 0)
(c) ∃x ∈ N : x2 > 100
13. Escriba la negación de:

(a) Si existe un número natural n tal que n − 50 > a, entonces |a| = 0 ó 3 > 1
(b) ∀x ∈ R, ∃n ∈ N : (n ≤ x) ∧ (n ≤ n + 1)
14. Niegue y determine el valor de verdad de

(a) (∀x ∈ R)(∃y ∈ R)(xy 6= y)

(b) (∃x ∈ R∗ )(∃y ∈ R∗ )(xy = 0)

15. Determine el valor de verdad de cada una de las siguientes proposiciones:

(a) ∀x ∈ R : x + 3 ≥ x
(b) ∃x ∈ R : x2 = x
(c) ∃x ∈ R : x + 4 = x
16. Sea A = {x ∈ N : 1 ≤ x ≤ 10}. Determine el valor de verdad de cada una de las siguientes
proposiciones:
(a) (∀x ∈ A)(∃y ∈ A)(x + y < 14)
(b) (∀x ∈ A)(∀y ∈ A)(x + y < 14)
(c) (∃x ∈ A)(∀y ∈ A)(x + y < 14)
17. Niegue los siguientes enunciados en lenguaje simbólico
(a) Para todo número racional r existe un número entero n tal que n ≤ r < n + 1
(b) Para todo número real x, existe un número M tal que x2 < M + 1 siempre que x < M

10