CORPORACIÓN UNIVERSITARIA IBEROAMERICANA

Facultad De Ciencias Sociales Y Humanidades

Programa educativo
Psicología

Materia
Matemáticas básicas

Actividad 2 - Lógica matemática y conjuntos

Docente
Diego Gaitán

Presentado por
Eva Sandrid Rodelo Palmeth

2023
 TABLA DE CONTENIDO

EJERCICIOS DE FUNDAMENTOS DE LÓGICA SIMBÓLICA PRIMERA PARTE.......................................... 3

EJERCICIOS DE TEORIA DE CONJUNTOS PRIMERA PARTE ................................................................... 6
EJERCICIOS DE FUNDAMENTOS DE LÓGICA SIMBÓLICA SEGUNDA PARTE ...................................... 10
EJERCICIOS DE TEORIA DE CONJUNTOS SEGUNDA PARTE ................................................................ 14

2
 EJERCICIOS DE FUNDAMENTOS DE LÓGICA SIMBÓLICA PRIMERA PARTE

1. Para describir los diversos restaurantes de la ciudad, denotemos con p “la comida es buena”;
con q “el servicio es bueno” y con r “es de tres estrellas”. Escribir simbólicamente las
siguientes proposiciones:

a) La comida es buena o el servicio es bueno, o ambas cosas

𝑝𝑉𝑞

b) La comida es buena o el servicio es bueno, pero no ambas cosas.

𝑝 △ 𝑞, 𝑑𝑜𝑛𝑑𝑒
△ 𝑟𝑒𝑝𝑟𝑒𝑠𝑒𝑛𝑡𝑎 𝑙𝑎 𝑑𝑖𝑠𝑦𝑢𝑛𝑐𝑖ó𝑛 𝑒𝑥𝑐𝑙𝑢𝑠𝑖𝑣𝑎, 𝑒𝑠 𝑑𝑒𝑐𝑖𝑟, 𝑢𝑛𝑜 𝑜 𝑒𝑙 𝑜𝑡𝑟𝑜, 𝑝𝑒𝑟𝑜 𝑛𝑜 𝑎𝑚𝑏𝑜𝑠.

c) La comida es buena y el servicio no.

𝑝 ∧∼ 𝑞
d) No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas
∼ (𝑝 ∧ 𝑟)
e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de tres estrellas
(𝑝 ∧ 𝑞) ⟹ 𝑟
f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen servicio.
∼ (𝑟 ⟹ (𝑝 ∧ 𝑞))

2. Denotemos con p “el clima es agradable” y con q “vamos de día de campo”. Traducir las
siguientes proposiciones al lenguaje coloquial y, si es posible, simplificar:

a) 𝑝 ∧ 𝑞 = "El clima es agradable y vamos de día de campo."

b) 𝑝 ⇔ 𝑞 = "Vamos de día de campo si y solo si el clima es agradable."
c) 𝑞 ⇒ 𝑝 = "Si vamos de día de campo, entonces el clima es agradable.”

3. Construir las tablas de verdad de los siguientes esquemas proposicionales:

3
(p ∨ q) ∨ p b) (p ∨ q) ⇒ p c) p ⇔ (p ∨ q) d) (q ⇒ p) ⇒ (p ⇒ q) e) (p ∧ q) ∨ (∼ r) f) ∼ (r ⇒ r)

a) ((𝒑 ∨ 𝒒) ∨ 𝒑)

P Q (p ∨ q) ((p ∨ q) ∨ p)
V V V V
V F V V
F V V V
F F F F

b) (𝒑 ∨ 𝒒) ⇒ 𝒑

P q (p ∨ q) ((p ∨ q) ⇒ p)
V V V V
V F V V
F V V F
F F F V

c) 𝐩 ⇔ (𝐩 ∨ 𝐪)

P q (p ∨ q) (p ⇔ (p ∨ q))
V V V V
V F V V
F V V F
F F F F

d) (𝐪 ⇒ 𝐩) ⇒ (𝐩 ⇒ 𝐪)

P q (q ⇒ p) (p ⇒ q) ((q ⇒ p) ⇒ (p ⇒ q))
V V V V V
V F V F F
F V F V V

4
 F F V V V

e) (𝐩 ∧ 𝐪) ∨ (∼ 𝐫)

P q R (p ∧ q) ∼r (p ∧ q) ∨ ∼r
V V V V F V
V V F V V V
V F V F F F
V F F F V V
F V V F F F
F V F F V V
F F V F F F
F F F F V V

f) ∼ (𝐫 ⇒ 𝐫)

R (r ⇒ r) ∼ (r ⇒ r)
V V F
F V F

4. Los valores de verdad de las proposiciones p; q ; r y s son respectivamente V ; F ; F y V.

Obtener los valores de verdad de :

i. [(𝑝 ∨ 𝑞) ∨ 𝑟] ∧ 𝑠

(𝑝 𝑉 𝑞) 𝑒𝑠 (𝑉 ∨ 𝐹), 𝑞𝑢𝑒 𝑒𝑠 𝑉 𝑝𝑜𝑟𝑞𝑢𝑒 𝑏𝑎𝑠𝑡𝑎 𝑐𝑜𝑛 𝑞𝑢𝑒 𝑢𝑛𝑎 𝑑𝑒 𝑙𝑎𝑠 𝑑𝑜𝑠 𝑠𝑒𝑎 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎
(𝑝 ∨ 𝑞) ∨ 𝑟 𝑒𝑠 (𝑉 ∨ 𝐹), 𝑒𝑠 𝑉 𝑝𝑜𝑟 𝑙𝑜 𝑚𝑖𝑠𝑚𝑜 𝑚𝑒𝑛𝑐𝑖𝑜𝑛𝑎𝑑𝑜 𝑎𝑛𝑡𝑒𝑟𝑖𝑜𝑟𝑚𝑒𝑛𝑡𝑒
[(𝑝 ∨ 𝑞) ∨ 𝑟] ∧ 𝑠, 𝑒𝑠 𝑉 ∧ 𝑉, 𝑞𝑢𝑒 𝑒𝑠 𝑉 𝑦𝑎 𝑞𝑢𝑒 𝑎𝑚𝑏𝑎𝑠 𝑠𝑜𝑛 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎𝑠.

ii. 𝑟 ⇒ (𝑠 ∧ 𝑝)

5
 𝑠 ∧ 𝑝, 𝑒𝑠 𝑉 ∧ 𝑉, 𝑞𝑢𝑒 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜
𝑟 ⇒ (𝑠 ∧ 𝑝), 𝑒𝑠 𝐹 ∧ 𝑉, 𝑞𝑢𝑒 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜

iii. (𝑝 ∨ 𝑟) ⇔ (𝑟 ∧ ∼ 𝑠)
∼ 𝑠, 𝑒𝑠 𝐹 𝑝𝑜𝑟𝑞𝑢𝑒 𝑙𝑎 𝑛𝑒𝑔𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝑢𝑛 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜 𝑒𝑠 𝑓𝑎𝑙𝑠𝑜.
𝑟 ∧ ∼ 𝑠, 𝑒𝑠 𝐹 ∧ 𝐹, 𝑞𝑢𝑒 𝑒𝑠 𝐹
𝑝 ∨ 𝑟, 𝑒𝑠 𝑉 ∨ 𝐹, 𝑞𝑢𝑒 𝑒𝑠 𝑉
(𝑝 ∨ 𝑟) ⇔ (𝑟 ∧ ∼ 𝑠), 𝑒𝑠 𝑉 ⟺ 𝐹, 𝑞𝑢𝑒 𝑒𝑠 𝐹 𝑝𝑜𝑟𝑞𝑢𝑒 𝑠𝑜𝑛 𝑑𝑖𝑠𝑡𝑖𝑛𝑡𝑜𝑠

5. Simplificar las siguientes proposiciones:

a) ∼ (∼ p ∨ ∼ q)
Aplicando la Ley de Morgan: ∼ (𝐴 ∨ 𝐵) ≡∼ 𝐴 ∧∼ 𝐵
Aplicando la anterior Ley, la expresión se convierte en: ∼∼ 𝑝 ∧∼∼ 𝑞
Entonces simplificando nos da como resultado: 𝑝 ∧ 𝑞

b) ∼ (p ∨ q) ∨ (∼ p ∧ ∼ q)
Aplicando la misma ley, la expresión se convierte en: (∼ 𝑝 ∧∼ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞)
Simplificando nos queda: ∼ 𝑝 ∧∼ 𝑞

EJERCICIOS DE TEORIA DE CONJUNTOS PRIMERA PARTE

6. Escribir simbólicamente:

a) R es un subconjunto de T
𝑅⊆𝑇

b) x es un elemento de Y

6
 𝑥∈𝑌

c) El conjunto vacío
∅

d) M no es un subconjunto de S
𝑀⊈𝑆

e) z no pertenece a A
𝑧∉𝐴

f) R pertenece a A
𝑅∈𝐴

7. Escribir por extensión los conjuntos:

a) 𝐴 = {𝑥 ∶ (𝑥 2 ) − 𝑥 − 2 = 0}

Factorizando (𝑥 2 ) − 𝑥 − 2 = 0 nos da como resultado: (𝑥 − 2)(𝑥 + 1) = 0

Esto significa que 𝑥 = 2 𝑜 𝑥 = −1. Por lo tanto, el conjunto A será:

𝐴 = {2, −1}

b) 𝐵 = {𝑥 𝑒𝑠 𝑑𝑖𝑔𝑖𝑡𝑜 𝑑𝑒𝑙 𝑛𝑢𝑚𝑒𝑟𝑜 2324}

Los dígitos sin repetir de 2324 son: 2, 3 y 4. Por lo tanto, el conjunto B será:

𝐵 = {2,3,4}

c) 𝐶 = {𝑥 ∶ 𝑥 2 = 9 ∧ 𝑥 − 3 = 5}

7
 La ecuación 𝑥 2 = 9 nos da 𝑥 = 3 𝑜 𝑥 = −3. Pero además, la condición 𝑥 − 3 = 5 nos
lleva a 𝑥 = 8. Por lo tanto, el conjunto 𝐶 será:
𝐶 = {3, −3,8}

d) 𝐷 = {𝑥: 𝑥 𝑒𝑠 𝑣𝑜𝑐𝑎𝑙}

Las vocales son: {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}. Por lo tanto, el conjunto 𝐷 será:

𝐷 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}

8. Escribir por comprensión los siguientes conjuntos:

a) 𝐴 = { 1, 2, 4, 8, 16, … }
𝐴 = {𝑥: 𝑥 = 2𝑛 , 𝑛 ∈ ℕ} → 𝐸𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑝𝑜𝑡𝑒𝑛𝑐𝑖𝑎𝑠 𝑑𝑒 2)

b) 𝐵 = { 1, 3, 5, 7, 9, … . }
𝐵 = {𝑥: 𝑥 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟, 𝑥 ∈ ℕ} → 𝐸𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠 𝑖𝑚𝑝𝑎𝑟𝑒𝑠

c) 𝐷 = {1, 4, 9, 16, 25, 36}

𝐷 = {𝑥: 𝑥 = 𝑛2 , 𝑛 ∈ ℕ} → 𝐸𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜𝑠 𝑝𝑒𝑟𝑓𝑒𝑐𝑡𝑜𝑠

9. Escribir por extensión los siguientes conjuntos definidos por comprensión:

A = { x / x ∈ N ∧ 3 ≤ x ≤ 10 }

a) A = {x / x ∈ N ∧ 3 ≤ x ≤ 10}
Son todos los números naturales(N) que son mayores o iguales a 3 y menores o iguales a
10. Extendiendo da como resultado:

𝐴 = {3,4,5,6,7,8,9,10}

b) B= {x / x ∈ N ∧ 5 / x}

8
 B representa todos los números naturales(N) que son divisibles por 5. Extendiendo este
conjunto por extensión tenemos:

𝐵 = {5,10,15,20,25,30,35, … }

10. Sean A = { 1, 2, . . . . ., 8, 9 } ; B = { 2, 4, 6, 8 } ; C = {1, 3, 5, 7, 9 }; D = { 3, 4, 5 }; E

= { 3, 5 } ¿Cuáles de estos conjuntos son iguales a X ?, si se da la siguiente información:
i) X y B son disyuntos
ii) X ⊂ D pero X ⊄ B
iii) X ⊂ A pero A ⊄ C
iv) c

R/
i. 𝑋 𝑦 𝐵 𝑠𝑜𝑛 𝑑𝑖𝑠𝑦𝑢𝑛𝑡𝑜𝑠. Esto significa que X no comparte ningún elemento con B. Los
conjuntos que no tienen elementos en común son C y E, ya que ninguno de los elementos
de estos conjuntos está en B.
ii. 𝑋 ⊂ 𝐷 𝑝𝑒𝑟𝑜 𝑋 ⊄ 𝐵. Esto implica que X es un subconjunto de D, pero no es subconjunto
de B. El único conjunto que cumple esta condición es E.
iii. 𝑋 ⊂ 𝐴 𝑝𝑒𝑟𝑜 𝐴 ⊄ 𝐶. Esto indica que X es un subconjunto de A, pero A no es un
subconjunto de C. Los subconjuntos que satisfacen esto son D y E, ya que todos los
elementos de estos están en A.
iv. 𝑋 ⊂ 𝐶 𝑝𝑒𝑟𝑜 𝑋 ⊄ 𝐴. Esto implica que X es un subconjunto de C, pero X no es un
subconjunto de A. El conjunto que cumple con esta condición es E.

Entonces, de acuerdo con las condiciones dadas:

𝑋 𝑒𝑠 𝑖𝑔𝑢𝑎𝑙 𝑎 𝐸

9
EJERCICIOS DE FUNDAMENTOS DE LÓGICA SIMBÓLICA SEGUNDA PARTE

11. Denotemos con p “el material es interesante”; con q “los ejercicios son difíciles” y con r
“el curso es agradable”. Escribir las siguientes afirmaciones en forma simbólica:

a) El material es interesante y los ejercicios son difíciles

𝑝∧𝑞

b) El material no es interesante, los ejercicios no son difíciles y el curso no es agradable.

∼ 𝑝 ∧∼ 𝑞 ∧∼ 𝑟

c) Si el material no es interesante y los ejercicios no son difíciles entonces el curso no es

agradable.

(∼ 𝑝 ∧∼ 𝑞) ⇒∼ 𝑟

d) Que el material sea interesante significa que los ejercicios son difíciles y viceversa
𝑝⟺𝑞

e) O el material es interesante o los ejercicios no son difíciles, pero no ambas cosas

(𝑝 ∨∼ 𝑞) ∧∼ (𝑝 ∧∼ 𝑞)

12. Escribir las siguientes afirmaciones en forma simbólica:

𝑠: 𝑒𝑙 𝑠𝑜𝑙 𝑏𝑟𝑖𝑙𝑙𝑎
ℎ: 𝑙𝑎 ℎ𝑢𝑚𝑒𝑑𝑎𝑑 𝑒𝑠 𝑎𝑙𝑡𝑎
𝑡: 𝑡𝑒𝑟𝑚𝑖𝑛𝑜 𝑚𝑖 𝑡𝑎𝑟𝑒𝑎 𝑎𝑛𝑡𝑒𝑠 𝑑𝑒 𝑙𝑎 𝑐𝑒𝑛𝑎
𝑙: 𝑙𝑙𝑢𝑒𝑣𝑒
𝑝: 𝑣𝑜𝑦 𝑎𝑙 𝑝𝑎𝑟𝑡𝑖𝑑𝑜 𝑑𝑒 𝑓ú𝑡𝑏𝑜𝑙

10
 𝑣: 𝑚𝑒 𝑣𝑒𝑠 𝑚𝑎ñ𝑎𝑛𝑎
𝑏: 𝑓𝑢𝑖 𝑎 𝑙𝑎 𝑝𝑙𝑎𝑦𝑎
𝑢: 𝑒𝑙 𝑐𝑜𝑠𝑡𝑜 𝑑𝑒 𝑙𝑎𝑠 𝑢𝑡𝑖𝑙𝑖𝑑𝑎𝑑𝑒𝑠 𝑐𝑟𝑒𝑐𝑒
𝑛: 𝑠𝑒 𝑛𝑖𝑒𝑔𝑎 𝑙𝑎 𝑟𝑒𝑞𝑢𝑖𝑠𝑖𝑐𝑖ó𝑛 𝑑𝑒 𝑓𝑜𝑛𝑑𝑜𝑠 𝑎𝑑𝑖𝑐𝑖𝑜𝑛𝑎𝑙𝑒𝑠
𝑐: 𝑐𝑜𝑚𝑝𝑟𝑎𝑟𝑒𝑚𝑜𝑠 𝑢𝑛𝑎 𝑛𝑢𝑒𝑣𝑎 𝑐𝑜𝑚𝑝𝑢𝑡𝑎𝑑𝑜𝑟𝑎
𝑟: 𝑟𝑒𝑐𝑢𝑟𝑠𝑜𝑠 𝑑𝑒 𝑐ó𝑚𝑝𝑢𝑡𝑜 𝑠𝑜𝑛 𝑖𝑛𝑠𝑢𝑓𝑖𝑐𝑖𝑒𝑛𝑡𝑒𝑠

a) El sol brilla y la humedad no es alta

𝑠 ∧∼ ℎ

b) Si termino mi tarea antes de la cena y no llueve, entonces iré al partido de fútbol

(𝑡 ∧∼ 𝑙) ⇒ 𝑝

c) Si no me ves mañana significa que habré ido a la playa

∼𝑣⇒𝑏

d) Si el costo de las utilidades crece o se niega la requisición de fondos los adicionales,

entonces compraremos una nueva computadora si y solo si podemos mostrar que los
recursos de cómputo son, en efecto, insuficientes.

(𝑢 ∨ 𝑛) ⇒ (𝑐 ⇔ 𝑟)

13. Determinar en cada caso si la información que se da es suficiente para conocer el valor
de verdad de las siguientes proposiciones compuestas. En caso afirmativo, justificarlo.

i) (𝑝 ∧ 𝑞) ⇒ (𝑝 ∨ 𝑟); 𝑝 𝑒𝑠 𝑉 𝑦 𝑟 𝑒𝑠 𝐹

11
 La información no es suficiente para determinar el valor de verdad ya que no se
proporciona el valor de q.

ii) 𝑝 ∧ (𝑞 ⇒ 𝑟) ; (𝑝 ⇒ 𝑟) 𝑒𝑠 𝑉

𝑆𝑖 𝑝 ⇒ 𝑟 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑝 𝑑𝑒𝑏𝑒 𝑠𝑒𝑟 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜 𝑝𝑎𝑟𝑎 𝑞𝑢𝑒 𝑞

⇒ 𝑟 𝑠𝑒𝑎 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜

En este caso la información es suficiente para afirmar que p es verdadero.

14. Simplificar los siguientes esquemas proposicionales:

i) ∼ (∼ 𝑝 ∨ ∼ 𝑞)

Aplicando la ley de Morgan (∼ (𝐴 ∨ 𝐵) =∼ 𝐴 ∧∼ 𝐵) podemos distribuir la negación

dentro del paréntesis:

∼ (∼ 𝑝 ∨ ∼ 𝑞) =∼∼ 𝑝 ∧∼∼ 𝑞, luego usamos la ley de la doble negación (∼∼ 𝐴 = 𝐴)

Nos queda que:

∼∼ 𝑝 ∧∼∼ 𝑞 = 𝑝 ∧ 𝑞

La forma simplificada de seria: 𝑝 ∧ 𝑞

ii) ∼ (𝑝 ∨ ∼ 𝑞) ∧ ∼ 𝑞

Aplicando nuevamente la Ley de Morgan para ∼ (𝑝 ∨ ∼ 𝑞):

∼ (𝑝 ∨ ∼ 𝑞) =∼ 𝑝 ∧ 𝑞, Sustituyendo:

12
 (∼ 𝑝 ∧ 𝑞) ∧ ∼ 𝑞, en este esquema no se puede simplificar mas ya que se tiene una
contradicción en 𝑞 ∧ ∼ 𝑞 donde hay un elemento y su negación lo que resulta en un
enunciado falso ( ⊥)

15. Demuestre por tablas de verdad las siguientes leyes:

i) [(𝑝 ∨ 𝑞) ∧ 𝑞] ⇒ 𝑞

p q (p ∨ q) ((p ∨ q) ∧ q) [(p ∨ q) ∧ q] ⇒ q
V V V V V
V F V F V
F V V V V
F F F F V

La columna final siempre muestra verdadero, lo que confirma que la preposición es una
ley lógica.

ii) ∼ (𝑝 ∧ 𝑞) ⇔ ∼ 𝑝 ∨ ∼ 𝑞

p q p∧q ∼(p ∧ q) ∼p ∨ ∼q ∼ (p ∧ q) ⇔ ∼p ∨ ∼q
V V V F F V
V F F V V V
F V F V V V
F F F V V V

La columna final siempre muestra verdadero, lo que confirma también que la preposición
es una ley lógica.

iii) ∼ (𝑝 ∨ 𝑞) ⇔ ∼ 𝑝 ∧ ∼ 𝑞

13
 p q p∨q ∼ (p ∨ q) ∼p ∧ ∼q ∼ (p ∨ q) ⇔ ∼p ∧ ∼q
V V V F F V
V F V F F V
F V V F F V
F F F V V V

Nuevamente al coincidir la columna final como verdadera se confirma que la preposición

es una ley lógica.

EJERCICIOS DE TEORIA DE CONJUNTOS SEGUNDA PARTE

16. Describir por extensión los conjuntos:

a) 𝐴 = {𝑥 | 𝑥 ∈ 𝑁, 𝑥 ≤ 8}

Se lee como: el conjunto es igual a todos los números naturales (ℕ) que son menores o
iguales a 8. Por lo tanto, por extensión esto sería:

𝐴 = {1, 2, 3, 4, 5, 6, 7, 8}

b) 𝐵 = {𝑥| 𝑥 2 − 3 𝑥 + 1 = 0}

Este conjunto B son los valores de x que cumplen la ecuación cuadrática 𝑥 2 − 3𝑥 + 1 =

0. Haciendo uso de la formula general se encuentran dos posibles soluciones para esta
ecuación:

√5 + 3
𝑥1 =
2
−√5 + 3
𝑥2 =
2
14
 Por lo tanto, por extensión el conjunto B seria:

√5 + 3 −√5 + 3
𝐵={ , }
2 2

c) 𝐶 = {𝑥 | 𝑥 ∈ 𝑁, 𝑥 𝑒𝑠 𝑝𝑎𝑟}

El conjunto C incluye a todos los números naturales(ℕ) que son pares, por extensión se
tiene:

𝐶 = {2,4,6,8, … }

d) 𝐷 = {𝑥 / 𝑥 ∈ 𝑁, 𝑥 ≥ 8 ∨ 𝑥 ≤ 2}

Este conjunto consiste en todos los números naturales(ℕ) que son mayores o iguales a 8
o menores o iguales a 2. Por lo tanto, por extensión, el conjunto D es:

𝐷 = {1, 2, 8, 9, 10, … }

e) 𝐸 = 𝑥 / 𝑥 ∈ 𝑍, | 𝑥 | ≤ 3}

El conjunto E contiene todos los números enteros(ℤ) cuyo valor absoluto es menor o
igual a 3. Su extensión es:

𝐸 = {−3, −2, −1, 0, 1, 2, 3}

17. Dados los conjuntos: A = {1, 3} B = {a, b, c} C = {b} D = {1, 3, b, f} Hallar:

a) Su diagrama de Venn

15
b) 𝐴 ∪ 𝐵 ∪ 𝐶 ∪ 𝐷

Es la unión de todos estos conjuntos. Realizando la unión tenemos:

𝐴 ∪ 𝐵 ∪ 𝐶 ∪ 𝐷 = {1, 3, 𝑎, 𝑏, 𝑐, 𝑓}

c) 𝐴 ∩ 𝐵 ∩ 𝐶

Se realiza la intersección como C solo tiene el elemento común con B y A no tiene

elementos en común con B ni C, entonces:

𝐴 ∩ 𝐵 ∩ 𝐶 = ∅ (conjunto Vacío)

d) (𝐴 ∩ 𝐵) ∪ 𝐷

Primero calculamos 𝐴 ∩ 𝐵:
𝐴 ∩ 𝐵 = {∅}, ahora realizamos la unión con el conjunto D:

(𝐴 ∩ 𝐵) ∪ 𝐷 = {1,3, 𝑏, 𝑓}

16
e) ¿ 𝐸𝑠𝑡á 𝐴 ⊂ 𝐵 𝑜 𝐶 ⊂ (𝐴 ∩ 𝐷)?

A no es subconjunto de B

Solo se cumple la segunda condición donde 𝐶 ⊂ (𝐴 ∩ 𝐷) ya que 𝐶 = {𝑏} y este está

presente en D.

18. Dados tres conjuntos A, B, C cualesquiera y un conjunto D disjunto con los anteriores,
dibujar su diagrama de Venn y rayar las siguientes zonas:
a) 𝐴 ∪ 𝐵

b) 𝐴 ∩ 𝐵

c) (𝐴 − 𝐶) ∪ 𝐵

17
d) (𝐴 − 𝐶) ∩ 𝐵

e) (𝐴 ∩ 𝐵 ∩ 𝐶) ∪ 𝐷

19. Señalar si son verdaderas o falsas las siguientes afirmaciones:

a) 𝐴 ⊂ 𝐵 ⇒ 𝐴 ⊂ (𝐴 ∩ 𝐵): Verdadera

18
 Como A es un subconjunto de B quiere decir que todos los elementos de A están presentes
en B, por lo tanto, la intersección seria el conjunto A siendo así una afirmación verdadera.

b) 𝐵 ⊂ 𝐴 ⇒ (𝐴 ∪ 𝐵) ⊄ 𝐴 : Falsa

Si B es un subconjunto de A quiere decir que todos los elementos de B están presentes

en el conjunto A, en cuanto a la unión de A y B son todos los elementos de los conjuntos
siendo falsa la afirmación de (𝐴 ∪ 𝐵) ⊄ 𝐴

c) 𝐴 = 𝐵 ⇒ 𝐴 ∪ 𝐵 = 𝐴: Verdadera

Si el conjunto A es igual al conjunto B, esto quiere decir que los elementos presentes en
ambos son los mismo siendo así la afirmación verdadera porque la unión de ambos
conjuntos serían los mismos elementos tanto para A como para el conjunto B.

20. El conjunto universal es E = {1, 2, 3, 4, 5, 6, 7, 8, 9, b, f} y los conjuntos A = {1, 3, 4, 5}

B = {2, 3, 5, 6} C = {4, 5, 6, 7} D = {b, f}. Hallar:
a) Su diagrama de Venn

19
b) 𝐴 − (𝐵 ∪ 𝐶)

Este conjunto corresponde a los elementos en A que no están en la unión de B con el

conjunto C:

Por lo tanto 𝐴 − (𝐵 ∪ 𝐶) = {1, 3}

c) (𝐴 ∩ 𝐵) − 𝐶

Este conjunto corresponde a la intersección de A y B que no están en el conjunto C:

(𝐴 ∩ 𝐵) − 𝐶 = {3, 5} − {4, 5, 6, 7} = {3}

d) [(𝐴 ∩ 𝐶) ∪ 𝐷] ∩ 𝐵

𝐴 ∩ 𝐶 = {4, 5}
(𝐴 ∩ 𝐶) ∪ 𝐷 = {4, 5, 𝑏, 𝑓}
[(𝐴 ∩ 𝐶) ∪ 𝐷] ∩ 𝐵 = {5}

e) (𝐴 ∪ 𝐵) 𝛥 (𝐵 ∩ 𝐶)

(𝐴 ∪ 𝐵)𝛥 (𝐵 ∩ 𝐶) = {1, 2, 3, 4, 5,6} 𝛥 {5}

(𝐴 ∪ 𝐵)𝛥 (𝐵 ∩ 𝐶) = {1, 2, 3, 4, 6}

f) ¿ 𝑆𝑜𝑛 𝑑𝑖𝑠𝑦𝑢𝑛𝑡𝑜𝑠 𝐴 𝑦 𝐷?

𝐴 ∩ 𝐷 = {1,3,4,5} ∩ {𝑏, 𝑓}
𝐴 ∩ 𝐷 = {∅}
Como la intersección de los conjuntos A y D es vacía entonces son disyuntos.

20
 CONCLUSIÓN

En conclusión, la teoría de conjuntos y la lógica simbólica son dos pilares

fundamentales en matemáticas y ciencias computacionales. La teoría de conjuntos
proporciona un marco para entender la agrupación y relación entre elementos, mientras que
la lógica simbólica nos permite analizar y razonar de manera precisa y rigurosa utilizando
símbolos y reglas formales. Ambas disciplinas son esenciales en el desarrollo de la lógica
matemática, la fundamentación de sistemas computacionales y la resolución de problemas
en diversos campos, desde las matemáticas puras hasta la inteligencia artificial. Su aplicación
abarca desde la resolución de paradojas hasta la formalización de argumentos y la creación
de algoritmos. El dominio de estos fundamentos es clave para el desarrollo y comprensión
de disciplinas avanzadas en ciencias exactas y tecnológicas.

21
 BIBLIOGRAFÍA

1. Básicas, 1. 1. Definiciones. Tema 1. Proposiciones y operadores Lógicos. [Link].

Recuperado el 28 de noviembre de 2023, de
[Link]
2. Curo, A. (2014). Matemática básica para administradores - Segunda
edición (Universidad Peruana de Ciencias Aplicadas - UPC, Ed.). Editorial UPC.
3. Curo, A., & Martínez, M. (2016). Matemática básica para
administradores (Universidad Peruana de Ciencias Aplicadas - UPC, Ed.). Editorial
UPC.
4. mx/virtual, H. U. E. ISC. Claudia García Pérez. [Link]. Recuperado el 28 de
noviembre de 2023, de
[Link]
[Link]?sequence=1&isAllowed=y

22