Lógica Matemática y Conjuntos

Johan Jair Adrada Acevedo

Docente:
Luis Emilio Perilla Triana

Curso:
Matemáticas Básicas

Corporación Universitaria Iberoamericana

Facultad de Educación Virtual
Licenciatura en Matemáticas

30 de marzo de 2023
 FUNDAMENTOS DE LOGICA SIMBOLICA Y TEORIA DE CONJUNTOS

Fundamentos de lógica simbólica

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 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. p ∧ q

▪ El clima es agradable y vamos de día de campo.

b. p ⇔ q

▪ El clima es agradable si y solo si vamos de día de campo

c. q ⇒ p

▪ Si vamos de día de campo, entonces el clima es agradable

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

a. (p ∨ q) ∨ p

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

p q p∨q (p ∨ q) ⇒ p

v v v v

v f v v

f v v f

f f f f

c. p ⇔ (p ∨ q)
p q p∨q p ⇔ (p ∨ q)

v v v v

v f v v

f v v f

f f f v

d. (q ⇒ p) ⇒ (p ⇒ q)

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

f f v v v

e. (p ∧ q) ∨ (∼ r)

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 ⇒ r ) ~(r ⇒ r )

v v v f

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:

a. [(p ∨ q) ∨ r] ∧ s

p q r s p∨q (p ∨ q) ∨ r [(p ∨ q) ∨ r] ∧ s

v f f v v v v

b. r ⇒ (s ∧ p)

p r s s∧p r ⇒ (s ∧ p)

v f v v v

c. (p ∨ r) ⇔ (r ∧ ∼ s)

p r s ~s p∨r r∧∼s (p ∨ r) ⇔ (r ∧ ∼ s)

v f v f v f f
 5. Simplificar las siguientes proposiciones:

a. ∼ (∼ p ⋁ ∼ q)

[~(~p) ⋀ ~(~q)]

p∧q

b. ∼ (p ⋁ q) ⋁ (∼ p ⋀∼ q)

(~p ⋀ ~q) ⋁ (~p ⋀ ~q)

~p ⋀ ~q

Teoría de conjuntos

6. Escribir simbólicamente:

a. R es un subconjunto de T.

▪ 𝑅⊂T

b. M no es un subconjunto de S

▪ 𝑀 ⊄𝑆

c. x es un elemento de Y

▪ X∈Y

d. z no pertenece a A

▪ Z ∉A

e. El conjunto vacío

▪ B= ∅

f. R pertenece a A

▪ 𝑅∈𝐴

7. Escribir por comprensión los siguientes conjuntos:

 A= {1,2,3,4,8,9…}

▪ Definido por comprensión A={x/x es una potencia de 2}

B= {1,3,5,7,9…}

▪ Definido por comprensión B = {x/x ∈ ℕ ∧ x es un número impar}

D={1,4,9,16,25,36}

▪ Definido por comprensión B = {𝑥 2 /x ∈ ℕ ∧ 1 ≤ x < 7}

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

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

Definido por extensión 𝐴 = {3,4,5,6,7,8,9,10}

𝐵 = {x/x ∈ ℕ ∧ 5/ x}

Definido por extensión 𝐵 = {5,10,15,20,25, … }

9. Indicar en cada caso si la proposición es verdadera o falsa.

i. {1,4,3} = {3,4,1}Verdadera

ii. 1 ⊄ {1,2} verdadera

iii. {4} ⊂ {{4}} falso

iv. {3,1,2} ⊂ {1,2,3} Verdadera

v. {4} ∈ {{4}} verdadera

vi. ∅ ⊂ {{4}} verdadera

 10. ¿Cuáles de los conjuntos siguientes son finitos?

a. Los meses del año

b. El conjunto Q de los números racionales

c. {1,2,3, … 99, 100}

d. El conjunto R de los números reales

e. El número de personas que viven en la tierra.

Respuesta: Los conjuntos que son finitos son: a, c, d.

Ejercicios complementarios

Fundamentos de lógica simbólica.

1. 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.

▪ 𝑝∆𝑞
2. Escribir las siguientes afirmaciones en forma simbólica:

a. El sol brilla y la humedad no es alta

• p= el sol brilla

• q= la humedad es alta

• 𝑝 ∧ ~𝑝

b. Si termino mi tarea antes de la cena y no llueve, entonces iré al partido de futbol.

• P= termino mi tarea antes de la cena

• q= llueve

• r= iré al partido de futbol

• (𝑝 ∧∼ 𝑞) ⇒ 𝑟

c. Si no me ves mañana significa que abre 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.

• (𝑝 ∨ ~𝑞) ⇒ 𝑟 ⇔ 𝑠

3. Simplificar los siguientes esquemas proposicionales:

i. ~(~𝑝 ∨ ~𝑞)

[~(~𝑝)] ∧ [~(~𝑞)]

𝑝∧𝑞
 ii. ~(𝑝 ∨ ~𝑞) ∧ ~𝑞

~(𝑞)

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:

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

p q r s 𝒑∧𝒒 (𝒑 ∧ 𝒒) ∧ 𝒓 [(𝒑 ∧ 𝒒) ∧ 𝒓] ∨ 𝒔

v f f v f f v

b. (𝑟 ⇒ 𝑠) ∨ (𝑝 ⇒ 𝑠)

p r s 𝒓⇒𝒔 𝒑⇒𝒔 (𝒓 ⇒ 𝒔) ∨ (𝒑 ⇒ 𝒔)

v f v v v v

c. (𝑠 ∧ 𝑞) ⇒ 𝑝

p q s 𝒔∧𝒒 (𝒔 ∧ 𝒒) ⇒ 𝒑

v f v v f

5. Demuestre por tablas de verdad las siguientes leyes.

i. [(𝑝 ∨ 𝑞) ∧ 𝑞] ⇒ 𝑞
 p q 𝒑∨𝒒 [(𝒑 ∨ 𝒒) ∧ 𝒒] [(𝒑 ∨ 𝒒) ∧ 𝒒] ⇒ 𝒒

v v v v v

v f v f v

f v v v v

f f f f v

ii. ~(𝑝 ∧ 𝑞) ⟺ (~𝑝 ∨ ~𝑞)

p q ~p ~q 𝒑∧𝒒 ~(𝒑 ∧ 𝒒) ~𝒑 ∨ ~𝒒 ~(𝒑 ∧ 𝒒) ⇔ (~𝒑 ∨ ~𝒒)

v v f f v f f v

v f f v f v v v

f v v f f v v v

f f v v f v v v

Teoría de conjuntos

6. Describir por extensión los conjuntos:

Comprensión Extensión

𝐴 = {𝑥/𝑥 ∈ ℕ, 𝑥 ≤ 8} 𝐴 = {1,2,3,4,5,6,7,8}

𝐵 = {𝑥/𝑥2 − 3𝑥 + 1 = 0} 𝐵 = {(3 − √5)/2, (3 + √5)/2}

𝐶 = {𝑥/𝑥 ∈ ℕ, 𝑥 𝑒𝑠 𝑝𝑎𝑟} 𝐶 = {2,4,6,8,10,12, … }

𝐷 = {𝑥/𝑥 ∈ ℕ, 𝑥 ≥ 8 ∨ 𝑥 ≤ 2} 𝐷 = {1,2,8,9,10,11,12, … }

𝐸 = {𝑥/𝑥 ∈ ℤ, |𝑥| ≤ 3} 𝐸 = {−3, −2, −1, 0, 1, 2, 3}

 7. El conjunto universal es: 𝐸 = {1,2,3,4,5,6,7,8,9, 𝑏, 𝑓} y los conjuntos:

𝐴 = {1, 3,4,5} 𝐵 = {2,3,5,6} 𝐶 = {4,5,6,7} 𝐷 = {𝑏, 𝑓}

Hallar:

a. Su diagrama de Venn

E
A B
8 2

1 3
6

7
f
6
C b
D
9

b. 𝐴 − (𝐵 ∪ 𝐶)

• 𝐵 ∪ 𝐶 = {2,3,4,5,6,7}

• 𝐴 − (𝐵 ∪ 𝐶) = {1}

c. (𝐴 ∩ 𝐶) − 𝐶

• 𝐴 ∩ 𝐵 = {3,5}

• (𝐴 ∩ 𝐵) − 𝐶 = {3}

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

• 𝐴 ∩ 𝐶 = {4,5}
 • (𝐴 ∩ 𝐶) ∪ 𝐷 = {4,5, 𝑏, 𝑓}

• [(𝐴 ∩ 𝐶) ∪ 𝐷] ∩ 𝐵={5}

e. (𝐴 ∪ 𝐵)∆(𝐵 ∩ 𝐶)

• 𝐴 ∪ 𝐵 = {1,2,3,4,5,6}

• 𝐵 ∩ 𝐶 = {5}

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

f. ¿Son disjuntos A y D?

• Si son disjuntos porque no tienen ningún elemento en común.

8. Dados los conjuntos M y N no disjuntos, representar en un diagrama de Venn las

siguientes zonas:

∪= {1,2,3,5,6,12,15}

Conjuntos: 𝑀 = {1,2,3,4,6,12} 𝑁 = {1,3,5,15}

a. 𝑀𝐶 ={5,15}

U
M N
4
2 1
15
6
3

12 5

b. 𝑀 ∪ 𝑁 = {1,2,3,5,6,12,15}
U
M N
4
2 1
15
6
3

12 5

c. 𝑀 ∪ 𝑁 𝑐 = {1,2,3,4,6,12}

d. 𝑀𝑐 ∩ 𝑁 𝑐 = {∅}

e. 𝑀 ∩ 𝑁 𝑐 = {2,4,6,12}

9. 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 :

𝐴={2,4,6,8,9} 𝐵 = {1,2,3,4,5} 𝐶 = {1,3,5,7,9} 𝐷 = {𝑎, 𝑖, 𝑢}

a. 𝐴 ∪ 𝐵 = {1,2,3,4,5,6,8,9}

U
A B
9 5

2
6 1

4
8 3
 b. 𝐴 ∩ 𝐵 = {2,4}
U
A B
9 5

2
6 1

4
8 3

c. (𝐴 − 𝐶) ∪ 𝐵

• 𝐴 − 𝐶 = {2,4,6,8}

U
A C
2 5

4 1
6 9
7

8 3

• (𝐴 − 𝐶) ∪ 𝐵={}

U
A-C B
5
6
2
1

4
8
3
 d. (𝐴 − 𝐶) ∩ 𝐵

• 𝐴 − 𝐶 = {2,4,6,8}

U
A C
2 5

4 1
6 9
7

8 3

• (𝐴 − 𝐶) ∩ 𝐵={2,4}

U
A-C B
5
6
2
1

4
8
3

10. De 150 estudiantes de una clase, 26 obtuvieron A en el primer examen y 21

obtuvieron A en el segundo examen. Si 17 estudiantes no obtuvieron A en ninguno de los dos

exámenes, ¿ Cuántos estudiantes obtuvieron A en ambos exámenes?

• Este problema no tiene solución.

 CONCLUSIONES

• Las matemáticas hacen parte de nuestra vida cotidiana, se necesitan en todas partes, en el

supermercado, cuando medimos, cuando saltamos, las matemáticas nos hacen la vida más

fácil y ordenada.

• Enseñar las matemáticas en la escuela y colegio es muy importante porque permite que

los alumnos sean lógicos, les ayuda a razonar, que tengan una mente preparada para la

crítica, el pensamiento y la abstracción. Es por eso que los docentes deben tener buenas

estrategias para enseñar para que los estudiantes tengan saberes significativos.

BIBLIOGRAFIA
 • https://www.youtube.com/watch?v=DbjwP3w5yTE

• https://www.youtube.com/watch?v=GK2cJW7Te9A

• https://www.youtube.com/watch?v=NSGr_Vm4Lx4

• https://www.youtube.com/watch?v=X_byroQouuM

• https://www.google.com/search?q=union+e+interseccion+de+conjuntos&rlz=1C1

CHZN_esCO1010CO1010&sxsrf=APwXEddt-fB-VeH-

GyU0YuSEHevosTM2FA:1680204199269&source=lnms&tbm=isch&sa=X&ved=2ahUKE

wjn9cmzsITAhVpg4QIHbF9D3oQ_AUoAXoECAEQAw&biw=1536&bih=714&dpr=1.25#i

mgrc=ZrZ9UmktNIFHSM&imgdii=Lu0VO5Dzr4IFpM