ACTIVIDAD 2 LÓGICA MATEMÁTICA Y CONJUNTOS

DESARROLLO DEL TALLER

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 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) p ∧ q el clima es agradable y vamos de día de campo

b) p ⇔ q el clima es agradable siempre y cuando vamos de día de campo
c) q ⇒ p el clima es agradable por lo tanto vamos de día de campo

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

1
 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 F 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)
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) [(p ∨ q) ∨ r] ∧ s
p q r s (p ∨ q) [(p ∨ q) ∨ r] [(p ∨ q) ∨ r] ∧ s
V F F V V V V

ii) r ⇒ (s ∧ p)
p q r s (s ∧ p) r ⇒ (s ∧ p)
V F F V V V

iii) (p ∨ r) ⇔ (r ∧ ∼ s)
p q r s (p ∨ q) ∼s (r ∧ ∼ s) (p ∨ r) ⇔ (r ∧ ∼ s)
V F F V V F F F

2
 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.
i) (p ⇒ q) ⇒ r ; r es V
SI SE PUEDE CONOCER EL VALOR DE VERDAD
p q r (p ⇒ q) (p ⇒ q) ⇒r
V V V V V
V F V F V
F V V V V
F F V V V

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

SI SE PUEDE CONOCER EL VALOR DE VERDAD

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

TEORÍA DE CONJUNTOS

10. Escribir simbólicamente:

a. R es un subconjunto de T
𝑅⊂𝑇
b. M no es un subconjunto de S
𝑀⊄ 𝑆
c. x es un elemento de Y
𝑥 ∈ 𝑌
d. z no pertenece a A
𝑧 ∉ 𝐴
e. El conjunto vacío
∅
f. R pertenece a A
𝑅 ∈𝐴

11. Escribir por extensión los conjuntos:

i) A = {x : x2-x-2=0 }
A ={-1,2}
ii) C = {x : x2 = 9 ∧ x-3=5 }
C={ 8}
iii) B = {x es dígito del número 2324}

3
 B = {2,3,4}
iv) D = {x : x es vocal}
D = {a,e,i,o,u}

12. Escribir por comprensión los siguientes conjuntos:

A = { 1, 2, 4, 8, 16,...} A = {x : an = a1 . rn−1 ∧ r=2}

B = { 1, 3, 5, 7, 9, .... } B = {x :x es un número impar}

D = {1, 4, 9, 16, 25, 36} D = {x : x es un numero natural a la potencia 2 menor a 7}

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

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

B = { x / x ∈ N ∧ 5 / x}
B = {1,5}

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

i) {1, 4, 3} = {3, 4, 1} verdadera
ii) 1 ⊄ {1,2} falsa
iii) {4} ⊂ {{4}} verdadera
iv) {3, 1, 2} ⊂ {1, 2, 3} falsa
v) {4} ∈ {{4}} verdadera
vi) ∅ ⊂ {{4}} falsa

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

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

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

𝑝 ∧𝑞

4
 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

𝑝 ∧∼ 𝑞
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.

(𝑝 ∨∼ 𝑞) ⟶ (𝑟 ⟷∼ 𝑠)
3. a) Escribir una afirmación compuesta que sea verdadera cuando exactamente dos de tres
afirmaciones p; q y r sean verdaderas.

O voy a jugar futbol mañana o tengo que ir a trabajar entonces mañana regreso tarde a la
casa
Voy a jugar futbol mañana = p falsa
Tengo que ir a trabajar =q verdadera
Mañana regreso tarde a la casa = r verdadera

4. 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) (p ∧ q) ⇒ (p ∨ r) ; p es V y r es F

5
 p q r (p ∧ q) (p ∨ r) (p ∧ q) ⇒ (p ∨ r)
V V F V V V
V F F F V V

ii) p ∧ (q ⇒ r) ; (p ⇒ r) es V

NO SE PUEDE CONOCER EL VALOR DE VERDAD

5. Simplificar los siguientes esquemas proposicionales:

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

p ∨q

6
 CONCLUSIONES

 La lógica simbólica permite simplificar las proposiciones en forma tal que se pueda trabajar de
forma más ordenada para solucionar situaciones y determinar veracidades.
 El conocimiento de los conjuntos permite que los elementos similares se puedan organizar y
trabajar de forma más sencilla en la cotidianidad