Actividad 2 - Lógica matemática y conjuntos

Luz Stella Cárdenas Lozano

Docente: Roger Sarmiento

Matemáticas básicas

Corporación universitaria iberoamericana

Psicología

02/04/2023
Ejercicios complementarios
Fundamentos de Lógica Simbolica

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. p  q

b) el material no es interesante, los ejercicios no son difíciles y 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. ¬p  ¬q  ¬r

d) Que el material sea interesante significa que los ejercicios son difíciles y viceversa. p 
q

e) O el material es interesante o los ejercicios no son difíciles pero no ambas cosas. (p 

¬q)  (¬p  q)

2. Escribir las siguientes afirmaciones en forma simbólica :

a) El sol brilla y la humedad no es alta. Sol brilla  ¬humedad alta

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

(Terminé mi tarea antes de la cena  ¬llueve)  iré al partido del futbol

c) Si no me ves mañana significa que habré ido a la playa. ¬me ves mañana  Fui 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. (Costo de utilidades crece  se niega la
requisición de fondos los adicionales)  (Compraremos ua 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. (p  q  ¬r)  (p  ¬q  r)  (¬p  q  r)

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. (p  q  ¬r)  (p  ¬q  r)  (¬p  q  r) 
(p  ¬q  ¬r)  (¬p  q  ¬r)  (¬p  ¬q  r)  (¬p  ¬q  ¬r)

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

Para saber el valor de verdad de esta oración compuesta, necesitas saber el valor
de verdad de q. Si q es verdadera, entonces la implicación es verdadera porque la
hipótesis (p ∧ q) es verdadera, y la conclusión (p ∨ r) es verdadera porque p es
verdadera. Si q es falsa, entonces la implicación también es verdadera, porque la
implicación es verdadera cuando la hipótesis es falsa. En este caso, la hipótesis
es falsa y la conclusión es verdadera, ya que p es verdadera. Por tanto, la
información proporcionada es suficiente para conocer la verdad de la oración
compuesta.

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

La información proporcionada no es suficiente para conocer el valor de verdad de

la proposición compuesta.

5. Simplificar los siguientes esquemas proposicionales :

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

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

6. Determinar si las siguientes proposiciones son leyes lógicas

i) p ⇒ (p ∧ q)

Esta posición no es una ley lógica. Podemos verificar esto encontrando un

contraejemplo en el que la afirmación sea falsa. Si p es falsa y q es verdadera,
entonces la hipótesis p es falsa y la conclusión (p ∧ q) también es falsa. Por lo
tanto, no hay implicación y la oración no es una ley lógica.

ii) p ⇒ (p ∨ q)

Esta proposición es una ley de la lógica conocida como la ley de la adición. Esto
se puede demostrar usando una tabla de verdad. Una proposición es una ley de la
lógica porque la conclusión es verdadera para todas las combinaciones posibles
de los valores de verdad de p y q.

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 V

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

c) (s ∧ q) ⇒ p V

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

Podemos ver que la expresión es verdadera para todos los valores de p y q. Por lo
tanto, la ley es verdadera.

ii) ∼(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 F V F V V V
F V F V V F V V
F F F V V V V V

Podemos ver que la expresión es verdadera para todos los valores de p y q. Por lo
tanto, la ley es verdadera.

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

Podemos ver que la expresión es verdadera para todos los valores de p y q. Por lo
tanto, la ley es verdadera.

9. 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?

Para resolver este problema, podemos construir una tabla con las características
de cada miembro:

Miembro Esquía Escala Le gusta la lluvia Le gusta la nieve

Antonio X - X X
Miguel - X - X
Juan X X - X

La respuesta es sí, hay un miembro del club Alpino que es escalador pero no
esquiador.

10. Cierto país está habitado por personas que siempre dicen la verdad o que
siempre mienten, y que responderán preguntas solo con “si” o “no”. Un turista llega
a una bifurcación en el camino, una de cuyas ramas conduce a la Capital y la otra
no. No hay un letrero que diga qué camino seguir, pero hay un nativo, el señor z,
parado en la bifurcación. ¿Qué única pregunta deberá hacerle el turista para
determinar qué camino seguir?

La pregunta que podría hacerse un turista es: "Si te preguntara por dónde se llega
a la Capital, ¿me responderías que esa es la dirección correcta?".

Si el Sr. Z siempre hubiera dicho la verdad, habría respondido "sí" si el camino en

cuestión conducía a la Capital, y "no" en caso contrario. Si el Sr. Z siempre
hubiera estado mintiendo, habría respondido "sí" si el camino en consideración no
conducía a la Capital, y "no" si lo hiciera. En cualquier caso, la respuesta del Sr. Z
permitirá al turista determinar qué camino tomar para llegar a la Capital.

11. Describir por extensión los conjuntos :

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

B = {x / x2 - 3 x + 1 = 0} B = {φ, 1/2(3 - √5), 1/2(3 + √5)}

C = {x / x ∈ N, x es par} C = {2, 4, 6, 8, ...}

D = {x / x ∈ N, x ≥ 8 ∨ x ≤ 2} D = {1, 2, 8, 9, 10, 11, 12, ...}

E = x / x ∈ Z, | x | ≤ 3} E = {-3, -2, -1, 0, 1, 2, 3}

12. Dados los conjuntos:

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

a) su diagrama de Venn
A
1 3
D f ac
B
b

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

d) (A ∩ B) ∪ D = D

e) ¿Está A ⊂ B o C ⊂ (A∩D)? A no está contenido en B, pero C sí está contenido

en A ∩ D.

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

d) (A - C) ∩ B

e) (A ∩ B ∩ C) ∪ D

14. Señalar si son verdaderas o falsas las siguientes afirmaciones :

a) A ⊂ B ⇒ A ⊂ (A ∩ B) Falso

b) B ⊂ A ⇒ (A ∪ B) ⊄ A Verdadero

c) A = B ⇒ A ∪ B = A Falso

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
4
5
b f 3 2
6

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

c) (A ∩ B) - C = {5}

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

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

f) ¿Son disjuntos A y D? Sí

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

las siguientes zonas :

a) Mc

b) M ∪ N

c) M ∪ Nc

d) Mc ∩ Nc

e) M ∩ Nc

17. 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.
  Personas apuntadas a un solo campeonato: 60 en ajedrez, 70 en cartas, 80
en dominó.
 Personas apuntadas a dos campeonatos: 40 en ajedrez y cartas, 50 en
ajedrez y dominó, 60 en cartas y dominó.
 Personas apuntadas a los tres campeonatos: 30.

18. 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 Falso

ii) W ≠ Z Verdadero

iii) Z ⊃ V Verdadero

iv) V ⊂ X Verdadero

v) X = W Falso

vi) W ⊂ Y Falso

19. Sea U = {a, b, c, d, e} ; A = {a, b, d} ; B = {b, d, e}. Hallar :

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

ii) B ∩ A = {b, d}

iii) Bc = {a, c}

iv) A ∪ B c = {a, b, d, c}

v) Ac ∩ B = {}

vi) A ∪ Bc = {a, d, c, e}

vii) Ac ∩ Bc = {c}
viii) Bc/ Ac = {e, c}

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

x) (A ∪ B)c = {c, e}

20. 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 ?

Primero, es necesario recordar el principio de inclusión-exclusión, que dice que

para dos conjuntos A y B, el número de elementos que pertenecen a al menos uno
de los conjuntos se puede calcular como:

|A ∪ B| = |A| + |B| - |A ∩ B|

El número total de estudiantes en la clase es 150 y sabemos que 17 estudiantes

no obtuvieron una A en ninguno de los exámenes, por lo que el número de
estudiantes que obtuvieron una A en al menos un examen es:

|A ∪ B| = 150 - 17 = 133

También sabemos que 26 estudiantes obtuvieron una A en la primera prueba y 21

obtuvieron una A en la segunda prueba. Por lo tanto, usando el principio de
inclusión y exclusión, podemos calcular el número de estudiantes que obtuvieron
una A en ambas pruebas:

|A ∩ B| = |A| + |B| - |A ∪ B| |A ∩ B| = 26 + 21 - 133 |A ∩ B| = 14

Por lo tanto, 14 estudiantes obtuvieron A en ambos exámenes.