Problemas de Lógica

1. Expresa cada una de las siguientes fórmulas en lenguaje natural:

¬p p∨q p→q
p∧q p↔q ¬p → ¬q
¬p ∧ ¬q ¬p ∧ (p ∨ q) ¬q → ¬p
Para los enunciados p y q, donde
(a) p : Compré un billete de loterı́a esta semana.
q : Gané el premio de un millón de euros del viernes.
(b) p : Estudio mucho esta semana.
q : Me irá muy bien en el curso.
(c) p : Conduces a exceso de velocidad.
q : Te multan.

2. Escribe los siguientes enunciados usando conectivos lógicos:

(a) Estamos bajo cero y nieva.
(b) Estamos bajo cero, pero no nieva.
(c) No estamos bajo cero y no nieva.
(d) Estamos bajo cero o nieva.
(e) Si estamos bajo cero, entonces también nieva.
(f) Estamos bajo cero o nieva, pero no nieva si estamos bajo cero.
(g) Que estemos bajo cero es necesario y suficiente para que nieve.

3. Escribe cada una de los siguientes enunciados dela forma ”si p entonces q”
(a) Es necesario lavar el coche del jefe para ascender.
(b) Viento del sur implica deshielo de la primavera.
(c) Una condición suficiente para que la garantı́a sea válida es que hayas
comprado la computadora hace menos de un año.
(d) A Guillermo siempre se le descubre cuando hace trampa.
(e) Puedes acceder a la página web si pagas una cuota de suscripción.
(f) Ser elegido es consecuencia de conocer a la gente adecuada.
(g) Carolina se marea siempre que se sube a un barco.

4. ¿De cuántas formas se puede hacer verdadera la siguiente proposición medi-

ante asignación de valores de verdad a p, q y r? En cada inciso encuentra los
valores de verdad para p, q y r, que hacen verdadera cada una de las siguientes
proposiciones:
(a) (p ∨ ¬q) ∧ (¬p ∨ q) ∧ (q ∨ r) ∧ (q ∨ ¬r) ∧ (¬q ∨ ¬r).
(b) (p ∧ ¬q ∧ ¬r) ∨ (p ∧ q ∧ ¬r) ∨ (p ∧ q ∧ r).
(c) p ∧ (¬p ∨ q ∨ r) ∧ (¬p ∨ ¬q ∨ r) ∧ (¬p ∨ ¬q ∨ ¬r).
(d) ¬(p ∧ q ∧ r) ∧ (q ∨ ¬r) ∧ r.
(e) (¬p ∧ ¬q ∧ r) ∨ (¬p ∧ q ∧ ¬r) ∨ (p ∧ ¬q ∧ ¬r).

1
5. Los siguientes problemas fueron formulados en una isla habitada por 2 tipos
de gente: los caballeros, que siempre dicen la verdad, y los villanos, que siempre
mienten. Te encuentras a dos personas A y B. Determina, si es posible, qué son
A y B en cada inciso. Si no puedes determinar qué son estas personas, ¿puedes
deducir alguna conclusión?
(a) A dice ”Los 2 somos caballeros” y B dice ”A es un villano”.
(b) A dice ”Ambos somos villanos” y B no dice nada.
(c) A dice ”B es un caballero” y B no dice nada.
(d) Tanto A como B dicen ”Yo soy un caballero”.
(e) A dice ”Solo uno de nosotros es un villano” y B no dice nada.
(f) Supongamos que te encuentras a 3 personas A, B y C, ?Qué son cada una
de ellas si A dice ”B es un caballero” y B dice ”exactamente uno de nosotros 3
es un caballero”?
(g) ¿Qué puedes decir de la persona que te diga ”Yo soy un villano”?

6. Sólo uno de lo siguientes enunciados es falso. Cuál es?

A. El enunciado D es verdadero.
B. El enunciado A es falso.
C. El enunciado B es falso.
D. El enunciado C es verdadero.

7. Un detective ha tomado declaración a 4 testigos de un crimen. De las

declaraciones concluye que si el mayordomo dice la verdad, también la dice el
cocinero; el cocinero y el jardinero no pueden decir ambos la verdad; el jardinero
y el empleado de mantenimiento no están mintiendo ambos, y si el empleado de
mantenimiento dice la verdad, entonces el cocinero miente. Para cada uno de
los testigos, ¿puede el detective determinar si miente o dice la verdad?

8. La policı́a tiene 3 sospechosos del asesinato del señor Cooper: El señor Smith,
el señor Jones, y el señor Williams. Cada uno declara que no mató a Cooper.
Smith declara además que Cooper era amigo de Jones y que Williams no lo
apreciaba. Jones también declara que él no conocı́a a Cooper y que estaba
fuera de la ciudad cuando Cooper fue asesinado. Williams declara también que
vio a Smith y Jones con Cooper el dı́a del asesinato y que Smith o Jones debió
matar a Cooper. ¿Puedes determinar quién es el asesino si uno de los 3 hombres
es culpable, y los 2 inocentes dicen la verdad?

9. Elena organiza una fiesta y tiene que determinar a quién invita:

(a) Si invita a Margarita, también debe de invitar a Juana.
(b) Si invita a Catalina, también tiene que invitar a Natalia y a Margarita.
(c) Puede invitar a Carmen o a Juana, pero definitivamente a ambas no.
(d) Ni Carmen ni Natalia irán si no invita a las 2.
(e) Debe invitar a Catalina, a Natalia o a ambas.

2
10. Cuatro amigos han sido identificados como sospechosos de acceso no autor-
izado a un sistema informático. Por ello han declarado a las autoridades que
investigan el hecho.
Alicia dijo ”lo hizo Carlos”.
Juan dijo ”yo no lo hice”.
Carlos dijo ”Diana lo hizo”.
Diana dijo que ”Carlos mintió cuandodijo que yo lo hice”.
(a) Si las autoridades saben además que exactamente uno solo de ellos dice
la verdad, y que sólo hay un culpable, ¿Quién lo hizo?
(b) Si las autoridades saben además que exactamente uno solo de ellos
miente, y que sólo hay un culpable, ¿Quién lo hizo?

11. Supongamos que en una isla hay 3 tipos de personas: caballeros, villanos y
normales. Los caballeros siempre dicen la verdad, los villanos siempre mienten,
y los normales a veces mienten y a veces dicen la verdad. Tres habitantes de
esa isla, Antonio, Blas y Carlos, son interrogados por detectives como parte de
una investigación por un crimen. Los detectives saben que uno de ellos cometió
el crimen, pero no cuál de ellos. También saben que el criminal es un caballero
y los otros 2 no. Además, los detectives anotaron las siguientes frases:
Antonio ”soy inocente”.
Blas ”Lo que dice Antonio es cierto”.
Carlos ”Blas no es una persona normal”.
Tras analizar la información, los detectives pudieron localizar positivamente
al culpable. ¿Quién fue?

12. En una mesa hay 3 sombreros negros y 2 blancos. Tres señores en fila india
se ponen un sombrero al azar y sin mirar el color.
Se le pregunta al tercero de la fila, que puede ver el color del sombrero del
primero y del segundo, si puede decir el color de su sombrero, a lo que responde
negativamente.
Se le pregunta al segundo, que solo ve solo el sombrero del primero y tampoco
puede responder a la pregunta.
Por último el primero de la fila que no ve ningún sombrero responde acer-
tadamente de qué color es el sombrero que traı́a puesto.
¿Cuál es este color y cuál es la lógica que usó para resolverlo?

13. ¿Es la sentencia ”esta afirmación es falsa” una proposición?

14. Realiza las operaciones AND, OR, y XOR de las siguientes cadenas:
(a) 0101111101 y 0010000101 (b) 0111000100 y 0000011111
(c) 1100100010 y 0010110101 (d) 1100001110 y 1001010110
(e) 0111111011 y 1101101110

3
15. En el bosque hay 20 duendes. Algunos son verdes, otros son amarillos y
otros son morados. Se les hicieron tres preguntas. Los verdes siempre dijeron la
verdad, los morados siempre mintieron, y cada uno de los amarillos eligió entre
mentir o decir la verdad al responder la primera pregunta y, a partir de ahı́
alternó entre verdad y mentira. La primer pregunta que se le hizo a cada uno
es ¿Eres verde?, a lo que 17 de ellos respondieron ”Si”. La segunda pregunta
fue ¿Eres amarillo? 12 de ellos respondieron que ”Si”. La tercer pregunta fue
¿Eres morado? 8 de ellos respondieron ”Si” ¿Cuántos duendes son amarillos?

16. Realiza lo que se te indica en cada inciso:

(a) Determina si el siguiente argumento es válido o no. Justifica tu respuesta:
”Si contesto esta pregunta entonces tengo dos puntos. Si tengo dos puntos
apruebo el examen. No aprobé el examen, por lo tanto no contesté bien esta
pregunta”

17. Traduce las siguientes cuantificaciones al lenguaje natural y determina su

valor de verdad. También escribe su negación.
(a) ∃x ∈ R(x3 = −1)
(b) ∃x ∈ Z(x + 1 > x)
(c) ∀x ∈ Z+ (x − 1 ∈ Z+ )
2
(d) ∀x ∈ Z(x√ ∈ Z)
+
(e) ∀x ∈ Z ( x ∈ / Z+ )

18. Escribe en lenguaje natural, determina el valor de verdad y la negación

de cada una de las proposiciones siguientes. El dominio es el conjunto de los
enteros:
(a) ∀x (x > 0) → (1/x > 0).
(b) ∀a∀b∃x∃r, a = bx + r.
(c) ∃m∃n m2 + n2 = 20.
(d) ∀m∀n x2 6= y 3 .
(e) ∀n∃k n = 2k ⊕ n = 2k + 1.

19. Para cada conjunto de premisas, ¿Qué conclusiones se pueden deducir?

(a) ”Si me tomo el dı́a libre, o bien nieva o bien llueve”,
(b) ”Me tomé el Jueves libre”,
(c) ”no nevó el jueves”.

(i) ”Lo que es bueno para las empresas es bueno para tu paı́s”,
(ii) ”Lo que es bueno para tu paı́s es bueno para ti”,
(iii) ”Lo que es bueno para las empresas es que trabajemos con muchas
ganas”.

20. Sea P (x, y) el enunciado ”x es padre de y” y H(x, y) el enunciado ”x es

hermano de y”. Con ayuda de P , H, ∃, ∨, ∧ y ¬ escribe los nuevos predicados
A(x, y) definido por ”x es abuelo de y”, T (x, y) definido como ”x es tı́o de y” y
por último Q(x, y) definido como ”x es primo de y”.

4
21. Sea A(x, y) la sentencia “El alumno x aprobó la materia y”, donde el dominio
de x es el conjunto de estudiantes de tu clase, y el de y el de las materias que
estás cursando. Expresa cada una de estas cuantificaciones a lenguaje natural.

(a) ∃x∃y P (x, y) (b) ∃x∀y P (x, y) (c) ∀x∃y P (x, y)

(d) ∃y∀x P (x, y) (e) ∀y∃x P (x, y) (f ) ∀x∀y P (x, y)
(g) ∃x∀y ¬P (x, y) (h) ∀x∃y ¬P (x, y) (i)∀y∃x ¬P (x, y)

22. Sea U el universo con un número finito de elementos. Sean A y B dos

conjuntos. Si |Q| denota el número de elementos del conjunto Q, ordena las
siguientes listas en orden creciente de acuerdo con su tamaño:
(a) |A ∪ B|, |U |, |B|, |∅|, |A ∩ B|.
(b) |A − B|, |P(A ∪ B)|, |∅|, |A ⊕ B|, |A ∪ B|.
(c) |U |, |∅|, |A|, |A| + |B|, |A ∪ B|.

23. (a) Expresa cada una de las siguientes sentencias usando predicados, cuan-
tificadores, y operadores matemáticos y lógicos.
(b) Escribe su negación, en lenguaje matemático.
(c) Escribe su negación, en lenguaje natural.
(i) La suma de dos enteros negativos es negativa.
(ii) La resta de dos enteros positivos a veces es negativa.
(iii) El producto de dos enteros negativos es negativo.
(iv) El promedio de dos enteros positivos es positivo.
(v) La resta de dos enteros al cuadrado siempre es positiva.
(vi) Hay un entero positivo que no es la suma de tres enteros
al cuadrado.
(vii) La diferencia entre un entero y él mismo es cero.
(viii) Todo entero positivo tiene dos raı́ces cuadradas.
(ix) La suma de los cuadrados de dos enteros es mayor que la suma
de los enteros al cuadrado.
(x) El valor absoluto del producto de dos enteros es el producto de
sus valores absolutos.

24. Sea P (x, y) una proposición, cuyo dominio tanto para x como para y es el
conjunto {1, 2, 3}. Escribe las siguientes proposiciones utilizando ∧ y ∨.

(a) ∀x∀y P (x, y) (b) ∃x∀y P (x, y)

(c) ∀x∃y P (x, y) (d) ∃x∃y P (x, y)
25. Los siguientes enunciados son falsos. Encuentra el valor o los valores para
x y y que verifiquen que efectivamente es falso el enunciado:
Dominio = R.

(a) ∀x∃y x = 1/y (b) ∀x∀y x2 6= y 3

2
(c) ∀x∃y y − x = 100

5
26. Una antigua leyenda habla sobre un barbero que afeita a aquellas personas,
y sólo a aquellas personas que no se afeitan a sı́ mismas. ¿Puede existir tal
barbero?
Plantea esta situación utilizando predicados y cuantificadores.

27. Sean A, B, C, D, E ⊆ Z definidos como sigue: A = {2n|n ∈ Z},

B = {3n|n ∈ Z}, C = {4n|n ∈ Z}, D = {6n|n ∈ Z} y E = {8n|n ∈ Z}.
¿Cuáles de las siguientes proposiciones son verdaderas y cuá les son falsas?

(i)E ⊆ C ⊆ A (ii)A ⊆ C ⊆ E (iii)B ⊆ D

(iv)D ⊆ B (v)D ⊆ A (vi)D ⊆ A
Justifica tu respuesta.

28. Escribe de manera simbólica las siguientes proposiciones, señalando el con-

junto universal y el cuantificador. Además, hallar la negación de las proposi-
ciones dadas.
(a) Algunos estudiantes de la UTM tienen promedio igual a nueve.
(b) Es falso que algún Español no es torero.
(c) Todo número real diferente de cero, cumple que es mayor que cero o
menor que cero.

29. Utiliza las premisas que sean necesarias y el método que te convenga, para
demostrar la veracidad o falsedad de las siguientes proposiciones.
(a) Si n y m son√enteros impares,
√ √ entonces n + m es un entero par.
(b) ∀a, b ∈ R+ : a + b = a + b.

30. Se llevó a cabo una investigación con 1000 personas, para determinar qué
medio utilizan para conocer las noticias del dı́a. Se encontró que 400 personas
escuchan las noticias en forma regular por TV, 300 personas escuchan las noti-
cias por la Radio y 275 se enteran de las noticias por ambos medios.
a) ¿Cuántas de las personas investigadas se enteran de las noticias sólo por
la TV?
b) ¿Cuántas de las personas investigadas se enteran de las noticias sólo por
Radio?
c) ¿Cuántas de las personas investigadas no escuchan ni ven las noticias?

31. (a) Escribe qué es una proposición lógica.

(b) Justifica si la oración: Los alumnos de la UTM son muy estudiosos es
una proposición lógica.
(c) Escribe un ejemplo de una proposición abierta.

32. Enlista todos los elementos de cada uno de los siguientes conjuntos
(a) {1 + (−1)n |n ∈ N}.
(b) {2m − 1|m es primo menor que 20}.
(c) { n21+n |n es un entero positivo impar y n ≤ 11}.

6
33. ¿Cuáles de los siguientes conjuntos son no vacı́os?

(a){x ∈ N|2x + 7 = 3} (b){x ∈ R|x2 + 4 = 6}

(c){x ∈ Q|x2 + 5 = 4} (d){x ∈ Q|x2 + 4 = 6}

34. Sea P el conjunto de los enteros pares, e I el conjunto de los enteros impares,
y como es usual Z el conjunto de los enteros. Demuestra que

(a)P ∩ I = ∅ (b)Z − P = I (c)P ∪ I = Z

35. Sean A, B, C, D, E ⊆ N definidos como sigue:

A = {2n|n ∈ N}, B = {3n|n ∈ N}, C = {4n|n ∈ N}, D = {6n|n ∈ N} y
E = {8n|n ∈ N}.
(a) Observa que podemos reescribir a A como A = {2, 4, 6, 8, 10, ...}. Ree-
scribe los conjuntos B, C, D y E de manera semejante a como se hizo con
A.
(b) ¿Cuáles de las siguientes proposiciones son verdaderas y cuáles son falsas?

(i)E ⊆ C ⊆ A (ii)A ⊆ C ⊆ E (iii)B ⊆ D

(iv)D ⊆ B (v)D ⊆ A (vi)D ⊆ A
(c) (i) ¿A ∩ B = D?
(ii) ¿A ∩ D = ∅?

36. Sea U un universo con un número finito de elementos. Sean A y B dos

conjuntos. Si |Q| denota el número de elementos de un conjunto, ordena las
siguientes listas en orden creciente de acuerdo con su tamaño:
(a) |A ∪ B|, |U |, |B|, |∅|, |A ∩ B|.
(b) |A − B|, |P(A ∪ B)|, |∅|, |A ⊕ B|, |A ∪ B|.
(c) |U |, |∅|, |A|, |A| + |B|, |A ∪ B|.

37. Sean A y B conjuntos cualesquiera de un conjunto universo U . Demuestra

que si A ∩ B = ∅ entonces A ⊆ B.

38. Sea U un universo con un número finito de elementos. Sean A y B dos

conjuntos. Demuestra que |A ∪ B| = |A| + |B| − |A ∩ B|.

39. Determina el valor de verdad y la negación de cada una de las proposiciones

siguientes. El dominio es el conjunto de los enteros:
(a) ∀x (x > 0) → (1/x > 0).
(b) ∀a∀b∃x∃r, a = bx + r.
(c) ∃m∃n m2 + n2 = 20.
(d) ∀m∀n m2 6= n3 .
(e) ∀n∃k n = 2k ⊕ n = 2k + 1.

40. Demuestra que

A ∩ B = A ∪ B.