Taller conceptos básicos de la teoría de conjuntos 01-abr-2017

Nombre completo___________________________________________ Identificación ______________________

Nombre completo___________________________________________ Identificación ______________________

1. Sea X el conjunto de los números naturales.

 Encuentre por extensión el subconjunto , que definido por comprensión es:
= { | ∈ ∧ es un dígito menor o igual a 7}

2. Sea = {0, }
 Escriba por extensión al conjunto ℘( )
℘( ) = {0}, { }, , {0, }
 En el espacio en blanco coloque el signo apropiado (∈, ⊂, ⊆, ∉, ⊄, ⊈); donde ℘( ) simboliza el conjunto
potencia de .

{0, } ∈ ℘( ) { }, ⊂ ℘( ) {0}, 0 ∉ ℘( )

∈ ℘( ) ∈

 Suministre un elemento cualquiera de ℘ ℘( ) que no sea el vacío, ni ℘( )

{ },

3. Sean = { , , , , , , , ℎ, } un conjunto de referencia; y sean = { , , , , }y = { , , , , , }

subconjuntos de .

Use el Diagrama de Ben de la Figura 1, y…

a) Ubique en la región correspondiente, cada elemento de

b) Sombree con rayas diagonales la región correspondiente al conjunto ( )′

Figura 1. Diagrama de Ben para los subconjuntos y de .

c) Use teorema(s) referente(s) a la cardinalidad de conjuntos y con base en lo obtenido en a), asigne los valores
a las cantidades que aparecen en dicha fórmula y obtenga el valor de | ′ + ′|.

4. Simplifique las siguientes expresiones. Justifique cado paso empleando las leyes fundamentales del álgebra de
conjuntos. Empleando los diagramas de Ben que se le suministran a continuación sombree las zonas que
corresponden al resultado arrojado por cada simplificación.

a) + + + + + + +

b) ( + + ) ( + ′)( + ′) ′
Taller conceptos básicos de la teoría de conjuntos 01-abr-2017
a) b)

B X Y
A

5. Sombree, o raye, en un diagrama de Ben, el resultado de cada una de las expresiones presentadas (Utilice un
diagrama para cada caso). Justifique cado paso empleando las leyes fundamentales del álgebra de conjuntos

a) + + ′ ′ ′

b) ( + ) +

c) ( ′)( ′ )

a) b)

A B
A B

c)

A B

6. En la Empresa de Software “HardSupplies”, el contador tratando de calcular el número de clientes al que se les
vendieron sus dos únicos productos, Shell y KBS, en el mes de mayo de 2012, se enfocó en la siguiente
información: se sabe que 58, de los 80 clientes de la empresa, compraron licencias del producto KBS;
mientras que 24 clientes” compraron licencias del producto Shell. El contador desea estimar cuántos
clientes compraron exclusivamente el producto KBS.
Taller conceptos básicos de la teoría de conjuntos 01-abr-2017
Para responder a esa pregunta utilice un proceso formal, en el que Ud. fundamente su respuesta en teoremas
aceptados.

R/.
Se representan, por comprensión, cada uno de los siguientes conjuntos:
= { |" es cliente de la empresa "}
= { | ∈X ∧ " compró licencia del producto "}
= { | ∈X ∧ " compró licencia del producto ℎ "}

El planteamiento del problema suministra la siguiente información:

| | = 80 (1)
| | = 58 (2)
24 ≤ | | ≤ 30 (3)

¿Qué es lo que pide el problema? cuántos clientes compraron exclusivamente el producto KBS; es decir, se
necesita garantizar que contará los clientes que compran la licencia del producto KBS y no compran la del
producto Shell. Esto puede representarse mediante | ⋅ ′|

+ =

+ ∙ = +

| |+| ∙ |=| + |=| |

| ∙ |= | |−| |
Para | | = 24
| ∙ ′| = 80 − 24 = 56
Para | | = 30
| ∙ ′| = 80 − 30 = 50

50 ≤ | ∙ ′| ≤ 56

Opción 2.
max(0, (| | + | ′|) − | |) ≤ | ∙ ′| ≤ min(| |, | ′|)

Para | | = 24
max(0, (58 + 56) − 80) ≤ | ∙ ′| ≤ min(58,56)
24 ≤ | ∙ ′| ≤ 56
Para | | = 30
max(0, (58 + 50) − 80) ≤ | ∙ ′| ≤ min(58,50)
28 ≤ | ∙ ′| ≤ 50

7. Teorema J24a ∅′ = 1
1. ∈ ∅′ Supuesto
2. ∈1∧ ∉∅ Sustitución de 1: definición de complementación
de un conjunto
3. ∈1 Propiedad de la conjunción (TP15a) en 2
4. ∈ ∅′ → ∈ 1 Teorema de la deducción entre 1 y 3
5. ∀ ( ∈ ∅′ → ∈ 1) G.U. en 4
6. ∅′ ⊆ 1 Sustitución de 5: expresión de inclusión de conjuntos
Taller conceptos básicos de la teoría de conjuntos 01-abr-2017

1a. ∈1 Supuesto
2a ∀ ( ∉ ∅) Teorema J1
3a ∉∅ E.U. en 2a
4a ∈1∧ ∉∅ Propiedad de la conjunción (TP15b) entre 1a y 3a
5a ∈ ∅′ Sustitución de 4a: la expresión 5a es equivalente por definición
de complementación de un conjunto
6a ∈ 1 → ∈ ∅′ Teorema de la deducción entre 1a y 5a
7a ∀ ( ∈ 1 → ∈ ∅′) G.U. en 6a
8a 1 ⊆ ∅′ Sustitución de 7a: la expresión 7a es equivalente por definición
de inclusión entre conjuntos

De 6 y 6a se afirma que ∅′ = 1.

8. Teorema J28b ⊆ ↔ ∙ ′=∅

1 ∙ ′=∅ Supuesto
2 ∀ ( ∈ ↔ ∈ ∅) Sustitución de 1: definición de igualdad de conjuntos
3 ( ∈ ↔ ∈ ∅) E.U. de 2
4 ( ∈ → ∈ ∅) ∧ ( ∈ ∅ → ∈ ) Sustitución de 3: RFP7 definición de bicondicional
5 ∈ → ∈∅ Propiedad de la conjunción (TP15b) en 4.
6 ∀ ( ∉ ∅) Teorema J1
7 ∉∅ E.U. en 6
8 ∉ Modus tollens entre 7 y 5
9 ∉ ∨ ∉ ′ Sustitución de 8: Definición de no pertenencia a intersección de
conjuntos
10 ∈ → ∉ ′ Sustitución de 9: RFP6
11 ∀ ( ∈ → ∈ ) Generalización universal de 10; sustitución de no pertenencia a un
conjunto
12 ⊆ Sustitución de 12: definición de inclusión
13 ∙ ′=∅→ ⊆ Teorema de la deducción entre 1 y 12

1a ∅ ⊆ ′ Teorema J2. El vacío es subconjunto de todo conjunto

2a ⊆ →∅⊆ ′ Ley de implicación (TP7a) con 1

1b ⊆ Supuesto
2b ∀ ( ∈ → ∈ ) Sustitución de 1b: definición de inclusión
3b ∈ → ∈ E.U. de 2b
4b ∈ ∧ ∈ ′ → ∈ ∧ ∈ ′ TP22a en 3b.
5b ∈ ′→ ∈ ′ Sustituciones en antecedente y consecuente de 4b: definición
de pertenencia a la intersección
Taller conceptos básicos de la teoría de conjuntos 01-abr-2017
6b ∈ ′→ ∈∅ Sustitución en consecuente de 3a: J27a
7b ∀ ( ∈ ′ → ∈ ∅) G.U. en 6b
8b ′⊆∅ Sustitución de 7b: definición de inclusión de conjuntos
9b ⊆ → ′⊆∅ Teorema de la deducción entre 1b y 8b
10b ⊆ → ′=∅ Adición conjuntiva TP20 entre 2 y 8a; sustituciones en
condicional resultante: idempotencia TP16 en antecedente,
igualdad de conjuntos en términos de inclusión de cada uno en
el otro en consecuente.

11b ⊆ ↔ ∙ ′=∅ Propiedad de la conjunción entre 12 y 11b

9. Teorema Card_9 max(| |, | |) ≤ | + | ≤ min(| | + | |, | |)

1| |≤| + | Teorema Card_5
2| |≤| + | Teorema Card_5
3 max(| |, | |) ≤ | + | De 1 y 2: “un número que es mayor que otros dos, continúa
siendo mayor que el mayor de esos dos”
4| + |= | |+| |−| | Teorema Card_6
5| |+| |−| |≤| |+| | De 4: “Si a una cantidad se le sustrae otra, el resultado es
menor que la cantidad original”
6| + |≤| |+| | De 4 y 5: “una cantidad que es igual a una segunda, y esa segunda es
menor que una tercera, la primera es también menor que la tercera”.
7 + ⊆ Todo conjunto está incluido en el conjunto referencia
8| + |≤| | Modus ponems entre 7 y Teorema Card_2
9 | + | ≤ min(| | + | |, | |) De 6 y 8: “un número que es menor que otros dos, continúa
siendo menor que el menor de esos dos”
10 max(| |, | |) ≤ | + | ≤ min(| | + | |, | |) De 3 y 9