1

Matemática básica
Corporación Universitaria Iberoamericana
Administración de empresas, 2do semestre
Unidad de aprendizaje I

Actividad #2 Lógica matemática y conjuntos

Docente: Paola Ocampo

Estudiante: Eriselh Alejandra Rebolledo
ID: 100138640

Bogotá, septiembre 2023.

 2

Respuestas de ejercicios de lógica

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

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

pVq

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

(p V q)  ¬ (p  q)

c) La comida es buena y el servicio no:

p  ¬q

d) No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas:

¬(p  r)
e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de tres estrellas:

(p  q) → r

f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen servicio:

¬(r→(p q))

2. Ejercicio 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
b) b) p ⇔ q
c) c) q ⇒ p
 3

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) 𝑞 ⇒ p: "Vamos de día de campo solo si el clima es agradable"
Simplificación:
En el caso de A no se puede simplificar más, ya que es simplemente una conjunción de dos
eventos. En el caso de B, no se puede simplificar aún más, ya que expresa una equivalencia.
En el caso de C, tampoco se puede simplificar más, ya que indica una implicación directa entre
las dos proposiciones.

3. Ejercicio 7. Simplificar las siguientes proposiciones:

a) ∼ (∼ p ∨ ∼ q)
b) b) ∼ (p ∨ q) ∨ (∼ p ∧ ∼ q)

a) ∼ (∼p ∨ ∼q):
Se usa la Ley de la Doble Negación, que establece que ¬¬p es equivalente a p:
∼ (∼p ∨ ∼q) = p ∨ ∼q
Entonces, la proposición simplificada es p ∨ ∼q.

b) ∼ (p ∨ q) ∨ (∼p ∧ ∼q):
Se usa la Ley de Morgan, que establece que ¬(A ∨ B) es equivalente a ¬A ∧ ¬B:
∼ (p ∨ q) ∨ (∼p ∧ ∼q) = (∼p ∧ ∼q) ∨ (∼p ∧ ∼q)
Ahora, podemos simplificar usando la Ley de la Identidad, que establece que A ∨ A es equivalente
a A: (∼p ∧ ∼q) ∨ (∼p ∧ ∼q) = ∼p ∧ ∼q
Entonces, la proposición simplificada es ∼p ∧ ∼q

4. Ejercicio 8. Determinar si las siguientes proposiciones son leyes lógicas:

i) p ∧ q ⇒ r
ii) [ (p ⇒ q) ∧ (q ⇒ r) ] ⇒ (p ⇒ r)
iii) p ∧ [ p ⇔ q ]
 4

• i) p ∧ q ⇒ r
Se crea tabla de verdad
p q r p∧q p∧q⇒r
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V
La proposición p ∧ q ⇒ r es verdadera en todas las filas de la tabla de verdad, lo que significa que
es una tautología (ley lógica)

• ii) [ (p ⇒ q) ∧ (q ⇒ r) ] ⇒ (p ⇒ r)
Se crea una tabla de verdad:

p q r p ⇒ q q ⇒ r (p ⇒ q) ∧ (q ⇒ r) p ⇒ r [ (p ⇒ q) ∧ (q ⇒ r) ] ⇒ (p ⇒ r)
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
La proposición [ (p ⇒ q) ∧ (q ⇒ r) ] ⇒ (p ⇒ r) es verdadera en todas las filas de la tabla de verdad,
lo que significa que también es una ley lógica
 5

• p∧[p⇔q]
También se crea tabla de verdad
p q p ⇔ q p ∧ (p ⇔ q)
V V V V
V F F F
F V F F
F F V F
la proposición p ∧ (p ⇔ q) es verdadera en los casos donde p y q son ambos verdaderos o ambos
falsos, lo que significa que también es una ley lógica.
Las 3 proposiciones i, ii y iii son leyes lógicas, ya que son tautologías, es decir, son siempre
verdaderas en la lógica proposicional.

5. Ejercicio 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) [(p ∨ q) ∨ r] ∧ s ii) r ⇒ (s ∧ p) iii) (p ∨ r) ⇔ (r ∧ ∼ s)

• [(p ∨ q) ∨ r] ∧ s:
Dado que p = V, q = F, r = F y s = V, se calcula:
(p ∨ q) = (V ∨ F) = V
[(p ∨ q) ∨ r] = (V ∨ F) = V
[(p ∨ q) ∨ r] ∧ s = V ∧ V = V
E valor de verdad de [(p ∨ q) ∨ r] ∧ s es Verdadero (V)
• ii) r ⇒ (s ∧ p):

Dado que r = F, s = V y p = V, se calcula:

(s ∧ p) = (V ∧ V) = V
r ⇒ (s ∧ p) = F ⇒ V = V
El valor de verdad de r ⇒ (s ∧ p) es Verdadero (V).

• iii) (p ∨ r) ⇔ (r ∧ ∼s):
 6

Dado que p = V, r = F y s = V, se calcula:

(p ∨ r) = (V ∨ F) = V
(∼s) = ¬V = F
(r ∧ ∼s) = (F ∧ F) = F
(p ∨ r) ⇔ (r ∧ ∼s) = (V ⇔ F) = F
El valor de verdad de (p ∨ r) ⇔ (r ∧ ∼s) es Falso (F).

Respuestas:
i) El valor de verdad de [(p ∨ q) ∨ r] ∧ s es Verdadero (V)
ii) El valor de verdad de r ⇒ (s ∧ p) es Verdadero (V)
iii) El valor de verdad de (p ∨ r) ⇔ (r ∧ ∼s) es Falso (F

Respuesta de ejercicios de conjuntos

1. Ejercicio 10. Escribir simbólicamente:
a) R es un subconjunto de T d) M no es un subconjunto de S b) x es un elemento de Y e) z no
pertenece a A c) El conjunto vacío f) R pertenece a A

a) R es un subconjunto de T:
RT

b) M no es un subconjunto de S:
¬ (M  S)

c) x es un elemento de Y:
xY

d) M no es un subconjunto de S:
¬(M  S)

e) z no pertenece a A:
zA
 7

f) R pertenece a A:
RA

2. Ejercicio 12. Escribir por comprensión los siguientes conjuntos: A = { 1, 2, 4, 8, 16,...} B = {

1, 3, 5, 7, 9, .... }D = {1, 4, 9, 16, 25, 36}

A = {x | x = 2^n, n es un número natural no negativo}

Este conjunto contiene todos los números que son potencias de 2.

B = {x | x es un número natural impar}

Este conjunto contiene todos los números naturales que son impares.

D = {x | x = n^2, n es un número natural}

Este conjunto contiene todos los números que son cuadrados exactos de números naturales.

3. Ejercicio 17. ¿Cuáles de los conjuntos siguientes son finitos?

i) Los meses del año iv) El conjunto Q de los números racionales ii) {1, 2, 3, . . . ., 99, 100} v) El
conjunto R de los números reales iii) El número de personas que viven en la tierra.

Los conjuntos finitos son solamente: i y ii.

i) Los meses del año: Finito. Hay 12 meses en el año, por lo que este conjunto es finito.

ii) {1, 2, 3, ..., 99, 100}: Finito. Este conjunto es una secuencia de números naturales desde 1 hasta
100, por lo que tiene un número finito de elementos.

4. Ejercicio 21. Señalar si son verdaderas o falsas las siguientes afirmaciones:

a) A ⊂ B ⇒ A ⊂ ( A ∩ B )
b) B ⊂ A ⇒ ( A ∪ B ) ⊄ A
c) C - A = C ∩ A
d) A = B ⇒ A ∪ B = A
 8

a) A ⊂ B ⇒ A ⊂ (A ∩ B)
Verdadero. Si A es un subconjunto de B, entonces todos los elementos de A también están en B.
Por lo tanto, la intersección de A con B (A ∩ B) será igual a A, ya que todos los elementos de A
también estarán en A ∩ B.

b) B ⊂ A ⇒ (A ∪ B) ⊄ A
Falso. Si B es un subconjunto de A, entonces todos los elementos de B también están en A. En
este caso, A ∪ B sería igual a A, ya que agregar elementos de B a A no cambia A en sí. Por lo tanto,
(A ∪ B) no es un conjunto diferente de A, y no podemos afirmar que no es un subconjunto de A.

c) C - A = C ∩ A
Falso. La operación "-" representa la diferencia de conjuntos. C - A es el conjunto de elementos
que están en C pero no en A. Por otro lado, C ∩ A es el conjunto de elementos que están en
ambas C y A. Estos conjuntos son diferentes a menos que A sea igual a ∅ (el conjunto vacío), en
cuyo caso serían iguales.

d) A = B ⇒ A ∪ B = A
Verdadero. Si A es igual a B, entonces unir A y B (A ∪ B) no cambia el conjunto original, ya que
ambos conjuntos son idénticos. Por lo tanto, A ∪ B sería igual a A en este caso.

Ejercicio 22. De 400 alumnos que estudian en una escuela de idiomas, 120 estudian únicamente
francés; 200 estudian francés e inglés y 50 estudian otros idiomas diferentes. ¿Cuántos estudian
solo inglés?

Estudiantes que estudian francés e inglés: 200

Estudiantes que estudian solo francés: 120
Total de estudiantes que estudian francés= 120 + 200 = 320

Dado que hay 400 estudiantes en total, resto el total de estudiantes que estudian francés (320)
del número total de estudiantes para encontrar cuántos estudian solo inglés:
 9

Estudiantes que estudian solo inglés = 400 - 320 = 80

Por lo tanto, 80 estudiantes estudian solo inglés.

Conclusiones
Esta actividad fue retadora, ya que no recordaba nada de esta temática. Sin embargo, con la
información suministrada y algunos tutoriales considero que pude sacar el taller adelante. Pude
aprender y reforzar conocimientos para tenerlos frescos para la cotidianidad y mi futuro
desempeño como administradora de empresas, además pude obtener conocimientos sobre el
diagrama de venn, que también va a ser de utilidad en otras asignaturas.

Referencias bibliográficas

• Curo, A. (2015) Matemática básica para administradores. Editorial: Universidad Peruana

de Ciencias Aplicadas (UPC)

• Lógica proposicional Introducción, por Matemáticas profe Alex. Abril 2021.

https://www.youtube.com/watch?v=vKe0UKSpNQQ

• Conectores lógicos Tablas de verdad, por Matemáticas profe Alex. Mayo 2021.

https://www.youtube.com/watch?v=8gCoQCkx9A0
• Encuentros sincrónicos e información del aula virtual