1

Fundamentos De Lógica Simbólica Y Teoría de Conjuntos

Parte 1

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

Simbólicamente: (p v q) v (p  q)

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

Simbólicamente: p v q

c) La comida es buena y el servicio no.

Simbólicamente: p  (q)
 2

d) No sucede que tanto la comida sea buena como que el restaurante

sea de tres estrellas

Simbólicamente:  p  q

e) Si tanto la comida como el servicio son buenos, entonces el

restaurante es de tres estrellas.

Simbólicamente: (p v q) → r

f) No es cierto que ser de tres estrellas siempre signifique buena

comida y buen servicio.

Simbólicamente: r v (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

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

p q p (p

vq ∨ q) ∨ p

V F F V

F V F F

V V V V

F F F F

b. (p ∨ q) ⇒ p

p q p (p ∨

∨q q) ⇒ p

V F V V

F V V F

V V V V

F F F V

c. p ⇔ (p ∨ q)

p q p p⇔

∨q (p ∨ q)

V F V V

F V V F

V V V V
 4

F F F V

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

Q p q p (q ⇒ p) ⇒

⇒p ⇒q (p ⇒ q)

V F V V V

F V F F V

V V V V V

F F V V V

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

P q ∼ p∧ (p ∧ q)

r q ∨ (∼ r)

V F V F V

F V F F F

V V V V V

F F F F F

f. ∼ (r ⇒ r)
 5

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) ∨ p ∨ q) ∨

r r] ∧ s

V F F V V V V

i. r ⇒ (s ∧ p)

p R s s r⇒

∧p (s ∧ p)

V F V V V

ii. (p ∨ r) ⇔ (r ∧ ∼ s)
 6

p R s ∼ p r (p

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

∧ ∼ s)

V F V F V F F

5. Simplificar las siguientes proposiciones:

a) ∼ (∼ p ∨ ∼ q) Aplicamos leyes de Morgan

∼ (∼ p) ∨ ∼ (∼ q) Eliminación de doble negación.

p∨q

b) ∼ (p ∨ q) ∨ (∼ p ∧ ∼ q) Aplicamos leyes de Morgan

∼ p ∧ ∼q ∨ (∼ p ∨ ∼ q) Ley Asociativa

∼ p ∧ ∼q ∨ (∼ p ∨ ∼ q) Ley de Absorción.

∼q ∧ ∼ p Ley Conmutativa.

∼ p ∧ ∼q

Teoría De Conjuntos

6. Escribir simbólicamente:

I. R es un subconjunto de T

Simbólicamente: R  T

II. x es un elemento de Y

Simbólicamente: Y = {x}

III. El conjunto vacío

 7

Simbólicamente: 

IV. M no es un subconjunto de S

Simbólicamente: M  S

V. z no pertenece a A.

Simbólicamente: z  A

VI. R pertenece a A.

Simbólicamente: R  A

7. Escribir por comprensión los siguientes conjuntos:

a. A = {1, 2, 4, 8, 16, ...}

Comprensión: A = {x/x, sea x*2}

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

Comprensión: B = {x/x, sea x+2}

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

Comprensión: D = {x/x, sea x+ número primo < 37}

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

a. {1, 4, 3} = {3, 4, 1} Verdadero, porque poseen los mismos elementos.

b. {3, 1, 2} ⊂ {1, 2, 3} Verdadero, porque contienen los mismos elementos.

c. 1 ⊄ {1,2} Falso, porque 1 está contenido en el otro conjunto.

d. {4} ∈ {{4}} Verdadero, porque 4 pertenece al conjunto.

e. {4} ⊂ {{4}} Verdadero, porque 4 está contenido en el otro conjunto.

 8

f. ∅ ⊂ {{4}} Falso, porque un conjunto vacío no puede estar contenido en

otro conjunto con elementos.

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

I. Los meses del año

Finito, porque tiene un número determinado de elementos siendo 12 meses.

II. {1, 2, 3, . . .., 99, 100}

Finito, porque el número de elementos es determinado siendo del 1 al 100.

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

Finito, porque se sabe el número aproximadamente de personas que viven en ella.

IV. El conjunto Q de los números racionales.

Infinito, porque en sus decimales el número de cifras son indeterminadas.

V. El conjunto R de los números reales.

Infinito, porque sus números son indeterminados tanto negativos como positivos.

10. Sean U= {1, 2, . . .., 8, 9};

A = {1, 2, 3, 4}; B= {2, 4, 6, 8} y C = {3, 4, 5, 6}. Hallar:

a) 𝐴𝐶 = {5, 6, 7, 8, 9}

b) A ∩ C = {3, 4}

c) (A ∩ C) 𝐶 = {1, 2, 3, 4, 5, 6, 7, 8, 9}

d) A ∪ B = {1, 2, 3, 4, 6, 8}

e) (B - C) = {2, 8}
 9

Segunda parte

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.

P = "el material es interesante "

Q = "los ejercicios son difíciles"
R = "el curso no es agradable"

a) El material es interesante y los ejercicios son difíciles. Respuesta/ p ∧ q

b) El material no es interesante, los ejercicios no son difíciles y el curso no es agradable.
Respuesta/ (∼p) ∧ (∼q) ∧ (∼r)
c) Si el material no es interesante y los ejercicios no son difíciles entonces el curso no es
agradable. Respuesta/ (∼p ∧ (∼q)) ⇒ ∼r
d) Que el material sea interesante significa que los ejercicios son difíciles y viceversa.
Respuesta/ p ⇔ q
e) O el material es interesante o los ejercicios no son difíciles, pero no ambas cosas.
Respuesta/ p ∨ (∼q)

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 tan alta”

Respuesta/ p ∧ q

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

P = “termino mi tarea antes de la cena” Q = “llueve” R = “iré al partido de fútbol”

Respuesta/ (p ∧ (∼q)) ⇒ r
 10

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

P = “me ves mañana” Q = “abre ido a la playa”

Respuesta/ ∼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.

P = “el costo de las utilidades crece” Q = “se niega la requisición de fondos los
adicionales” R = “compraremos una nueva computadora” S= “podemos mostrar que
los recursos de cómputo son, en efecto, insuficientes”

Respuesta/ ((p ∨ q) ⇒ r) ⇔ s

3.
a) Escribir una afirmación compuesta que sea verdadera cuando exactamente dos de tres
afirmaciones p; q y r sean verdaderas.

Respuesta/

Si acabas tu tarea y limpias tu cuarto, entonces iremos a jugar videojuegos

 11

b) Escribir una afirmación compuesta que sea verdadera cuando ninguna, o una, o dos de
las tres afirmaciones p; q y r sean verdaderas.

Respuesta/
Si pasas el segundo semestre y no pierdes ninguna materia te compraremos una
bicicleta

4. Demuestre por tablas de verdad las siguientes leyes:

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

p q (p ∨ q) (p ∨ q) ∧ q [ (p ∨ q) ∧ q] ⇒ 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
 12

p q p∧q ∼ (p ∧ q) ∼p ∼q ∼p ∨ ∼q ∼ (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

III) ∼ (p ∨ q) ⇔ ∼p ∧ ∼q

p q p∨q ∼ (p ∨ q) ∼p ∼q ∼p ∧ ∼q ∼ (p ∨ q) ⇔ ∼p ∧ ∼q
v v v f f f f v
v f v f f v f v
f v v f v f f v
f f f v v v v v

5. Simplificar los siguientes esquemas proposicionales:

• ∼ (∼p ∨ ∼q) ley de Morgan

∼ (∼p ∧ ∼(∼q) Eliminación de negación

p ∧q

• ∼ (p ∨ ∼q) ∧ ∼q aplica ley Morgan

∼ p ∧ ∼(∼q) ∧ ∼q Elimina negación

∼ p ∧ q) ∧ ∼q ley asociativa

(q ∧∼ q) ∧ ∼q ley conmutativa

∼ p (∼q ∧ q)
 13

Teoría de conjuntos

6. Describir por extensión los conjuntos:

a) A= {x / x ∈ N, x ≤ 8} Respuesta/ A= {0, 1, 2, 3, 4, 5, 6, 7, 8}

El conjunto de los números naturales menores que 8

b) D = {x / x ∈ N, x ≥ 8 ∨ x ≤ 2} Respuesta/ D = {0; 1; 2; 8; 9; 10; 11...}

Está conformado por los numero naturales mayores o iguales a 8 o los menores o

iguales a 2 de modo que se unen para formar un conjunto infinito

 14

𝟑−√𝟓 𝟑+√𝟓
c) B = {x / x2 - 3 x + 1 = 0} Respuesta/ 𝑩 = { , }
𝟐 𝟐

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

d) E = x / x ∈ Z, | x | ≤ 3} Respuesta/ E = {–3; –2; –1; 0; 1; 2; 3}

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

e) C = {x / x ∈ N, x es par} Respuesta/ C = {2; 4; 6; 8; 10; 12...}

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

7. Dados los conjuntos:

A = {1, 3}

B = {a, b, c}

C = {b}

D = {1, 3, b, f}

• Hallar: a) su diagrama de Venn

• d) (A ∩ B) ∪ D = {1, 3, b, f}

• b) A ∪ B ∪ C ∪ D = {1,3, a, c, b, f}
 15

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

incluida dentro de la intersección de A y B

• c) A ∩ B ∩ C = {b}

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

• d) [(A ∩ C) ∪ D] ∩ B = {4, b, f}

• b) A - (B ∪ C) = {1, 3, 4 – (5, 6)}

• e) (A ∪ B) Δ (B ∩ C) = {1, 2, 3, 4} ya que

(A ∪ B) = {1, 2, 3, 4, 5, 6}

(B ∩ C) = {5, 6}

• c) (A ∩ B) – C = {(3)-4, 5, 6, 7}

• f) ¿Son disjuntos A y D? = Si son disjuntos porque no tiene ningún elemento

en común
 16

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:

• A∪B

• (A - C) ∩ B

• A∩B

• (A ∩ B ∩ C) ∪ D

• (A - C) ∪ B
17
 18

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

siguientes zonas:

• Mc = {1, 2, 3}

• M ∪ N = {1, 2, 3, 4, 5, 6}

• M ∪ N c = {1, 2, 3, 4, 5, 6}

• Mc ∩ N c = {VACIO}

• M ∩ N c = {VACIO}