ACTIVIDAD 2

LOGICA MATEMATICA Y CONJUNTOS

ANGELY PAOLA ORTEGA CORREA

CORPORACIÓN UNIVERSITARIA IBEROAMERICANA

CIENCIAS HUMANAS Y SOCIALES

PSICOLOGÍA

LÓGICA MATEMÁTICA Y CONJUNTOS

LUIS GONZALES
 Lógica matemática
1) Para describir los diversos restaurantes de la ciudad, denotemos con:
p: la comida es buena
q: el servicio es bueno
r: es de tres estrellas
Escribir simbólicamente las siguientes proposiciones:
a) La comida es buena o el servicio es bueno, o ambas cosas:
El resultado se obtiene por disyunción incluyente, ya que, son posibles las dos
proposiciones y se requiere del conector ‘‘o’’:
p:la comida es buena o q: el servicio es bueno, o ambas cosas = p v q
b) La comida es buena o el servicio es bueno, pero no ambas cosas:
El resultado se obtiene por disyunción exclusiva, ya que, dentro de la proposición no
pueden ser posibles las dos cosas y se requiere del conector ‘‘o’’:
p:la comida es buena o q: el servicio es bueno, pero no ambas cosas = p v q
c) La comida es buena y el servicio no:
el resultado se obtiene por conjunción, ya que, se utiliza el conector ‘‘y’’ y al tiempo se
utiliza la negación:

p:la comida es buena y q: el servicio no = p 𝖠 ⁓q

d) No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas:
En la proposición se presenta una negación y por ende el resultado se obtiene con la
conjunción, la parte simbólica queda de la siguiente forma:
No sucede que tanto p:la comida sea buena como que el restaurante sea de r: tres estrellas
=

⁓(p 𝖠 r)
e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de tres
estrellas:
El resultado de esta proposición se obtiene por medio de la conjunción y se complementa
con el ‘‘entonces’’ para finalizarla de una buena forma, el resultado es el siguiente:
Si tanto p: la comida es buena como q: el servicio es bueno entonces el restaurante r: es
de tres estrellas = (p 𝖠 q) → r

f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen servicio:
Dentro de esta proposición se encuentra una negación al comienzo y se continúa con la
conjunción para complementarla, por ende, el resultado sería:
No es cierto que r: ser de tres estrellas siempre signifique p: buena comida y q: buen
servicio
=

⁓[ r → (p 𝖠 q)]
2) Denotemos con:
p: el clima es agradable
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
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: El clima es agradable
q: vamos de día de campo
p q pvq (p v q) v p
v v v v
v f v v
f v v v
f f f f
b) (p ∨ q) ⇒ p
p: El clima es agradable
q: vamos de día de campo
p q pvq (p v q) → p
v v v v
v f v v
f v v f
f f f v
c) p ⇔ (p ∨ q)
p: El clima es agradable
q: vamos de día de campo

p q pvq p ⇔ (p v q)
v v v v
v f v v
f v v f
f f f v

d) (q ⇒ p) ⇒ (p ⇒ q)
p: El clima es agradable
q: vamos de día de campo

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: El clima es agradable
q: vamos de día de campo

p q r p𝖠q -r (𝑝 𝖠 𝑞) v (∼
𝑟)
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)
p: El clima es agradable
q: vamos de día de campo

r r (r →r) ⁓(r →r)

v v v f
f f v f

4) Determinar, si es posible, el valor de verdad de las siguientes proposiciones:

a) (p ∨ q) ⇒ q si p ⇒ q es Falso
Si p → q es falso se debe cumplir que p es verdadero y q es falso
p q (p v q) (p v q) → q
v f v f

b) p ∨ (p ⇔ q) si p ⇒ q es Verdad
Si p → q es verdadero puede suceder lo siguiente:
p sea verdadero y q sea verdadero
p sea falso y q sea verdadero
p sea falso y q sea verdadero
p q p⇔q p v (p ⇔ q)
v v v v
f v f f
f f v v

c) [ (p ∨ q) 𝖠 ∼ q] ⇒ q si p es Verdad y ∼q es Verdad
p q -q pvq (p v q) 𝖠 -q [(p v q) 𝖠 -q
→q
v f v v v f

5) Determinar si las siguientes proposiciones son leyes lógicas:

1) p 𝖠 q ⇒ r
No se presenta tautología luego la proposición no es ley lógica.

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

2) [ (p ⇒ q) 𝖠 (q ⇒ r)] ⇒ (p ⇒ r)
Se presenta tautología, luego la proposición si es ley lógica.
p q r p⇒q q⇒r (p ⇒ q) p⇒ [ (p ⇒ q)
𝖠 (q ⇒ r) 𝖠 (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

3) p 𝖠 [ p ⇔ q]
p q p⇒q p 𝖠 [ p ⇔ q]
v v v v
v f f f
f v f f
f f v f

Teoría de conjuntos (parte I)

1) Escribir simbólicamente:
a) R es un subconjunto de T = R c T
b) x es un elemento de Y = x∈ y

c) El conjunto vacío = ∅ o {}
d) M no es un subconjunto de S = 𝑀⊄𝑆
e) z no pertenece a A = 𝑧∉𝐴
f) R pertenece a A = 𝑅∈𝐴

2) Escribir por extensión los conjuntos:

1) A= {𝑥 = 𝑥2 – 𝑥 – 2 = 0}

𝑥2 − 𝑥 – 2 = 0

(𝑥−2) (𝑥+1) = 0

X = 2; X = -1

A = {-1,2}

2) B= {x es digito del número 2324}

B= {2,3,4}

3) C = {x: 𝑥2: 9 𝖠 x-3 = 5}

√𝑥 2= ±√9 𝑥=±3

x-3=5 x=8

C= {-3,3,8}

4) D= {x: x es vocal}

D= {a, e, i, o, u}

3) Escribir por comprensión los siguientes

conjuntos: A= {1, 2, 4, 8, 16…]
A= {𝑥/𝑥 es una potencia de 2}
A= {𝑥/𝑥 =2𝑛 𝖠 𝑛 ≥ 0
B= {1,3, 5, 7, 9…}
B= {𝑥/𝑥 es un número impar}
B= {𝑥𝑥⁄=2𝑛 −1 𝖠 𝑛 ≥ 1

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

D= {𝑥𝑥⁄= es el cuadrado de un número natural}
D= 𝑥 ∈ 𝑁 ⁄ 𝑥 = 𝑥2 𝖠 1 ≤ 𝑥 ≤ 6

4) Escribir por extensión los siguientes conjuntos definidos por

comprensión: A= {𝑥⁄𝑥 𝜖 𝑁 𝖠 3 ≤ 𝑥 ≤ 10}

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

B= {𝑥⁄𝑥 ∈ 𝑁 𝖠 5/𝑥}

B= {1, 5}

5) Determine si los conjuntos dados son vacíos:

1)
X = {x: 𝑥2 = 9 𝖠 2𝑥 = 4}
X = {-3, 2, 3}
No es vacío

2)
Y= {𝑥=𝑥≠𝑥}
Y= {∅}
Es vacío
3)
Z= {x: x+8=8}

Z= {0}
No es vacío

Lógica matemática
6) Denotemos con:
p: el material es interesante
q: los ejercicios son difíciles
r: el curso es agradable
Escribir las siguientes afirmaciones en forma simbólica:
a) el material es interesante y los ejercicios son difíciles:
El resultado se da por conjunción por el conector ‘‘y’’, por en el simbolismo queda de la
siguiente forma:

p: el material es interesante y q: los ejercicios son difíciles = p 𝖠 q

b) el material no es interesante, los ejercicios no son difíciles y el curso no es agradable.
El resultado se obtiene por conjunción, ya que, se utiliza el conector ‘‘y’’, sin embargo, se
encuentra una negación al comienzo y en la mitad de la proposición, el simbolismo
quedaría así;
p: el material no es interesante, q: los ejercicios no son difíciles y r: el curso no es agradable
=

⁓(p 𝖠 q 𝖠 r)
c) Si el material no es interesante y los ejercicios no son difíciles entonces el curso no es
agradable.
El resultado de esta proposición es por medio de la conjunción, ya que, lleva el conector
‘‘y’’, sin embargo, lleva la negación dentro de ella, el resultado sería así:
p: si el material no es interesante y q: los ejercicios no son difíciles, entonces r: el curso no
es agradable = ⁓(p 𝖠 q) → ⁓r
d) Que el material sea interesante significa que los ejercicios son difíciles y viceversa
El resultado de esta preposición se logra por medio de la conjunción, sin embargo, se
encuentra distintos conectores entre la proposición, el resultado queda así:
p: que el material sea interesante significa q: los ejercicios son difíciles y viceversa =

(p → q) 𝖠 (q →p)
e) O el material es interesante o los ejercicios no son difíciles, pero no ambas cosas.
El resultado de esta preposición se logra por medio de la disyunción exclusiva, sin
embargo, dentro de ella se encuentra una negación, el simbolismo quedaría así:
p: o el material es interesante o q: los ejercicios no son difíciles, pero no ambas cosas =
p v ⁓q
7) Escribir las siguientes afirmaciones en forma simbólica:
a) El sol brilla y la humedad no es alta:
El resultado de esta preposición se obtiene por medio de la conjunción, ya que, se utiliza
el conector ‘‘y’’ y también en ella se encuentra una negación, el simbolismo es el
siguiente:

p: El sol brilla y q: La humedad es alta = p 𝖠 ⁓q

b) Si termino mi tarea antes de la cena y no llueve, entonces iré al partido de fútbol:
El resultado de esta proposición se obtiene por medio de la conjunción, ya que, se utiliza
el conector ‘‘y’’, sin embargo, hay una negación que encierra toda la proposición, el
resultado es el siguiente:
p: si termino mi tarea antes de la cena y q: no llueve, entonces r: iré al partido de fútbol =

(p 𝖠 ⁓q) → r
c) Si no me ves mañana significa que habré ido a la playa:
El resultado de esta proposición se obtiene por medio del condicional, ya que, se utiliza el
conector ‘‘significa’’ que se reemplaza por el ‘‘entonces’’, por ende, el resultado es el
siguiente:

p: si no me ves mañana significa que q: habré ido a la playa = ⁓p → q

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:
El resultado de esta proposición se obtiene por medio de disyunción, ya que, se utiliza el
conector ‘‘o’’ y dentro de ella se encuentra una negación, por ende, el resultado sería el
siguiente:
p: si el costo de las utilidades crece o se niega la q: requisición de fondos los adicionales,
entonces r: compraremos una nueva computadora si y solo si podemos mostrar que los s:
recursos de cómputo son, en efecto, insuficientes = [(p v ~q) →r]⇔ s
8) Determinar si las siguientes proposiciones son leyes lógicas:
1) p → (p 𝖠 q) En la proposición no se presenta ley lógica, ya que, en ella no se presenta
tautología
p q p𝖠q p → (p 𝖠 q)
v v v v
v f f f
f v f v
2) p → (p v q) Dentro de esta proposición sí se presenta la ley lógica, ya que, que dentro
de ella hay tautología
p q pvq p → (p v q)
v v v v
v f v v
f v v v
f f f v

9) 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) 𝖠 [ (p 𝖠 q) 𝖠
r] r] ∨ s
v f f v f f v

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 r s s𝖠q (s 𝖠 q) ⇒ p
v f f v f v

10) Antonio, Miguel y Juan perteneces al club Alpino. Cada miembro del club esquía,
escala o ambas cosas. A ningún escalador le gusta la lluvia y a todos los esquiadores les
gusta la nieve. A Miguel le disgusta lo que a Antonio le gusta, y le gusta lo que a Antonio
le disgusta. A Antonio le gusta la lluvia y la nieve. ¿Hay algún miembro del club Alpino que
sea escalador, pero no esquiador?
Denotemos los enunciados de la siguiente forma:
p: x pertenece al club alpino
q: x es un esquiador
r: x es un escalador
s: a x le gusta la lluvia
t: a x le gusta la nieve
Los resultados serían los siguientes:
Antonio = s 𝖠 t
Le gusta la lluvia, no es escalador.
Le gusta la nieve, es escalador.

Miguel = ⁓s 𝖠 ⁓t
No le gusta la lluvia, es escalador.
No le gusta la nieve, no es esquiador.
Miguel sí es escalador, pero no escalador.

Teoría de conjuntos
6) Describir por extensión los conjuntos:
a)
A= {x⁄x ϵ N, x ≤ 8}
Por extensión
A= {1, 2, 3, 4, 5, 6, 7, 8}
b)
B= {𝑥⁄𝑥2−3𝑥+1=0
Se usa fórmula cuadrática: a= 1; b= -3; c= 1
X= −(−3) ± √ (−3) 2−4 (1) (1) 2 (1) / 2(1)
X1= 3 + √52/ 2 = 2,62
X2= 3 − √52/2 = 0,38
Por extensión:
B= {0.38 y 2,62}
c)
C= {𝑥⁄𝑥 ∈ 𝑁, x es par}
C= {2, 4, 6, 8, 10, 12…}
d)
D= {𝑥⁄𝑥 ∈ 𝑁, 𝑥 ≥ 8 𝑣 𝑥 ≤ 2
Por extensión:
D= {8, 9, 10, 11, 12…} 𝑣 {1, 2}
e)
E= {𝑥⁄𝑥 ∈ 𝑧, |𝑥| ≤ 3}

Por extensión:

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

7) Dados los conjuntos:

A= {1, 3}
B= {a, b, c}
C= {b)
D= {1,3, b, f}
Halla:
a) su diagrama de Venn:
A D B

1 f a
3 c
b

C
b) A 𝖴 B 𝖴 C 𝖴 D:
𝐴 𝖴 𝐵 𝖴 𝐶 𝖴 𝐷 = {a, b, c, f, 1, 3}
c) A ∩ B ∩ C:
𝐴∩𝐵∩𝐶=∅

d) (A ∩ B) 𝖴 D:
(𝐴 ∩ 𝐵) 𝖴 𝐷 = {1, 3, B, f}

e) ¿Está A ⊂ B o C ⊂ (A ∩ D)?

𝐴⊄𝐵- - - -> A no este contenido en B

C= {b} 𝐴∩ 𝐷= {1, 3}
𝐶 ⊄ (𝐴∩𝐷)----> El conjunto C no está contenido en (𝐴∩𝐷)

8) En un club de esparcimiento de 500 socios se van a celebrar unos campeonatos de

ajedrez, cartas y dominó. Hay 90 personas que no van a participar, y se sabe que hay un
total de 180 apuntados en ajedrez, 200 a cartas y 220 a dominó. Hay 70 apuntados a
ajedrez y cartas, 90 a cartas y dominó y 80 a ajedrez y dominó. Se desea saber el número
de personas apuntadas a un solo campeonato, a solo dos cualesquiera de ellos y a los
tres.
A = Ajedrez
C = Cartas
D = Dominó
X = Número de socios que juegan en los 3 campeonatos

u = 500

A C

30+x 70-x 40+x

x
80-x 90-x

50+x
D 90

A= 180- [(70-x) + (80-x) + x]

A= 180-150+x=30+x
C= 200- [(70-x) + (90-x) + x]
C= 200-160+x= 40+x
D= 220- [(80-X) + (90-x) +x]
D= 220-170+x= 50+x

Establecer la ecuación para despejar X

(30+x) + (70-x) + (80-x) + (40+x) + (90-x) + (50+x) +x +90= 500
450+x= 500
X= 500-450
X= 50
Reemplazando los valores de x, se tiene el siguiente diagrama de Venn:
u = 500

A C

80 20 90

30 50 40

100
D 90
- Número de personas anotadas exclusivamente en un solo campeonato:
80+90+100= 270 socios
-Número de personas anotadas exclusivamente en dos campeonatos;
20+30+40= 90 socios
-Número de personas anotadas para los tres campeonatos:
50 socios
9) Sean V = {d} ; W = {c, d} ; X = {a, b, c} ; Y = {a, b} ; Z = {a, b, d}
1) Y ⊂ X----------> Proposición verdadera
2) W ≠ Z----------> Proposición falsa
3) Z ⊃ V----------> Proposición verdadera
4) V ⊂ X----------> Proposición falsa
5) X = W----------> Proposición falsa
6) W ⊂ Y----------> Proposición falsa

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?
E1= Primer examen
E2= Segundo examen
X= Es el número de estudiantes que obtuvieron A en ambos exámenes.
u=150

E1 E2

26 x 21

17

26 + 21 + X +17 = 150

64 + X = 150

X = 150 – 64 = 86

Número de estudiantes con A en ambos exámenes es 86

Conclusiones:
.
Podemos concluir que un conjunto puede tener multiples elementos y un conjunto es un
grupo de elementos que pueden ser sujetos u objetos que pueden ser personas, números,
letras, etc…
Las colecciones son una mejor manera de comprender y organizar las cosas y pueden
facilitar los programas finalmente, estudiamos números,
concluir que un conjunto puede tener múltiples elementos y un conjunto es un
conjunto de elementos que pueden ser sujetos u objetos que pueden ser personas,
números, letras, etc. Las colecciones son una mejor manera de comprender y
organizar las cosas y pueden facilitar los programas. Finalmente,
estudiamos números, cantidades y lógica y trabajamos en ejercicios
relevantes con sosolucione
Referencias bibliográficas
Agustín Curo, M. M. (2013). Matemática Básica Para Administradores. Lima: Editorial Universidad
Peruana de Ciencias Aplicacdas (UPC).