1.

Conjuntos
Prueba de lectura (Sección 2.1)
• Califique las siguientes proposiciones como
verdaderas o falsas. Justifique su respuesta
• Si 𝐴 = ∅ , entonces 𝑁 𝐴 = 0
• Considere un conjunto tal que 𝑁 𝐵 = 0, entonces
𝐵 = 𝑎, −𝑎
• Si 𝑁 𝐶 = 10, entonces 𝐶 =
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, …
• Si 𝐴 = 𝑥 Τ𝑥 𝑒𝑠 𝑢𝑛 𝑣𝑎𝑙𝑜𝑟 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑 , entonces su
cardinalidad es la misma que la de un conjunto
unitario
• 𝐴 es un conjunto vacío si y sólo si 𝑁 𝐴 = 0
Definiciones
• Conjunto
• Colección, reunión o agrupación de objetos.

• Cardinalidad
• Cantidad de elementos de un conjunto: 𝑁 𝐴
Descripción
• Comprensión
• 𝐴 = 𝑥Τ𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑒𝑛𝑡𝑒𝑟𝑜

• Tabulación
• 𝐴 = 𝑎, 𝑒, 𝑖, 𝑜, 𝑢

• Diagramas de Venn
A 1∈𝐴
1 3
2∉𝐴≡¬ 2∈𝐴
5 7 9
Conjuntos relevantes
• Conjunto vacío (∅)
• No tiene elementos: 𝑁 𝐴 = 0
• Conjunto unitario
• Tiene un único elemento: 𝑁 𝐴 = 1
• Conjunto finito
• Tiene una cantidad finita de elementos
• Conjunto infinito
• Tiene una cantidad infinita o extremadamente grande de
elementos
• Conjunto referencial o universo (Re)
• Contiene todos los elementos que deseen considerarse
en un problema.
Prueba de Lectura (Sección 2.2)
• Sea el conjunto 𝑅𝑒 = 𝑥Τ𝑥 𝑒𝑠 𝑝𝑒𝑟𝑠𝑜𝑛𝑎 ,
traduzca al lenguaje formal las siguientes
proposiciones:
a) Todas las personas son puntuales.
b) Existen personas que son universitarias.
c) Cada persona es inteligente.
d) Algunas personas son de tez blanca.
Cuantificadores
• Proposiciones: (1, 0)
• Expresiones abiertas: 2x es menor que 6.
• Restringir o cuantificar la variable, diciendo que la expresión es
verdadera para TODOS o ALGUNOS de sus valores posibles
• Cuantificador Universal:
• Cualquier expresión de la forma: “para todo”, “todo”, “para cada”,
“cada”, constituye en el lenguaje formal un cuantificador universal.
Se simboliza por medio de ∀
• Cuantificador Existencial:
• Cualquier expresión de la forma: “existe”, “algún”, “algunos”, “por
lo menos uno”, “basta que uno”, constituye en el lenguaje formal
un cuantificador existencial. Se simboliza por medio de ∃.
• Existencial único. Denota la existencia de un caso único para x. ∃! 𝑥
Cuantificadores
• ∀𝑥, 2𝑥 + 3𝑥 = 5𝑥

• ∃𝑥, 𝑥 2 −1 = 0

• ∃! 𝑥, 2𝑥 + 2 = 4
Definiciones
• Subconjunto
• 𝐴 ⊆ 𝐵 ⇔ ∀𝑥 𝑥∈𝐴 → 𝑥∈𝐵
• Subconjunto propio
• 𝐴⊂𝐵 ⇔ 𝐴 ⊆𝐵 ∧¬ 𝐵 ⊆𝐴

• ∅⊆𝐴
• 𝐴⊆𝐴

• Conjunto Potencia
• 𝑃 𝐴 = 𝐵Τ𝐵 ⊆ 𝐴
• 𝑁 𝑃 𝐴 = 2𝑁(𝐴)
Ejercicio
• Ejemplo 2.6
Definición
• Igualdad entre conjuntos
• 𝐴=𝐵 ⇔ 𝐴⊆𝐵 ∧ 𝐵⊆𝐴
• 𝐴 = 𝐵 ⇔ ∀𝑥 𝑥 ∈ 𝐴 ↔ 𝑥 ∈ 𝐵

• Conjuntos disjuntos
• A y B son disjuntos si y sólo si no tienen elementos en común

• Conjuntos intersecantes
• A y B son intersecantes si y sólo si tienen al menos un elemento
común.
Ejercicio
• Sean los conjuntos 𝐴 = 𝑎, 𝑏 , 𝑐 y 𝐵 =
1,2 , determine la proposición FALSA:
a) 𝑁 𝑃 𝑃 𝐵 = 16
b) 𝑐 ⊆𝑃 𝐴
c) 𝑏 ∈ 𝑃 𝐴
d) ∅ ⊆ 𝑃 𝐵
e) 𝑁 𝑃 𝐴 ⋅ 𝑁 𝑃 𝐵 =6
Ejercicio
• Dado el conjunto referencial 𝑅𝑒 =
𝑥 Τ 𝑥 ∈ ℕ ∧ 𝑥 ≤ 5 , entonces es verdad que:
a) ∃! 𝑥, 𝑥 2 − 𝑥 > 10
b) ∀𝑥, 𝑥 + 2 ≤ 6
c) ∃𝑥, 𝑥 − 1 = 5
d) ∀𝑥, 4𝑥 < 20
e) ∃! 𝑥, 𝑥 3 > 100
Ejercicio
• Sea el conjunto 𝐴 = 2, 2, 3 , 3 . Encuentre la
proposición FALSA:
a) 2,3 ∈ 𝐴
b) 2, 3 ∈ 𝑃 𝐴
c) 2,3 ⊆𝐴
d) 2, 3 ∉𝑃 𝑃 𝐴
e) 2, 2, 3 ∈ 𝑃 𝐴
Operaciones entre conjuntos
• Unión
• 𝐴 ∪ 𝐵 = 𝑥Τ 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵
• Intersección
• 𝐴 ∩ 𝐵 = 𝑥Τ 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵
• Diferencia
• 𝐴 − 𝐵 = 𝑥Τ 𝑥 ∈ 𝐴 ∧ ¬ 𝑥 ∈ 𝐵
• Diferencia simétrica
• 𝐴∆𝐵 = 𝑥 Τ 𝑥 ∈ 𝐴 ∧ ¬ 𝑥 ∈ 𝐵 ∨ 𝑥 ∈𝐵 ∧¬ 𝑥 ∈𝐴
• 𝐴∆𝐵 = 𝑥 Τ 𝑥 ∈ 𝐴 ⊻ 𝑥 ∈ 𝐵
• Complementación
• 𝐴𝐶 = 𝑥 Τ 𝑥 ∈ 𝑅𝑒 ∧ ¬ 𝑥 ∈ 𝐴
Ejercicio
• Sean los conjuntos A y B no vacíos,
determine la definición correcta:
a) 𝐴 ∪ 𝐵 = 𝑥Τ 𝑥 ∈ 𝐴 ⊻ 𝑥 ∈ 𝐵
b) 𝐴 ⊆ 𝐵 ⇔ ∀𝑥 𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵
c) 𝐴 ∩ 𝐵 = 𝑥Τ 𝑥 ∈ 𝐴 ∧ ¬ 𝑥 ∈ 𝐵
d) 𝐴 − 𝐵 = 𝑥Τ 𝑥 ∈ 𝐵 ∧ ¬ 𝑥 ∈ 𝐴
e) 𝐴 = 𝐵 ⇔ 𝐴 ⊆ 𝐵 ∨ 𝐵 ⊆ 𝐴
 Prueba de Lectura
(Sección 2.2)
• La región sombreada del
gráfico adjunto representa
el conjunto:
a) 𝐴 ∩ 𝐵 ∪ 𝐶 − 𝐵
b) 𝐴 ∩ 𝐶 ∪ 𝐴 ∩ 𝐵 ∪ 𝐶Δ𝐵
c) 𝐴Δ𝐵 − C ∪ 𝐶 − 𝐵 𝐶
d) 𝐴 ∩ 𝐵 ∪ 𝐶 − 𝐵 − 𝐵 ∩ 𝐶
e) 𝐴 ∩ 𝐶 − B ∪ 𝐶 − 𝐵
Ejercicio 23
• Dados los conjuntos:
Ejercicio
• Se entrevistó a un grupo de 150 personas que tienen
preferencia en al menos un género cinematográfico (comedia,
terror, acción) y se obtuvo que:
• 70 prefieren películas de comedia
• 30 prefieren sólo películas de acción
• 20 prefieren sólo películas de terror
Determine el número de personas que prefieren películas de acción
y terror, pero no de comedia.
Ejercicios
• Se realizó una encuesta a 102 estudiantes sobre el uso de
mensajería instantánea y se obtuvieron los siguientes
resultados:
• 60 utilizan WhatsApp
• 47 utilizan Line
• 30 utilizan Telegram
• 27 utilizan WhatsApp y Line
• 15 utilizan WhatsApp y Telegram
• 13 utilizan Line y Telegram
• 19 utilizan WhatsApp y Line pero no Telegram
Determine la cantidad de estudiantes que no utilizan estas tres
aplicaciones de mensajería.
Ejercicio 27
• La región sombreada del gráfico
Ejercicio
Ejercicio
Ejercicio
• En una encuesta realizada a 2580 personas en el
Malecón 2000, se obtuvo lo siguiente:
• A 250 personas les gusta pasear y comer o pasear y
conversar o comer y conversar.
• A 480 personas les gusta solo conversar
• El número de personas que les gusta sólo pasear es
igual al número de personas que les gusta sólo comer.
• A 30 personas les gusta hacer las tres actividades.
• Todas las personas entrevistadas tienen por lo menos
uno de los gustos mencionados.
Entonces el número de personas que les gusta sólo
pasear es:
Propiedades de las Operaciones
entre Conjuntos
• Leyes de las operaciones fundamentales Unión e Intersección
• Leyes de las Operaciones entre conjuntos
• Otras leyes
• Página 78-79
Demostrar
• 𝐴∪ 𝐵∩𝐶 = 𝐴∪𝐵 ∩ 𝐴∪𝐶
• 𝐴 − 𝐵 = 𝐴 ∩ 𝐵𝐶
Demostrar
• 𝐴 ∩ (𝐵 ∪ 𝐶)𝐶 = 𝐵𝐶 ∩ 𝐴 ∩ 𝐶 𝐶
Prueba de Lectura (Sección 2.5)
Sea el conjunto referencial
𝑅𝑒 = 10, 15, 20, 25, 30, 35, 40, 45, 50
y los predicados:
𝑝 𝑥 : 𝑥 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 10
𝑞 𝑥 : 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑎𝑟𝑎 3
Identifique la proposición verdadera
Predicados de una variable
• Expresiones en términos de una variable que al ser
reemplazadas por los elementos de un conjunto
referencial, se convierten en proposiciones.
• Predicados compuestos: Predicados formados por varios
predicados y los operadores lógicos que los relacionan
• Conjunto de verdad de un predicado:
• 𝐴𝑝 𝑥 = 𝑥Τ(𝑥 ∈ 𝑅𝑒) ∧ 𝑝(𝑥) ⇔ 1
• Todos los elementos de Re para los cuales el predicado
se convierte en una proposición verdadera.
• 𝐴¬𝑝 𝑥 = 𝐴𝐶 𝑝 𝑥
• Página 86
Ejercicio
• Dado 𝑅𝑒 = 𝑥 Τ𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑙𝑒𝑡𝑟𝑎 𝑑𝑒 𝑙𝑎 𝑝𝑎𝑙𝑎𝑏𝑟𝑎 𝑚𝑢𝑟𝑐𝑖é𝑙𝑎𝑔𝑜
• 𝑝 𝑥 : 𝑥 𝑒𝑠 𝑣𝑜𝑐𝑎𝑙
• 𝑞 𝑥 : 𝑥 𝑒𝑠 𝑐𝑜𝑛𝑠𝑜𝑛𝑎𝑛𝑡𝑒
• Determine el conjunto de verdad para cada predicado.
Predicados de una variable
• ∀𝑥𝑝 𝑥 ⇔ 𝐴𝑝 𝑥 = 𝑅𝑒
• ∃𝑥𝑝 𝑥 ⇔ ¬ 𝐴𝑝 𝑥 = ∅

Si 𝑎 ∈ 𝑅𝑒
• ∀𝑥𝑝 𝑥 ⇒ 𝑝(𝑎)
• 𝑝(𝑎) ⇒ ∃𝑥𝑝 𝑥
Ejercicio
Ejercicio 49
• Dado el conjunto
Evaluación
Evaluación
Evaluación
Solución
 Razonamientos con predicados
y cuantificadores
Lenguaje común Lógica proposicional Teoría de conjuntos
a satisface 𝑝(𝑥) 𝑝(𝑎) ≡ 1 𝑎 ∈ 𝐴𝑝(𝑥)
Todo 𝑝(𝑥) es 𝑞(𝑥) ∀𝑥 𝑝(𝑥) → 𝑞 𝑥 𝐴𝑝(𝑥) ⊆ 𝐴𝑞(𝑥)
Ningún 𝑝(𝑥) es 𝑞(𝑥) ∀𝑥 𝑝(𝑥) → ¬𝑞 𝑥 𝐴𝑝(𝑥) ⊆ 𝐴𝐶 𝑞(𝑥)
Existen 𝑝 𝑥 que son 𝑞(𝑥) ∃𝑥 𝑝 𝑥 ∧ 𝑞(𝑥) 𝐴𝑝(𝑥) ∩ 𝐴𝑞(𝑥) ≠ ∅
Existen 𝑝 𝑥 que no son 𝑞(𝑥) ∃𝑥 𝑝 𝑥 ∧ ¬𝑞(𝑥) 𝐴𝑝(𝑥) ∩ 𝐴𝐶 𝑞(𝑥) ≠ ∅
Ejercicio 59
• Página 141
Ejercicio 63
• Página 142
Pares ordenados
• Par ordenado: Arreglo de dos elementos que tiene un orden.
Se representa por (a,b)

• Producto cartesiano:
• 𝐴 × 𝐵 = 𝑥, 𝑦 Τ 𝑥 ∈ 𝐴 ∧ 𝑦 ∈ 𝐵
• 𝑁 𝐴×𝐵 =𝑁 𝐴 𝑁 𝐵
• Página 100 (Propiedades)
Demostrar
• 𝐴× 𝐵∩𝐶 = 𝐴×𝐵 ∩ 𝐴×𝐶
Ejercicio 71
• Página 143
Ejercicio
Ejercicio
Ejercicio 73
Ejercicio 73
Prueba de Lectura (Sección 2.8)
Predicados de dos variables
• 𝑅𝑒𝑥 = 1,2,3
• 𝑅𝑒𝑦 = 4,5,6,7
• 𝑝 𝑥, 𝑦 : "𝑥 𝑒𝑠 𝑙𝑎 𝑚𝑖𝑡𝑎𝑑 𝑑𝑒 𝑦"
• 𝑞 𝑥, 𝑦 : "𝑦 𝑒𝑠 𝑒𝑙 𝑡𝑟𝑖𝑝𝑙𝑒 𝑑𝑒 𝑥“
Encontrar el conjunto de verdad de los predicados y:
𝐴 𝑝(𝑥, 𝑦) ∨ 𝑞(𝑥, 𝑦)
Predicados de dos variables
• Cuantificadores y predicados de dos variables. Pág. 106-107
Prueba de Lectura (Sección 2.8)
Predicados de dos variables
Predicados de dos variables
Relaciones
Ejercicio