Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI

Escuela:ECEDUPrograma: Licenciatura en Matemáticas

Curso:Lógica MatemáticaCódigo: 551105

Paso 3: Trabajo Individual Unidad 2

Presentado por
Darío Andrés coral

Presentado a
Pedro Jose Ruiz

Lógica Matemática

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias de la Educación
Pupiales Nariño

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela:ECEDUPrograma: Licenciatura en Matemáticas
Curso:Lógica MatemáticaCódigo: 551105
Ejercicios trabajo individual (valor 80 puntos)

1.Escribe simbólicamente las afirmaciones siguientes:

a) v pertenece al conjunto M
𝑣 ∈𝑀

b) El conjunto T contiene como subconjunto al conjunto H

𝐻 ⊂𝑇
c) Entre los elementos del conjunto G no está el número 2
2∉𝐺
d) El conjunto Z no es un subconjunto del conjunto A
𝑍 ⊄𝐴
e) El conjunto X no contiene al conjunto K
𝑋 ⊈𝐾
f) El conjunto H es un subconjunto propio del conjunto K
𝐻 ⊂𝐾
2. Completa las proposiciones siguientes con los símbolos ∈ o ∉:
a. 2 ∉ {1,3,5,7}
b. 0 ∉ Ø
c. 5 ∈ {2,4,5,6},
d. 3 ∈ {x∈ℕ/2< x<6}
e. América ∉ {x / x es el nombre de un país }
f. 8 ∉ {x∈ℕ/8<x<10}

3. Definir por extensión cada uno de los siguientes conjuntos:

a) A = {x ∈ℤ/ x2=4}
A = {2}

b) B = {x∈ℤ / x−2 =5}

B = {7}

c) T = {x / x es una cifra del número 2324}

T = {2,3,4}

d) C = {x ∈ ℤ / x es positivo y negativo}
C = {}

e) R = {x ∈ℤ/ x2=9}
R = {3}

f) Q = {x / x es una letra de la palabra calcular}

Q= {c,a,l,u,r}

4. De entre los siguientes conjuntos, señala los que son el

conjunto vacío:
Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105

A = {x ∈ℝ/ x2+ x+1=0} Conjunto vacío.

B = {x ∈ℝ/ x<4 ∨ x>6} no es un conjunto vacío
C = {x ∈ℝ/ x2+ x−1=0} no es un conjunto vacío
D = {x ∈ℝ/ x+5=5} no es un conjunto vacío
E = {x ∈ℝ/ x<4 ∧ x>6} no es un conjunto vacío
F = {x ∈ℝ/ x>4 ∧ x no es mayor que 6}

5. ¿Cuáles de los siguientes conjuntos son vacíos, unitarios,

finitos o infinitos?

a A = { x / x es día de la semana} e) E={ x / x < 15}

) ∈ℕ
b B = { vocales de la palabra vals} f) F={ x /5<x<
) ∈ℕ 5
c C = { 1, 3, 5, 7, 9,.........} g) G={ x / x > 15}
) ∈ℕ
d D = { x / x es un habitante de la h) H={ x / 3x = 6}
) luna} ∈ℕ

Conjuntos vacíos Conjuntos Unitarios

D, F B, H
Conjunto Finito Conjuntos Infinitos
A C, E, G

6. Sean los conjuntos

A = {r , s , t , u , v , w } B = {u , v , w , x , y , z }
C ={s , u , y , z } D ={u , v} E ={s , u} F ={s }.

Determina en cada caso, con las informaciones dadas y con

ayuda de un diagrama de Venn, cuál de los conjuntos dados es X:
a) X ⊂A y X ⊂ B
b) X ⊄B y X ⊂C
c) X ⊄A y X ⊄C

a) x es el conjunto D b) x es el conjunto F

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela:ECEDUPrograma: Licenciatura en Matemáticas
Curso:Lógica MatemáticaCódigo: 551105

c) Conjunto vacio

7. Consideremos U ={a , b , c , d , e} como conjunto universal y

los subconjuntos

A={a , b , d }, B ={b , d , e} y C ={a ,b , e }.

Hallar: A∪C , B ∪C , B ∪ B , A∩ B , A∩ A , B ∩C , A− B ,A ' ,C − A , B ∩A

' , A− A ' ,U ' ,A∪ A ' ,A∩ A ' ,∅' ,A ' ∪C ' ,A ' ∩B ' , B−C ' ,B ' − A '
Realizar
los diagramas de ven de cada uno.

𝐴 ∪ 𝐶 = {𝑎, 𝑏, 𝑑, 𝑒} 𝐵 ∪ 𝐶 = {𝑎, 𝑏,
𝑒, 𝑑}

𝐵 ∪ 𝐵 = 𝐵 = {𝑑,
𝑒, 𝑏} 𝐴 ∩ 𝐵 = {𝑑, 𝑏}

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela:ECEDUPrograma: Licenciatura en Matemáticas
Curso:Lógica MatemáticaCódigo: 551105

𝐵 ∩ 𝐶 = {𝑒, 𝑏}
𝐴 ∩ 𝐴 = 𝐴 = {𝑎, 𝑏, 𝑑}

𝐴 − 𝐵 = {𝑎}

𝐴′ = {𝑒, 𝑐}

𝐶 − 𝐴 = {𝑒}

𝐵 ∩ 𝐴′ = {𝑒}

𝐴 − 𝐴′ = 𝐴 = {𝑎, 𝑏, 𝑑} 𝑈′ = {Ø}

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela:ECEDUPrograma: Licenciatura en Matemáticas
Curso:Lógica MatemáticaCódigo: 551105

𝐴 ∪ 𝐴′ = {𝑎, 𝑏, 𝑐, 𝐴 ∩ 𝐴′ = {Ø}
𝑑, 𝑒}

Ø′ = U = {a, b, c, d, 𝐴′ ∪ 𝐶′ = {𝑐, 𝑑,
e} 𝑒}

𝐴′ ∩ 𝐵′ = {𝑎, 𝑐, 𝑒} 𝐵 − 𝐶′ = {𝑏, 𝑒}

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela:ECEDUPrograma: Licenciatura en Matemáticas
Curso:Lógica MatemáticaCódigo: 551105

𝐵′ − 𝐴′ = {𝑎}

8. La empresa Kia ha decidido aumentar su producción de

coches, por lo que saca a concurso 22 plazas de trabajo para
titulados en ingeniería. Los aspirantes han de ser ingenieros
mecánicos, ingenieros en electricidad o ingenieros químicos. Los
ingenieros en mecánica han de ser 11, los ingenieros en electricidad han
de ser 12 y en química han de ser 10. Algunos puestos han de ser
ocupados por ingenieros con doble titulación, en concreto, 5 han de ser
ingenieros mecánicos y en electricidad, 4 han de serlo en mecánica y
química, y 4 en electricidad y química. Algunas de las plazas ofrecidas
deben ser ocupadas por ingenieros con triple titulación. ¿Cuántos
ingenieros han de poseer triple titulación? ¿Cuántos puestos hay para
ingenieros que tengan únicamente la especialidad en electricidad?
¿Cuántas plazas se ofrecen para ingenieros especializados en
electricidad y química pero no en mecánica?

Diagrama de Veen
Respuestas

 2 Ingenieros poseen 3 títulos.

5 puestos para ingenieros
especializados solo en electricidad.
 2 plazas se ofrecen para ingenieros
en electricidad y química pero no en
mecánica.

Total: 22 Plazas
Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105
9. Explique con sus palabras las leyes de Morgan en el álgebra de
Boole y en la lógica clásica

Las leyes de Morgan tienen gran aplicabilidad en probabilidad y en la

matemática además de otras disciplinas como la electrónica. Son dos
leyes:

Primera ley: (𝐴 ∪ 𝐵)′ = 𝐴′ ∩ 𝐵′ Segunda ley: (𝐴 ∩ 𝐵)′ = 𝐴′ ∪ 𝐵′

Puede demostrar mediante tablas de verdad o mediante diagramas de

Venn.

Las leyes de Morgan nos permiten ver en la primera ley, el complemento

de la unión de dos conjuntos como la intercepción de sus
complementos. Y en la segunda ley, expresar el complemento de la
intercepción de dos conjuntos como la unión de sus complementos.

Se utilizan como reglas de transformación.