Taller - Actividad 2

Actividad 2 - Lógica matemática y conjuntos

Yefrid Alexander Rojas Monsalve

Docente

DIEGO GAITAN

CORPORACION UNIVERSITARIA IBEROAMERICANA

Matemáticas básicas

TERCER SEMESTRE

BOGOTA D.C
2023
FUNDAMENTOS DE LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

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.

SOLUCION:

a) p ∨ q

b) (p ∨ q) ∧ ¬(p ∧ q)

c) p ∧ ¬q

d) ¬(p ∧ r)

e) (p ∧ q) → r

f) ¬(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

Solución:
a) "El clima es agradable y vamos de día de campo."
b) "El clima es agradable si y solo si vamos de día de campo." (No se puede simplificar más)

c) "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
b) (p ∨ q) ⇒ p
c) p ⇔ (p ∨ q)
d) (q ⇒ p) ⇒ (p ⇒ q)
e) (p ∧ q) ∨ (∼ r) f) ∼ (r ⇒ r)
solución:
a) (p ∨ q) ∨ p:

P q (pvq)v p
T T T
T F T
F T T
F F F

b) (p ∨ q) ⇒ p:

P q pvq (p ∨ q) ⇒ p
T T T T
T F T T
F T T F
F F F T

c) p ⇔ (p ∨ q):

p q p∨q p ⇔ (p ∨ q)
T T T T
T F T T
F T T F
F F F T

d) (q ⇒ p) ⇒ (p ⇒ q):

P q q⇒p p⇒q (q ⇒ p) ⇒ (p ⇒ q)
T T T T T
T F T F F
F T F T T
F F T T T
e) (p ∧ q) ∨ (∼ r):

P q r p∧q ∼r (p ∧ q) ∨ (∼ r)
T T T T F T
T T F T T T
T F T F F F
T F F F T T
F T T F F F
F T F F T T
F F T F F F
F F F F T T

f) ∼ (r ⇒ r):

r r⇒r ∼ (r ⇒ r)
T T F
F T 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 ii) r ⇒ (s ∧ p) iii) (p ∨ r) ⇔ (r ∧ ∼ s
Solución:

p: V q: F r: F s: V

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

[(V ∨ F) ∨ F] ∧ V (T ∨ F) ∨ F ∧ V T ∨ F ∧ V T ∧ V T

ii) r ⇒ (s ∧ p):

F ⇒ (V ∧ V) F ⇒ V V

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

(V ∨ F) ⇔ (F ∧ ∼ V) T ⇔ (F ∧ F) T ⇔ 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.

i) (p ⇒ q) ⇒ r ; r es V
ii) ii) (p ∨ q) ⇔ (∼ p ∧ ∼ q) ; q es V
Solución:

i) (p ⇒ q) ⇒ r ; r es V:

No es posible determinar el valor de verdad de la proposición compuesta [(p ⇒ q) ⇒ r] solo con la

información de que r es V. Para conocer el valor de verdad de la proposición compuesta,
necesitamos conocer los valores de verdad de p y q.

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

La información de que q es V es suficiente para determinar el valor de verdad de la proposición

compuesta. Si q es verdadera, entonces en la expresión (∼ p ∧ ∼ q), ∼ q será falsa, lo que implica
que ∼ p será falsa. Por lo tanto, la expresión (∼ p ∧ ∼ q) será falsa. En consecuencia, la proposición
compuesta se convierte en (p ∨ q) ⇔ F, lo cual implica que p debe ser falsa para que la proposición
sea verdadera. Por lo tanto, se puede concluir que la proposición compuesta es falsa cuando q es
V.

Elija 5 de los ejercicios propuestos en la primera parte del documento que correspondan a
conjuntos:

1) 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}

Solución:

A = {2^n | n ∈ N, n ≥ 0} (A es el conjunto de las potencias de 2)

B = {2n + 1 | n ∈ N, n ≥ 0} (B es el conjunto de los números impares)

D = {n^2 | n ∈ N, n ≥ 0} (D es el conjunto de los cuadrados perfectos)

2) Escribir por extensión los siguientes conjuntos definidos por comprensión

: A = { x / x ∈ N ∧ 3 ≤ x ≤ 10 } B={ x / x ∈ N ∧ 5 / x}

Solución:

A = {3, 4, 5, 6, 7, 8, 9, 10} (A es el conjunto de los números naturales desde 3 hasta 10 inclusive)

B = {5} (B es el conjunto que contiene únicamente el número 5, ya que 5 es divisible por sí mismo)

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

ii) Y = { x : x ≠ x }

iii) Z = { x : x + 8 = 8 }

Solución:

ii) Y = { x : x ≠ x }

Este conjunto es vacío, ya que la condición "x ≠ x" nunca se cumple para ningún valor de x. En otras
palabras, no hay elementos que satisfagan esta condición, por lo tanto, el conjunto está vacío.

iii) Z = { x : x + 8 = 8 }

Este conjunto también es vacío, ya que la única solución para la ecuación "x + 8 = 8" es x = 0. Como
no hay elementos que cumplan con esta condición, el conjunto está vacío.

4) ¿ 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

Solución:

i) Los meses del año: Este conjunto es finito ya que hay un número fijo de meses en el año, que son
12.

ii) {1, 2, 3, ..., 99, 100}: Este conjunto también es finito, ya que contiene un número determinado
de elementos, en este caso, 100 elementos.

iii) El número de personas que viven en la tierra: Este conjunto es infinito, ya que la población
mundial está en constante cambio y no tiene un límite definido.
iv) El conjunto Q de los números racionales: Este conjunto es infinito, ya que los números
racionales son infinitos y no se pueden enumerar todos.

v) El conjunto R de los números reales: Este conjunto también es infinito, ya que los números
reales son infinitos y no se pueden enumerar todos.

En resumen, los conjuntos finitos son los meses del año (i) y el conjunto {1, 2, 3, ..., 99, 100} (ii),
mientras que los conjuntos iii), iv) y v) son infinitos.

5) Dados tres conjuntos A, B y 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 d) (A - C) ∩ B e) (A
∩ B ∩ C) ∪ D 20) Sean U= {1, 2, . . . . , 8, 9} ; A ={1, 2, 3, 4} ; B={2, 4, 6, 8} y C = {3, 4, 5, 6} . Hallar:
Taller i) A c ii) A ∩ C iii) (A ∩ C) c iv) A ∪ B v) (B - C)

Solución:

a) A ∪ B: Esta zona representa todos los elementos que están en el conjunto A o en el conjunto B
(o en ambos conjuntos). En el diagrama de Venn, deberías rayar el área que corresponde a la unión
de A y B.

b) A ∩ B: Esta zona representa todos los elementos que están tanto en el conjunto A como en el
conjunto B, es decir, la intersección de A y B. En el diagrama de Venn, deberías rayar el área que
corresponde a la intersección de A y B.

c) (A - C) ∪ B: Esta zona representa todos los elementos que están en el conjunto A pero no en el
conjunto C, y además incluye los elementos que están en el conjunto B. En el diagrama de Venn,
deberías rayar el área que corresponde a la diferencia de A y C, y luego unirlo con el área de B.

d) (A - C) ∩ B: Esta zona representa todos los elementos que están en el conjunto A pero no en el
conjunto C, y además están en el conjunto B. En el diagrama de Venn, deberías rayar el área que
corresponde a la diferencia de A y C, y luego encontrar la intersección con el área de B.

e) (A ∩ B ∩ C) ∪ D: Esta zona representa todos los elementos que están en la intersección de los
conjuntos A, B y C, y además incluye los elementos del conjunto D. En el diagrama de Venn,
deberías rayar el área que corresponde a la intersección de A, B y C, y luego unirlo con el área de D.
Elija 5 de los ejercicios propuestos en la segunda parte del documento que correspondan a 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 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

Solución:

a) p ∧ q (el material es interesante y los ejercicios son difíciles)

b) ∼p ∧ ∼q ∧ ∼r (el material no es interesante, los ejercicios no son difíciles y el curso no es

agradable)

c) (∼p ∧ ∼q) ⇒ ∼r (si el material no es interesante y los ejercicios no son difíciles entonces el curso
no es agradable)

d) p ⇔ q (que el material sea interesante significa que los ejercicios son difíciles y viceversa)

e) p ∨ ∼q (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 Matemática
Básica Taller

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.

Solución:

a) p ∧ ¬q (el sol brilla y la humedad no es alta)

b) (Termino mi tarea antes de la cena ∧ ¬llueve) ⇒ iré al partido de fútbol

c) ¬(No me ves mañana) ⇒ habré ido a la playa

d) (El costo de las utilidades crece ∨ se niega la requisición de fondos los adicionales) ⇒
(Compraremos una nueva computadora ⇔ podemos mostrar que los recursos de cómputo son
insuficientes)

3) ) a) Escribir una afirmación compuesta que sea verdadera cuando exactamente dos de tres
afirmaciones p ; q y r sean verdaderas. 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.

Solución:

A. (p ∧ q ∧ ¬r) ∨ (p ∧ ¬q ∧ r) ∨ (¬p ∧ q ∧ r)

B. (¬p ∧ ¬q ∧ ¬r) ∨ (p ∧ ¬q ∧ ¬r) ∨ (¬p ∧ q ∧ ¬r) ∨ (¬p ∧ ¬q ∧ r) ∨ (p ∧ q ∧ ¬r) ∨ (p ∧ ¬q ∧ r) ∨

(¬p ∧ q ∧ r)

4) Demuestre por tablas de verdad las siguientes leyes:

i) [ (p ∨ q) ∧ q ] ⇒ q ii) ∼(p ∧ q) ⇔ ∼p ∨ ∼q iii) ∼(p ∨ q) ⇔ ∼p ∧ ∼q

Solución:

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

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

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

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

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

5. 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 b) (r ⇒ s) ∨ (p ⇒ s) c) (s ∧ q) ⇒ p

Solución:

Evaluar las partes internas primero:

(p ∧ q) es F, ya que q es F.

[(p ∧ q) ∧ r] es F, ya que (p ∧ q) es F.

Luego evaluamos la disyunción:

[ (p ∧ q) ∧ r] ∨ s es V, ya que s es V.

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

Evaluar las implicaciones primero:

r ⇒ s es V, ya que r es F.

p ⇒ s es V, ya que s es V.

Luego evaluamos la disyunción:

(r ⇒ s) ∨ (p ⇒ s) es V, ya que al menos una de las implicaciones es verdadera (V).

c) (s ∧ q) ⇒ p:

Evaluamos la conjunción:

(s ∧ q) es F, ya que q es F.

Luego evaluamos la implicación:

(s ∧ q) ⇒ p es V, ya que la premisa es F y, por lo tanto, la implicación es verdadera (V).

Por lo tanto, los valores de verdad de las proposiciones son:

a) [ (p ∧ q) ∧ r] ∨ s = V

b) (r ⇒ s) ∨ (p ⇒ s) = V
c) (s ∧ q) ⇒ p = V

Elija 5 de los ejercicios propuestos en la segunda parte del documento que correspondan a
conjuntos.

1) Describir por extensión los conjuntos : A = {x / x ∈ N, x ≤ 8} D = {x / x ∈ N, x ≥ 8 ∨ x ≤ 2} B = {x / x2

- 3 x + 1 = 0} E = x / x ∈ Z, | x | ≤ 3} C = {x / x ∈ N, x es par}

Solución:

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

D = {1, 2, 8, 9, 10, 11, 12, ...}

B = No se puede describir por extensión sin resolver la ecuación cuadrática x^2 - 3x + 1 = 0.

E = {-3, -2, -1, 0, 1, 2, 3}

C = {2, 4, 6, 8, 10, 12, ...}

2. )Sean V = { d } ; W = {c, d} ; X = {a, b, c} ; Y = {a, b} ; Z = {a, b, d} Determinar si las proposiciones

son verdaderas o falsas :

i) Y ⊂ X

ii) W ≠ Z

iii) Z ⊃ V

iv) V ⊂ X v) X = W vi) W ⊂ Y

Solución:
i) Y ⊂ X: Verdadero. El conjunto Y es un subconjunto propio de X, ya que todos los elementos de Y
(a y b) también están en X.

ii) W ≠ Z: Verdadero. Los conjuntos W y Z no son iguales, ya que el conjunto Z contiene un

elemento adicional (d) que no está en el conjunto W.

iii) Z ⊃ V: Verdadero. El conjunto Z es un superconjunto de V, ya que contiene todos los elementos

de V.

iv) V ⊂ X: Falso. El conjunto V no es un subconjunto de X, ya que el único elemento de V (d) no está

presente en X.

v) X = W: Falso. Los conjuntos X y W no son iguales, ya que el conjunto X contiene elementos

adicionales (a y b) que no están en el conjunto W.

vi) W ⊂ Y: Falso. El conjunto W no es un subconjunto propio de Y, ya que contiene un elemento

adicional (d) que no está en Y.

3.) ) Sea U = {a, b, c, d, e} ; A = {a, b, d} ; B = {b, d, e}. Hallar : i) A ∪ B iii) B c v) A c ∩ B vii) A c ∩ B c

ix) (A ∩ B) c ii) B ∩ A iv) A ∪ B c vi) A ∪ B c viii) B c / A c x) (A ∪ B) c

Solución:

i) A ∪ B: {a, b, d, e}

iii) B ∩ A: {b, d}

v) A ∩ Bc: {a}

vii) Ac ∩ B: {}

ix) (A ∩ B)c: {c, e}

ii) B ∩ A: {b, d}

iv) A ∪ Bc: {a, b, d}

vi) A ∪ Bc: {a, c}

viii) Bc / Ac: {c, e}

x) (A ∪ B)c: {c}

4.) ) Dados los conjuntos: A = {1, 3} B = {a, b, c} C = {b} D = {1, 3, b, f} Hallar:

a) su diagrama de Venn

b) A ∪ B ∪ C ∪ D

c) A ∩ B ∩ C

d) (A ∩ B) ∪ D

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

Solución:

A.) Diagrama de Venn:

A: {1, 3}
________
| |
B: {a, b, c} C: {b}
| |
|___D: {1, 3, b, f}

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

c) A ∩ B ∩ C = {}

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

e) A ⊂ B es falso porque A contiene elementos (1, 3) que no están en B.

C ⊂ (A ∩ D) es falso porque C contiene el elemento 'b' que no está en (A ∩ D)

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

b) A - (B ∪ C) e) (A ∪ B) Δ (B ∩ C)

c) (A ∩ B) - C f) ¿ Son disjuntos A y D ?

Solución:

css
Copy code

____C____

/ \

____A____ ____B____

/ \ / \

1 3 4 5 2 6 7

\ /

\____D______/

\ /

b f

a) Para calcular [(A ∩ C) ∪ D] ∩ B, primero necesitamos encontrar las intersecciones y uniones

correspondientes:

(A ∩ C) = {4, 5}

(A ∩ C) ∪ D = {4, 5, b, f}

[(A ∩ C) ∪ D] ∩ B = {5}

b) Para calcular A - (B ∪ C), primero necesitamos calcular B ∪ C:

B ∪ C = {2, 3, 4, 5, 6, 7}

A - (B ∪ C) = {1, 3}

c) Para calcular (A ∩ B) - C, primero necesitamos calcular A ∩ B:

A ∩ B = {3, 5}

(A ∩ B) - C = {}

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

e) Para calcular (A ∪ B) Δ (B ∩ C), primero necesitamos calcular A ∪ B y B ∩ C:

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

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

f) A y D son disjuntos si su intersección es el conjunto vacío. En este caso, A ∩ D = {}, por lo tanto, A
y D son disjuntos.

CONCLUCIONES:

la lógica matemática y los conjuntos son dos áreas interconectadas que se complementan
mutuamente. La lógica matemática proporciona el marco formal para el razonamiento válido y la
inferencia lógica, mientras que los conjuntos brindan una herramienta poderosa para organizar,
clasificar y analizar objetos matemáticos. Ambas áreas son fundamentales en el estudio de las
matemáticas y tienen aplicaciones en diversas disciplinas científicas y técnicas.