1

Actividad 2 – Lógica matemática y conjuntos

Katerine Paola Vig Ruiz

ID: 100131908

Facultad de Ciencias Sociales Humanas

Corporación Universitaria

Iberoamericana Psicología

Tutor: Luis Enrique González Duran

01/04/2023
 2

Índice

Desarrollo del taller...........................................................................................................................3

Conclusiones...................................................................................................................................16
 3

Desarrollo del taller

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
pvq
ya que están conectadas con un conector “o” y especifican que pueden
ser ambas cosas; lo cual corresponde a una disyunción incluyente.

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

p ⊻ q
en este caso ocurre una disyunción excluyente ya que están vinculadas con el
conector “o”, pero al final no suceden ambas cosas

c. La comida es buena y el servicio no.

pq
se dice que la comida es buena “p”, y se niega que el es bueno.

d. No sucede que tanto la comida sea buena como que el restaurante sea de
tres estrellas
 (p  r)
Cuando se dice no sucede que tanto, se está negando todo lo que prosigue,
es decir la operación

e. Si tanto la comida como el servicio son buenos, entonces el restaurante es

de tres estrellas
(p  q )

f. No es cierto que ser de tres estrellas siempre signifique buena comida y

buen servicio.
 [r (p  q) ]

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) p ⇔ q c) q ⇒ p

p: el clima es agradable
q: vamos de día de campo
p  q es la conjunción de la proposición de p con q
En el lenguaje coloquial se expresa:
El clima es agradable y vamos de día de campo
b) p ⇔ q
p: el clima es agradable
q: vamos de día de campo
p ⇔ q es doble implicación de p con q
 4

En el lenguaje coloquial se expresa:

el clima es agradable si y solo si vamos de día de campo
c) q ⇒ p
q: vamos de día de campo
p: el clima es agradable
q ⇒ p es la implicación q implica p
en el lenguaje coloquial se expresa:
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 V

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 (∼ r) (p ∧ q) (p ∧ q) ∨ (∼ r)
V V V F V V
V V F V V V
V F V F F F
 5

V F F V F V
F V V F F F
F V F V F V
F F V F F F
F F F V F 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

;Fy
V. Obtener los valores de verdad de :

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

p q r s

V F F V V V V

ii) r ⇒ (s ∧ p)

r s p

F V V V V

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

p r s

V F V F V F F

5-
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.
 6

i) (p ⇒ q) ⇒ r ; r es V ii) (p ∨ q) ⇔ (∼ p ∧ ∼ q) ; q es V

el valor de verdad de (p ⇒ q) ⇒ r cuando r es V

(p ⇒ q) ⇒ r es una implicación donde r es V

p q

V V V

V F F

F V V

F F V

Si r es V, y el resultado de (p ⇒ q) es F o V, no afecta el valor de r

Por lo tanto es V

ii) (p ∨ q) ⇔ (∼ p ∧ ∼ q) ; q es V
Consideramos que la operación principal es una doble implicación, donde las expresiones
involucradas son (p  q) y ( p   q)

q sería V (p ∨ q) ⇔ (∼ p ∧ ∼ q) es una doble implicación

si q es V la disyunción donde esté será V

entonces (p ∨ q) es V

al ser q “V” ;  q es F cualquier conjunción donde esté  q , será falso

Tenemos que ( p   q) es F

Las expresiones (p  q) y ( p   q) tienen diferentes valores de verdad

luego : (p  q)  ( p   q)  es falso

1- Parte de ejercicios de conjuntos

10- Escribir simbólicamente:

a) R es un subconjunto de T

R T

b) x es un elemento de Y

x∈Y
 7

c) El conjunto vacío

={}

d) M no es un subconjunto de S

M⊄S

e) Z no pertenece a A

Z∉A

12- Escribir por comprensión los siguientes conjuntos

A = { 1, 2, 4, 8, 16,...}
Por comprensión, son números naturales que comienzan en 1
y luego se suceden como el doble del anterior

i
A={x/xNx=2, i0}

B = { 1, 3, 5, 7, 9, } Por comprensión son números naturales impares

B = { x / x  N  x es impar }

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

Por comprensión son números que resultan de elevar al
cuadrado cualquier natural menor que 7
2
D= { x / x  N  x = n , con n  N, n  7 }

13- Escribir por extensión los siguientes conjuntos definidos por comprensión

A = { x / x ∈ N ∧ 3 ≤ x ≤ 10 } Por extensión A = { 3, 4, 5, 6, 7, 8, 9, 10 }

B={ x / x ∈ N ∧ 5 / x} Por extensión B = { 5, 10, 15, 20, 25, . . . . . . }

15) Indicar en cada caso si la proposición es verdadera o falsa :

i) {1, 4, 3} = {3, 4, 1}

Es verdadero, porque los elementos de los dos conjuntos son los mismos y si dos
conjuntos tienen los mismos elementos, son iguales
ii) {3, 1, 2} ⊂ {1, 2, 3}
 8

Es verdadero, porque los elementos de los dos conjuntos son los mismos

iii) 1 ⊄ {1,2}

Es verdadero, porque 1  { 1, 2 } porque es un elemento del conjunto; al establecerse

una relación de pertenencia, Negamos que se establezca una relación de inclusión
Es decir, 1 no está incluido en { 1, 2 } , sino que pertenece a { 1, 2 }

iii) {4} ∈ {{4}}

Es verdadero, porque { 4 } es un elemento del conjunto { { 4 } }
La relación que se establece entre elemento y conjunto es de pertenencia
v) {4} ⊂ {{4}}
Es falso

vi) ∅ ⊂ {{4}}

 es un conjunto, no es un elemento (en este caso); y  está incluido en cualquier

conjunto

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?

El conjunto universal es la totalidad de los alumnos que estudian en la escuela de idiomas

U = { x / x es alumno de la escuela de idiomas }
 U = U = 400
N = { x/x estudia solamente francés o francés e inglés }
 F = 120 + 200 =
 N = 120 + 200 = 320
La cantidad de alumnos que no estudia francés es el complemento de N

.
.
---

N =  U -  N = 400 – 320 = 80 Son los que no estudian solamente

francés, ni francés e inglés juntos.
Son los que n

De estos 80 alumnos que no estudian francés, hay 50 que estudian otros idiomas que no son
francés ni inglés
 9

 O = 50

L = { x/x estudia solamente inglés}

L=N -  O = 80 – 50 = 30

Dado de otra forma sería

De 400 alumnos que estudian en una escuela de idiomas 120 estudian únicamente francés, el
resto queda en 280 estudiantes.
400 – 120 = 280

Luego, de 280 alumnos 200 estudian francés e inglés, la diferencia es 80.

280 – 200 = 80

También, de 80 alumnos 50 estudian otros idiomas diferentes, entonces quedan 30 estudiantes.

80 – 50 = 30

Finalmente, 30 alumnos quedan en el grupo sin especificar que idiomas estudian, por lo que se
asume que estudian ingles solamente.

2- Parte de ejercicios Lógica

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

 1
0
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 no es alta

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

p: termina la tarea
q: llueve
r: iré al partido de fútbol

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

p: me ves mañana
q: ir 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
p: el costo de las utilidades crece
q: se niega la requisición de fondos los adicionales
r: compraremos una nueva computadora
s: mostrar los recursos de cómputo son, en efecto insuficientes

5- Simplificar los siguientes esquemas proposicionales

i) ∼ (∼p ∨ ∼q)

i) ∼ (∼p ∨ ∼q) Eliminación de negación

ii) ∼ (p ∨ ∼q) ∧ ∼q

Elimina negación

Ley asociativa

Ley conmutativa

7- 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 F F V
 1
1

b) (r ⇒ s) ∨ (p ⇒ s)

p q r s (r ⇒ s) (p ⇒ s) (r ⇒ s) ∨ (p ⇒ s)

V F F V V V V

c) (s ∧ q) ⇒ p

p q s (s ∧ q) (s ∧ q) ⇒ p

V F V F V

8- Demuestre por tablas de verdad las siguientes leyes

i) [ (p ∨ q) ∧ q ] ⇒ q

p q

V V V V V

V F V F V

F V V V V

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

p q

V V V F F F F V

V F F V F V V V

F V F V V F V V

F F F V V V V V
p q

iii) V V V F F F F V ∼(p

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

∧ ∼q F V V F V F F V

F F F V V V V V
 1
2

2. Parte de teoría de conjuntos

11- Describir por extensión los conjuntos

A = {x / x ∈ N, x ≤ 8}

El conjunto de los números naturales menores que 8

B = {x / x2 - 3 x + 1 = 0}

Se resuelve la ecuación cuadrática x2 -3x + 1 = 0

C = {x / x ∈ N, x es par}

Está conformado por el conjunto de los números naturales pares y es infinito

D = {x / x ∈ N, x ≥ 8 ∨ x ≤ 2}

Conformado por los números naturales mayores o iguales a 8 o los menores o iguales a 2 de
modo que se unen para formar un conjunto infinito.
E = x / x ∈ Z, | x | ≤ 3}

Está formado por los números enteros, cuyo valor es menor o igual que 3

12- Dados los conjuntos

A = {1, 3} B = {a, b, c} C = {b} D = {1, 3, b, f} Hallar

su diagrama de Venn
 1
3

b) A ∪ B ∪ C ∪ D =

c) A ∩ B ∩ C =

d) (A ∩ B) ∪ D =

e) ¿Está A ⊂ B o C ⊂ (A ∩ D) ? = A no está incluida dentro de B y C no está incluida dentro

de la intersección A y B

13- 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) A ∪ B

b) A ∩ B

c) (A - C) ∪ B
 1
4

d) (A - C) ∩ B

e) (A ∩ B ∩ C) ∪ D

Uñ-hn89´l14- Señalar si son verdaderas o falsas las siguientes afirmaciones

a) A ⊂ B ⇒ A ⊂ (A ∩ B)
Si A  B si todos los elementos de A son elementos de B
en ese caso A  B = A y como todo conjunto está incluido en sí mismo
ABA(AB) es verdadero
b) B ⊂ A ⇒ (A ∪ B) ⊄ A
Si B  A si todos los elementos de B son elementos de A
en ese caso A  B = A y como todo conjunto está incluido en sí mismo
B  A  ( A  B )  A es Falso
c) A = B ⇒ A ∪ B = A
Si A = B los elementos del conjunto A son los mismos que los elementos que los del conjunto B
la unión de ambos conjuntos es igual a cualquiera de ellos
Entonces, A = B  A  B = A es Verdadero

15- 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
 1
5
b) A - (B ∪ C) =

c) (A ∩ B) – C =

d) [(A ∩ C) ∪ D] ∩ B =

e) (A ∪ B) Δ (B ∩ C) =

f) ¿Son disjuntos A y D? = si son disjuntos, ya que no tienen ningún elemento en común.

 1
6

Conclusiones

Con el desarrollo de este taller se logró desarrollar varias competencias que permitieron formular y
solucionar situaciones a partir de operaciones dadas entre conjuntos y números naturales de igual
manera nos enseñó la modelación de situaciones haciendo uso de elementos geométricos y
operaciones básicas con números naturales permitiendo comentar y socializar posibles soluciones
en las cuales se usan números naturales.

Se logro desarrollar el razonamiento contextualizando diferentes cálculos de operaciones básicas y

entre conjuntos con situaciones reales.

Nos permitió manejar adecuadamente los algoritmos de los cálculos con operaciones básicas en el
conjunto de los números reales.
 1
7

Referencias Bibliográficas

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

Ciencias Aplicadas (UPC).  

2. Falcón, S. (2015). Matemáticas básicas. Editorial: Universidad de Las Palmas de Gran Canaria.
Servicio de Publicaciones y Difusión Científica. https://elibro.net/es/ereader/biblioibero/57193?
as_all=matematica__basica__para__ingenieros______&as_all_op=unaccent__icontains&prev=as.

3. Grisales Aguire, A. M. (2018). Elementos básicos de matemáticas con herramientas interactivas.

Universidad Católica Luis Amigó. https://aulavirtual.ibero.edu.co/course/view.php?
id=2650§ion=5#:~:text=https%3A//elibro.net/es/lc/biblioibero/titulos/126352