1 CAPÍTULO UNO Ejercicios propuestos

1.1 Proposiciones
1. Indique si cada enunciado es o no una proposición:
a) 7415 es un número par.
b) ¿Qué hora es?
c) Los números divisibles para 8 son divisibles para 2.
d) ¡Pare, por favor!
e) El atardecer en la playa es romántico.
f) La edad de Gloria es 17 años.
g) Guayaquil es la capital económica de Ecuador.
h) Galápagos es considerado Patrimonio Cultural de la Humanidad.
i) Mi familia y yo viajaremos a la Sierra en fin de año.
j) Ayer estuvo soleado pero hoy llueve torrencialmente.
k) Mi palabra se siente levantada por un caballo lírico que salta.
l) El mejor gobierno es el que gobierna menos.
2. Indique cuál de los siguientes enunciados no es una proposición:
a) Hubo escasez de lluvias.
b) Mi correo electrónico es [email protected]
c) 5(3 + 4) = 36.
d) 3 es un número par.
e) Turismo.
3. Indique cuál de los siguientes enunciados es una proposición:
a) ¿Qué estás haciendo?
b) 3 − x = 7.
c) ¡Márchate!
d) 3 + x >7.
e) Neil Armstrong caminó sobre la Luna.
4. Indique cuál de los siguientes enunciados es una proposición:
a) El sabor del color azul es dulce.
b) 314159 es un número primo.
c) x2 + 2x + 1 = 0.
d) Disparen al ladrón.
e) La edad del universo es de unos 15 mil millones de años.
5. Indique cuál de los siguientes enunciados es una proposición:
a) Las rosas me cautivan. d) 45 + 18.
b) El amanecer es bello. e) La Química es complicada.
c) 4 es divisible para 2.
6. Dados los siguientes enunciados:
I: Disminuya la velocidad. III: Mi banca es gris.
II: 10 − 8 = 1. IV: Hola, ¿cómo estás?.
Es verdad que:
a) I y II son proposiciones. d) II y III son proposiciones.
b) I y III son proposiciones. e) Todos son proposiciones.
c) I y IV son proposiciones.
pág. 79
1.2 Operadores lógicos
7. Dadas las siguientes proposiciones:
a: Elizabeth cumple con sus obligaciones.
b: Elizabeth aprueba el examen.
c: Elizabeth se va de vacaciones.
d: Elizabeth trabaja.
e: Elizabeth come.
Traduzca literalmente las siguientes proposiciones:
I) a→ ¬ [b → (¬ c ∨ d)]
II) [b ∧ ¬ (d ↔ ¬ a)] ∨ [(c ∨ d) → (d ∧ e)]
III) c → [(a ↔ d ) ∧ (b ↔ ¬ e)]
IV) (a ∧ b) ↔ [c ∨ (d → ¬ e)]
8. Sean las proposiciones:
a: Como espinaca. b: La Lógica es fácil. c: Me divierto con este deber.
Parafrasee las siguientes proposiciones:
a) (a ∧ b) ↔ c b) (b ∧ c) → a c) ¬ a → (¬ b ∨ ¬ c)
9. Si la disyunción entre dos proposiciones es falsa, entonces la enunciación
hipotética entre ellas también es falsa.

a) Verdadero b) Falso
10.Si la negación de la disyunción entre dos proposiciones es verdadera,
entonces la enunciación hipotética entre ellas también es verdadera.

a) Verdadero b) Falso
11. Una contrarrecíproca de la proposición “Si estudio conscientemente, apruebo el curso
de nivel cero” es “Si no estudio conscientemente, no apruebo el curso de nivel cero”.

a) Verdadero b) Falso
12. Defina simbólicamente las proposiciones e indique la traducción al lenguaje
formal:
a) La decisión depende del juicio o la intuición, pero no del dinero.
b) Iré al estadio o al cine, en caso de que consiga dinero.
c) El Sol brilla porque es el día del amor.
d) A Juan no le agrada este ejercicio, pues no lo puede resolver.
13. Considerando las proposiciones:
a: La información es correcta.
b: Existe un incremento en los costos de producción.
c: El analista tiene un error de apreciación.
Traduzca al lenguaje formal la proposición: La información es incorrecta,
sólo si existe un incremento en los costos de producción o el analista tiene
un error de apreciación.

pág. 80
14. Determine el valor de verdad de las siguientes proposiciones:
a) Quito es capital de Argentina o Buenos Aires es capital de Ecuador.
b) 5 es menor que 10 y 8 no es un número primo.
c) [9 − 16 = (3 − 4)(3 + 4)] ∨ [(−5)(−2) > 0]

15. Indique cuál de las siguientes proposiciones es falsa:

a) Si 2(3 + 5) = 16 entonces 5(6 + 1) = 35.
b) Si (4 + 5) = 20 entonces (6 + 7) = 12.
c) Si (9 + 5) = 14 entonces (6 + 5) = 11.
d) Si 9(4 + 2) = 54 entonces 9(4 + 1) = 14.
e) Si 3(4 + 5) = 28 entonces 7(6 + 5) = 37.

16. Una recíproca de la proposición “Carlos llega impuntual, siempre que se

levanta tarde” es:
a) Si Carlos se levanta tarde, entonces llega impuntual.
b) Si Carlos llega impuntual, entonces se levanta tarde.
c) Si Carlos no llega impuntual, entonces no se levanta tarde.
d) Carlos llega impuntual, si no se levanta tarde.
e) Si Carlos no llega impuntual, entonces se levanta tarde.

17. La traducción en el lenguaje formal de la proposición “Si tu eres inteligente

y no actúas con prudencia, eres un ignorante en la materia”, siendo las
proposiciones:

m: Tú eres inteligente.
n: Tú actúas con prudencia.
p: Tú eres un ignorante en la materia.
es:
a) (m ∧ ¬ n) → p d) (m ∧ ¬ p) → n
b) m ∨ (n ∨ p) e) m → ¬(n ∧ ¬ p)
c) p → (m ∧¬ n)
18. Empleando tablas de verdad, identifique una contrarrecíproca de la
proposición “Siempre que tengo hambre y no tengo tiempo para comer, no
me siento bien y no puedo estudiar”.
a) Si no tengo tiempo para comer y tengo hambre, me siento bien y puedo
estudiar.
b) Si no me siento bien ni puedo estudiar, tengo hambre o no tengo tiempo
para comer.
c) Si me siento bien y puedo estudiar, tengo hambre o no tengo tiempo
para comer.
d) Si no tengo hambre ni tengo tiempo para comer, me siento bien o puedo
estudiar.
e) Si me siento bien o puedo estudiar, no tengo hambre o tengo tiempo
para comer.

pág. 81
19. Siendo la proposición “Si el país está bien económicamente, yo tengo
empleo” verdadera, entonces la condición necesaria de la proposición es:

a) El país no está bien económicamente.

b) Yo tengo empleo.
c) Yo no tengo empleo.
d) El país está bien económicamente y yo tengo empleo.
e) Ni tengo empleo ni el país está bien económicamente.

20. “Si una función es diferenciable, es continua” es una proposición verdadera,

¿cuáles de las siguientes proposiciones son verdaderas?
a) Una función es diferenciable sólo si es continua.
b) Una función es continua sólo si es diferenciable.
c) La diferenciabilidad de una función es condición necesaria para la
continuidad de la misma.
d) La diferenciabilidad de una función es condición suficiente para la
continuidad de la misma.
e) La diferenciabilidad de una función es condición suficiente y necesaria
para que sea continua.

21. Considere la proposición “Compro y uso el traje gris, si me pagan”.

Empleando tablas de verdad, identifique:
I) Una recíproca de la proposición dada.
a) Si compro y uso el traje gris, entonces me pagan.
b) Si no compro y no uso el traje gris, entonces no me pagan.
c) Si no compro o no uso el traje gris, entonces me pagan.
d) Si no me pagan, entonces no compro o no uso el traje gris.
e) Si me pagan, entonces compro y uso el traje gris.

II) Una inversa de la proposición dada.

a) Si compro y uso el traje gris, entonces me pagan.
b) Si no compro o no uso el traje gris, entonces no me pagan.
c) Si no compro o no uso el traje gris, entonces me pagan.
d) Si no me pagan, entonces no compro o no uso el traje gris.
e) Si me pagan, entonces compro y uso el traje gris.

III) Una contrarrecíproca de la proposición dada.

a) Si compro y uso el traje gris, entonces me pagan.
b) Si no compro o no uso el traje gris, entonces no me pagan.
c) Si no compro o no uso el traje gris, entonces me pagan.
d) Si no me pagan, entonces no compro o no uso el traje gris.
e) Si me pagan, entonces compro y uso el traje gris.

22. Considere las proposiciones:

a: Hoy es lunes. b: Obtengo un buen resultado.
La traducción de la proposición “Es suficiente que hoy sea lunes para que
obtenga un buen resultado” es b → a.

a) Verdadero b) Falso

pág. 82
1.3 Proposiciones simples y compuestas
23. Una traducción al lenguaje formal de “Guayaquil mejora su imagen, si la
Municipalidad realiza obras o los ciudadanos colaboran en el aseo de las
calles”, siendo las proposiciones simples:
m: La Municipalidad realiza obras.
n: Los ciudadanos colaboran en el aseo de las calles.
p: Guayaquil mejora su imagen.
es: p → (m ∨ n)
a) Verdadero b) Falso

24. Considere las proposiciones simples:

a: Utilizo mis habilidades matemáticas.
b: Resuelvo bien los ejercicios.
c: Hago un buen deber.
La traducción de la proposición compuesta “Es necesario que utilice mis
habilidades matemáticas para que resuelva bien los ejercicios y haga un
buen deber”, es a → (b ∧ c).

a) Verdadero b) Falso

25. Una traducción al lenguaje formal de “Mis padres me compran un carro sólo
si me porto bien y apruebo este curso”, siendo las proposiciones simples:
m: Mis padres me compran un carro.
n: Yo me porto bien.
p: Yo apruebo este curso.
es: (n ∧ p) → m
a) Verdadero b) Falso

26. Si la proposición ¬ (p ∧ ¬ q ∧ ¬ r) es falsa, entonces la proposición p → (q ∧ r)

es:

a) Verdadera b) Falsa

27. Si se consideran las siguientes proposiciones simples:

m: Viajo al exterior.
n: Apruebo el curso de nivel cero.
p: Obtengo una beca.
Una traducción al lenguaje formal de la proposición compuesta “Viajo al
exterior sólo si apruebo el curso de nivel cero y obtengo una beca”, es:
a) ¬ p → (m ∧ n) d) m → (n ∧ p)
b) ¬ m → ¬ (n ∧ p) e) (n ∧ ¬ p) → m
c) ¬ (n ∧ ¬ p) ∨ m
pág. 83
28. Si la proposición [(p → ¬ q) → (r ∧ ¬ s)] ∧ [ p ∧ (¬ r ∧ s)] es verdadera,
entonces es cierto que:
a) (p ∨ q) es falsa. d) q es falsa.
b) (q ∧ s) es verdadera. e) (p ∧ ¬ r) es falsa.
c) [(r ∨ s) ∧ q] es falsa.

29. Sean las proposiciones simples:

a: Te gustan las matemáticas. b: Te gusta este deber.
Traduzca las siguientes proposiciones compuestas al lenguaje común:
a) ¬ a ∨ b b) a ∧ ¬ b c) a → b d) ¬ b → ¬ a e) (a ∨ ¬ a) → b

30. Dadas las proposiciones simples:

p: Necesito un doctor. r: Tengo un accidente.
q: Necesito un abogado. s: Estoy enfermo.
Una traducción al lenguaje formal de la proposición compuesta “Si estoy
enfermo, necesito un doctor; y si tengo un accidente, necesito un abogado”, es:

a) (s → p) ∧ (¬ r → q) d) (s ∨ p) ∧ (r → q)
b) (s → p) ∧ (r → q) e) (s → p) ∧ (r ∧ q)
c) (s ∧ p) ∧ (¬ r → q)

31. Dadas las proposiciones simples:

p: La guerra se detiene. q: Sigo estudiando. r: Sigo trabajando.
Una negación de la proposición compuesta “Si la guerra se detiene,
entonces podré seguir estudiando o trabajando”, es:
a) (¬ p ∧ q) ∧ ¬ r d) (¬ p ∨ q) ∧ ¬ r
b) ¬ ( p ∧ q ∧ r) e) ¬ [ p → ( q ∨ r )]
c) ¬ ( p ∧ q ) ∧ ¬ r

32. Dadas las proposiciones simples:

p: Pedro realizó un paseo en grupo.
q: Pedro preparó el mejor informe de la clase.
r: Encontré a Pedro visitando el Centro Comercial San Marino.
Una traducción al lenguaje formal de la proposición compuesta “Pedro
realizó un paseo en grupo y preparó el mejor informe de la clase, puesto
que lo encontré visitando el Centro Comercial San Marino”, es:

a) (p ∧ ¬ q) → r d) r → (¬ p ∧ q)
b) r →(¬ p ∨ ¬ q) e) r → (p ∧ q)
c) (¬ p ∨ ¬ q) → r
pág. 84
33. Dadas las proposiciones simples:
p: Hoy es domingo.
q: Tengo que estudiar teorías de aprendizaje.
r: Aprobaré el curso.
Una traducción al lenguaje formal de la proposición compuesta “Hoy es
domingo pero tengo que estudiar teorías de aprendizaje, o no aprobaré
el curso”, es:
a) (p ∧ q) ∨ r d) ( p ∧q) ∨ ¬ r
b) p ∧ q ∧ r e) (p ∧ q) → r
c) (p ∨ q) ∨ r

34. Dadas las proposiciones simples:

a: Luis llega a tiempo.
b: Luis se levanta temprano.
c: Luis desayuna.
Una traducción al lenguaje formal de la proposición compuesta “Para que
Luis desayune y llegue a tiempo es necesario que se levante temprano”, es:
a) c → (a ∧ b) d) (c ∧a) → b
b) (a ∧ b) → c e) (c → b) ∧ a
c) a → (b ∧ c)

35. Dadas las proposiciones simples:

m: Se realiza una gran fiesta.
n: Hago bien este deber.
p: Mis amigos están de acuerdo.
Una traducción al lenguaje formal de la proposición compuesta “Se realiza una
gran fiesta sólo si hago bien este deber y mis amigos están de acuerdo”, es:
a) (n ∧ ¬ p) → m d) m → (n ∧ p)
b) ¬ p → (m ∧ n) e) ¬ m → ¬ (n ∧ p)
c) ¬ (n ∧ ¬ p) ∨ m

36. Dadas las proposiciones simples:

p: Estudio Historia.
q: Estudio Geografía.
r: Estudio Matemáticas.
Empleando tablas de verdad, identifique una traducción al lenguaje formal
de la proposición compuesta “Si estudio Historia o Geografía, entonces
estudio Matemáticas”.
a) (p → r) ∧ (q → r) d) ¬ r → (p ∧ q)
b) ¬ p → (q ∧ r) e) q → (¬ p ∧ r)
c) (p → r) ∧ ¬ q
pág. 85
37. Si la proposición [(a ∧ ¬ b) → d ] ∨ ¬ (d ∨ e) es falsa, entonces es verdad que:
a) (b ∨ a) es falsa. d) (a → d) es falsa.
b) (¬ e ∨ ¬ d) es falsa. e) (e → a) es falsa.
c) (d ∨ a) es falsa.

38. Si p → q representa una proposición falsa, determine el valor de verdad de

las siguientes proposiciones:
a) p ∨ ¬ (¬ q ∧ ¬ p) d) ¬ ( p ∧ q) → ¬ ( p ∨ q)
b) ¬ q ∧ ¬ p e) (p ∧ ¬ q) ∨ ¬ (q ∧ ¬ p)
c) (p ∧ q) ∨ (¬ p → q)

39. Identifique las proposiciones simples, los operadores lógicos presentes y

traduzca al lenguaje formal las proposiciones dadas:
a) Si un número es divisible para dos, no es primo.
b) Si estudias, aprenderás, si no estudias te arrepentirás.
c) Si x satisface la ecuación x2 + 9 = 25, el triángulo es rectángulo y la longitud
de la hipotenusa es 4; por el contrario, si x no satisface la ecuación dada,
no hay manera de calcular el área de la superficie del triángulo.
d) Si me quieres, te quiero; si no me quieres, te quiero igual.

40. Si ¬ p ∧ q es una proposición verdadera, determine el valor de verdad de

las siguientes proposiciones:
a) p → (¬ q ∧ r) d) ¬ p q
b) q ∨(¬ p ↔ r) e) p ∨ ( q ∨ r)
c) q → (p ∧ q)

41. Si ¬(p ∧ q) es una proposición falsa, determine el valor de verdad de las

siguientes proposiciones:
a) p ∨ ¬ (¬ q ∧ ¬ p) d) ¬ ( p ∧ q) → ¬ ( p ∨ q)
b) ¬ q ∧ ¬ p e) (p ∧ ¬ q) ∨ ¬ (q ∧ ¬ p)
c) (p ∧ q) ∨ (¬ p → q)

1.4 Formas proposicionales

Para los dos ejercicios siguientes, considere que f (p, q, r) representa una
forma proposicional de tres variables.
42. Si la forma proposicional f (p, q, r) es tautológica, entonces f (0, 0, 0) es una
proposición falsa.

a) Verdadero b) Falso
43. Si la forma proposicional f (p, q, r) es una contradicción, entonces f (1, 1, 1)
es una proposición verdadera.

a) Verdadero b) Falso

Para el siguiente ejercicio considere que f (p, q, r, s) representa una forma

proposicional de cuatro variables.
pág. 86
44. Si la forma proposicional f (p, q, r, s) es una contradicción, entonces
[f (1,0,1,1) → f (0,1,0,0)] ≡ 0.
a) Verdadero b) Falso

45. Si p, q y r son variables proposicionales, entonces ¬ p → (q ∨ ¬ r) es una

contradicción.

a) Verdadero b) Falso

46. Si p,q y r son variables proposicionales, entonces

[(¬ p ∨ q) ∧ (¬ r → q)] → (p → r) es una forma proposicional tautológica.
a) Verdadero b) Falso

47. Identifique cuál de las siguientes formas proposicionales NO es tautológica:

a) (¬ q → ¬ p) → (¬ p ∨ q) d) ( p → q) → ( q → p)
b) ( p ∨ q) → (¬ p → q) e) [(p ∧ q) ∧ r] → [(p ∨ r) ∧ (q ∨ r)]
c) [(p → q) ∧ p] →q

48. Identifique cuál de las siguientes formas proposicionales es tautológica:

a) ¬ (¬ p ∧ ¬ q) d) [ p ∧ (p → q)] → q
b) ¬ (¬ p ∧ q) e) (p ∨ q) → (p ∧ q)
c) p ∨ (p ∧ q)
49. Una expresión M, para que la forma proposicional [p ∧ ( p → q)] → M sea
tautológica, es:
a) p ∧ q d) ¬ p
b) ¬ p ∧ q e) ¬ q
c) p → ¬q

50. Identifique cuál de las siguientes formas proposicionales NO es tautológica:

a) (p ∨ q) → (¬ p → q)
b) [(p → r) ∧ (q → r)] → [(p ∨ q) → r]
c) [(p ∨ q) ∧ ¬ p] → q
d) [(¬ q → ¬ p)] → ¬ q
e) [(p → q) ∧ (q → r)] → (p → r)

51. Si p y q son dos formas proposicionales tautológicas, entonces es verdad

que:
a) p → q no es una forma proposicional tautológica
b) p ∨ ¬ p es una contradicción
c) q → ¬ p es una contingencia
d) p ∧ q es una forma proposicional tautológica
e) q → ¬ p no es una contradicción
pág. 87
1.5 Propiedades de los operadores lógicos
52. Empleando álgebra proposicional, identifique cuál de las siguientes formas
proposicionales NO es tautológica.
a) [(p → q) ∧ (r → s)] → [(p ∧ r) → (q ∧ s)]
b) [p ∧ (p → q)] → q
c) [(p → q) ∧ (q → r)] → (p ∧ r)
d) [(p → q) ∧ p] → q
e) (p → 0) → ¬ p
53. Dada la proposición: “No estoy satisfecho, puesto que no me dieron el
aumento de sueldo”, identifique cuál de las siguientes proposiciones no es
equivalente.
a) Si me dan aumento de sueldo, estoy satisfecho.
b) Si no me dan aumento de sueldo, no estoy satisfecho.
c) Si estoy satisfecho, me dan aumento de sueldo.
d) Me dieron aumento de sueldo o no estoy satisfecho.
e) No me dieron aumento de sueldo sólo si no estoy satisfecho.
54. Empleando álgebra proposicional, identifique cuál de las siguientes formas
proposicionales NO es una tautología.
a) ¬ (p ∨ q) → (¬ p ∨ ¬ q) d) [¬ p ∧ (¬ p ∨ q)] ∨p
b) (¬ p ∧ ¬ q)→ ¬ (p ∨ q) e) [p ∧ ( p ∨ q)] → q
c) ¬ (¬ p ∧ ¬ q) ∨ ¬ q
55. Considere las variables proposicionales p, q y r. Empleando álgebra
proposicional, determine si la forma proposicional ( p → q) ∧ ¬ (q → r) es
tautología, contradicción o contingencia.
56. Demuestre que la siguiente forma proposicional es tautológica.
[(p → q) → r] → [p → (q → r)]
57. Empleando álgebra proposicional, determine si las siguientes formas
proposicionales son tautología, contradicción o contingencia.
a) (r ∧ s) ∨ ¬ s d) ( p ∧ q) ∧ ( p → ¬ q)
b) ( p → q)→ (q → ¬ p) e) ( p ∨ q) → [p ∨( ¬ p ∧ q)]
c) ¬ p → (p ∧ q)
58. Empleando álgebra proposicional, determine si las siguientes formas
proposicionales son: tautología, contradicción o contingencia.
I) ¬ p ∧ (p ↔ q) III) ( p ∧ q) ∧ ¬ r
II) ( p ∧ q) ∧ (p → ¬ q) IV) [( p → q) ∧ ¬ r] → ¬ r
59. Una negación de la proposición “Me comporto bien en mi hogar sólo si
soy un buen hijo” es la proposición “Me comporto bien y no soy un buen
hijo”.

a) Verdadero b) Falso

pág. 88
60. La Ley de la Contradicción establece que una proposición no puede ser
verdadera y falsa al mismo tiempo.

a) Verdadero b) Falso

61. La Ley del Tercero Excluido establece que una proposición o sólo puede ser
falsa o sólo puede ser verdadera, pero no puede tomar un tercer valor de
verdad.

a) Verdadero b) Falso

62. La Ley de la Doble Negación establece que una proposición negada dos
veces vuelve a tomar su valor de verdad original.

a) Verdadero b) Falso

63. Enuncie y luego demuestre mediante una tabla de verdad:

a) Una de las leyes distributivas. b) Una de las leyes de De Morgan.

64. La proposición: “Si se es inteligente o estudioso, entonces se es aplicado”;

es lógicamente equivalente a:
a) Si no se es inteligente, entonces no se es ni estudioso ni aplicado.
b) Si se es inteligente, entonces se es aplicado y si se es estudioso entonces
se es aplicado.
c) Si se es inteligente, entonces se es estudioso y aplicado.
d) Si se es inteligente, entonces se es aplicado pero no se es estudioso.

1.6 Razonamientos
65. Un razonamiento es válido si y sólo si su estructura lógica es una forma
proposicional tautológica.

a) Verdadero b) Falso

66. El razonamiento: “Si te gustan las Matemáticas, entonces eres hábil para
la Geometría. Luego, no te gustan las Matemáticas”, es válido.

a) Verdadero b) Falso

67. El razonamiento “Si trabajo arduamente gano un buen sueldo, pero no

gano un buen sueldo. Por lo tanto, no trabajo arduamente”, es válido.

a) Verdadero b) Falso

pág. 89
68. Dado el razonamiento (H1 ∧ H2) → C, donde:
H1:Si lo intento con ahínco y tengo talento, entonces me convierto en
músico.

H2:Si me convierto en músico, seré feliz.

Una conclusión C que hace válido este razonamiento es:
a) Voy a ser feliz.
b) Si me convierto en músico, entonces lo intento con ahínco.
c) No me convierto en músico.
d) No tengo talento.
e) Si no voy a ser feliz, entonces no lo intento con ahínco o no tengo
talento.

69. Dado el razonamiento (H1 ∧ H2) → C, donde:

H1: Si apruebo todas las materias entonces me voy de vacaciones por un
mes.

H2: Me voy de vacaciones por un mes y compraré muchos recuerdos.

Una conclusión C que hace válido este razonamiento es:
a) No me voy de vacaciones por un mes.
b) Apruebo todas las materias y compraré muchos recuerdos.
c) No apruebo todas las materias y no me voy de vacaciones por un mes.
d) Me voy de vacaciones por un mes.
e) Apruebo todas las materias.

70. Dadas las siguientes hipótesis:

H1: Si el Gobierno no realiza las gestiones apropiadas, entonces el evento
no se realizará en nuestro país.

H2: El turismo se reactiva en nuestro país.

H3: El evento se realizará en nuestro país.

Una conclusión que puede inferirse a partir de ellas es:
a) El evento no se realizará en nuestro país.
b) El turismo no se reactiva en nuestro país.
c) El turismo se reactiva en nuestro país y el Gobierno no realiza las
gestiones apropiadas.
d) El Gobierno no realiza las gestiones apropiadas.
e) Si el Gobierno realiza las gestiones apropiadas, el turismo se reactiva en
nuestro país.

pág. 90
71. Para que el razonamiento [p ∧ ( p → q)] → C sea válido, la conclusión C
puede ser reemplazada por una de las siguientes formas proposicionales:
a) ¬ q b) ¬ p ∧ q c) ¬ p ∧ ¬ q d) p ∧ q e) ¬ p

72. Dado el razonamiento (H1 ∧ H2) → C, donde:

H1: Si estudio, apruebo el curso de nivel cero.

H2: Apruebo el curso de nivel cero y viajo a Galápagos.

Una conclusión C que hace válido este razonamiento es:
a) No apruebo el curso de nivel cero.
b) No estudio y no apruebo el curso de nivel cero.
c) Estudio y viajo a Galápagos.
d) Apruebo el curso de nivel cero.
e) Estudio y no viajo a Galápagos.

73. Dadas las siguientes hipótesis de un razonamiento.

H1: ¬ p → q H2: p ∧ ¬ r H3: ¬ p → r
Una conclusión para que el razonamiento sea válido es:
a) p ∧ q b) p → q c) ¬ p → r d) p → r e) p → (q ∧ r)

74. Dado el razonamiento (H1 ∧ H2) → C, donde:

H1:Si se concluye con éxito la construcción del nuevo parque en el Barrio
del Centenario, se cooperará para el embellecimiento de la urbe.

H2:Se cooperará para el embellecimiento de la urbe y se incrementará la

captación de más turistas.

Una conclusión C que hace válido este razonamiento es:

a) No se cooperará para el embellecimiento de la urbe.
b) Se cooperará para el embellecimiento de la urbe.
c) Se concluye con éxito la construcción del nuevo parque en el Barrio del
Centenario y se incrementará la captación de más turistas.
d) No se incrementará la captación de más turistas y no se cooperará para
el embellecimiento de la urbe.
e) Se concluye con éxito la construcción del nuevo parque en el Barrio del
Centenario.

75. Dado el razonamiento [H1 ∧ H2 ∧ H3 ∧ H4 ]→ C, donde:

H1: Si α = β entonces m(β ) = 45º
H2: Si m(β ) = 45º entonces m(α ) = 90º
H3: O β es recto o m(β ) no es igual a 90º
H4: θ no es recto
pág. 91
 Una conclusión C que hace el razonamiento válido es:
a) α = β b) ¬ α = β ( ) ( )
c) m θ = 90º d) m β = 45º ( )
e) Marque esta opción si todas las anteriores NO hacen válido el
razonamiento.

76. Dadas las siguientes proposiciones:

H1: Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio
partir el coche de Andrés.

H2: Si Andrés no dice la verdad, entonces Juan no vio partir el coche de

Andrés.

H3: Andrés dice la verdad o estaba en el edificio en el momento del

crimen.

H4: El reloj está adelantado.

Se puede inferir que:
a) Juan no llegó antes de las diez.
b) Andrés estaba en el edificio en el momento del crimen.
c) Juan no vio partir el coche de Andrés o éste estaba en el edificio en el
momento del crimen.
d) Andrés dice la verdad.
e) Marque esta opción si ninguna de las anteriores es una conclusión
válida.

77. Determine si el siguiente razonamiento es o no válido: “Si estudio o si soy

un genio, aprobaré el nivel 0. Me permitirán tomar el nivel 100 si apruebo
el nivel 0. Por lo tanto, no me permiten tomar el nivel 100 sólo si no soy
un genio”.

78. Sin usar tablas de verdad, determine la validez del siguiente razonamiento:
“Si el Congreso asigna los fondos, el proyecto será ejecutado. El Congreso
asigna los fondos sólo si hay consenso entre los diputados. No hay consenso
entre los diputados. Por lo tanto, el proyecto no será ejecutado”.

79. Demuestre que el siguiente razonamiento es válido: “Esta ley será

aprobada en esta sesión del Congreso si y sólo si es apoyada por la
mayoría legislativa. Es apoyada por la mayoría legislativa o el Presidente
de la República se opone a ella. Si el primer mandatario se opone a ella,
entonces será pospuesta en las deliberaciones del Congreso Nacional. Por
lo tanto, esta ley será aprobada en esta sesión o será pospuesta en las
deliberaciones del Congreso Nacional”.

pág. 92
80. Si se tiene un razonamiento con las siguientes hipótesis:
H1: La dolarización es difícil o no les gusta a muchas personas.

H2: Si las medidas económicas son viables, entonces la dolarización no es

difícil.

Determine si la siguiente conclusión: “Si las medidas económicas no son

viables, a muchas personas no les gusta la dolarización”, hace válido el
razonamiento.

1.7 Demostraciones
81. Para demostrar que p → q es verdadero, por el método de reducción al
absurdo, suponemos que ¬ p es verdadero y obtenemos una contradicción
con q.

a) Verdadero b) Falso
82. Utilice el método directo para demostrar que:

a) ( p ↔ q) ≡ ( p ∨ q) → ( p ∧ q) b) ¬ ( p ∨ q) ∨ (¬ p ∧ q) ≡ ¬ p
83. Utilice el método de reducción al absurdo para demostrar las siguientes
proposiciones:
a) Si (p → q) y p, entonces q.
b) Si ( p ∨ q) y ¬ q, entonces p.
c) Si p se cumple, entonces ( p ∨ q) se cumple.

1.8 Conjuntos
84. Determine cuál de los siguientes conjuntos es vacío:
a) A= {{∅}} b) D = {∅} c) B = {∅,{∅}} d) C = {∅, ∅} e) M = { x/x ≠ x}
85. Sean A, B, C, D y M como en el ejercicio anterior.
Determine el valor de verdad de las siguientes proposiciones:
a) N(A) = N(D) d) N(C) = 1
b) N(D) = N(C) e) N(B) = N(C) + 1
c) N(C) = N(M)

1.9. Cuantificadores
86. Identifique cuál de las siguientes proposiciones es verdadera:
a) 5 = {5} d) {4, 8, 23, 3}= {(−2)2, 8, 3}
b) {} ∉ ∅ e) {2, 4}= {{2}, {4}}
c) 1 ∈{{1, 4}, {2, 4}}

87. Siendo A ={a,{b}, c,{d, e}} y B ={b, c}, encuentre el valor de verdad de
las siguientes proposiciones:

a) ¬(b ∈ a) b) B⊆A c) B ∈A d)A ∩ B ={c} e) {b} ∈ B

pág. 93
88. Dado el referencial Re ={x/x es una letra del alfabeto castellano} y los
conjuntos A, B, C y D definidos por:
A = {x/x es vocal de la palabra COMPUTACION}
B = {x/x es vocal de la palabra ELECTRONICA}
C = {x/x es consonante de la palabra BARCELONA}
D = {x/x es consonante de la palabra ENUMERACION}
a) Tabule A, B, C y D.
b) Determine el valor de verdad de las siguientes proposiciones:

I) N(A) = N(B)
II) A = B
III) E ∈ A

89. ¿Cuál de las siguientes agrupaciones define un conjunto?

Si define un conjunto, identifique si es vacío, unitario, finito o infinito.

a) Los números con más suerte en la lotería

b) Los números pares mayores que tres
c) Los libros más interesantes de matemáticas
d) Un número primo par

90. Sea el conjunto Re={1, 2, 3, 4, 5}. Entonces es verdad que:

a) ∃ x (x + 3 < 1) d) ∃ x (x + 3 < 5)
b) ∀x (x + 3 < 5) e) ∀x (x2 − 4x + 3 = 0)
c) ∀x (x > 1)

91. Sea Re ={x/x es ser humano}. Traduzca al lenguaje común las siguientes
proposiciones.

a) ∀x [(x es vegetariano) ∧ (x come zanahorias)]

b) ∃x [(x es vegetariano) ∨ (x come zanahorias)]
c) ∀x [(x es vegetariano) ∧ ¬ (x come zanahorias)]

92. Determine el conjunto potencia de los siguientes conjuntos dados.

a) A={1, 2, 3, 4} b) B={ , , } c) C={∅, {∅}}

93. SeaA ={a, {b}}. Entonces es verdad que:

a) ∅ ∈A b) a ⊆ A c) {{b }} ∈A d) N (P(P(A))) = 8 e) {{b }} ∈P(A)

pág. 94
94. Sean A y B dos conjuntos no vacíos, determine el valor de verdad de las
siguientes proposiciones:
a) (A ⊆ B) ↔ ∀x [(x ∈A) → (x ∈B)]
b) (A ⊆ B) → [(A ⊆ B) ∧ ¬(B ⊆ A)]
c) (A ⊂ B) → [(A ⊆ B) ∧ (B ⊆ A)]
d) (x ∈∅) → (x ∉A)
e) (x ∈∅) → (x ∈A)
f) (A ⊆ B) ↔ ∃x [(x ∈A) → (x ∈B)]
g) (A = B) → [(A ⊂ B) ∧ (B ⊂ A)]

95. Parafrasee los literales del ejercicio anterior.

96. Sea B = {*, α}, entonces es verdad que:

a) N (P(P(B))) = 8 d) {*, α}∉P (B)
b) * ∈P (B) e) {*, α} ⊂ B
c) ∅ ∈P (B)

97. Escriba las siguientes proposiciones en lenguaje simbólico e indique su

valor de verdad.
I) Todo número es impar.
II) Existe un x perteneciente a los enteros tal que 3x2 − 5 = 0.
III) Si existe un x perteneciente a los enteros tal que x + 1 < 0, entonces para
todo x perteneciente a los naturales se cumple que x es un entero.

1.10 Operaciones entre conjuntos

98. Si A = {∅, {∅}}, entonces {∅} ∈ A ∩ P(A).
a) Verdadero b) Falso

99. Sean A, B, C conjuntos no vacíos. Respecto del siguiente diagrama de

Venn.
Re
B
A

La región sombreada corresponde a:

a) (A ∩ B) −C d) (A − B) ∩ C
b) (A ∩ B) − A e) (B − A) ∪ C
c) (A ∪ B) − C
pág. 95
100. Sean A, B y C conjuntos no vacíos. Respecto del siguiente diagrama de
Venn:
Re
A

La región sombreada corresponde a:

a) AC ∪ (B ∩ C) d) A − (B ∪ C)
b) B − (A ∪ C) e) B ∩ (A ∪ CC)
c) A ∩ (B ∪ C)

101. Dado un conjunto referencial Re con 3 subconjuntos no vacíos, A, B y

C, encuentre los elementos de dichos conjuntos, tales que se cumplan
las siguientes características:
a) Re = {*, ?, #, Ω, ∃, ∀, Ψ, �, e} d) B ∩ CC = {#, ∃,Ψ, �}

b) C ⊆ B e) (A ∩ B) ∪ C = {#, Ω, �, e}

c) A y C son disjuntos f) (A ∪ B ∪ C)C = {∀}

102. Sea el conjunto referencial Re y los conjuntos no vacíos A, B y C definidos

así:
Re = {*, !, #, $, %, &, ?}
A = {*, !, #, $}
B = {!, %, &, ?}
C = {%, &, ?}
Entonces el conjunto [(A − B)C ∪ C]C es:
a) Re b) ∅ c) {%, &, ?} d) {!} e) A − B

103. Sean A, B y C tres conjuntos no vacíos de un referencial Re. Represente

en un diagrama de Venn las siguientes operaciones:

a) A ∪ B ∪ CC b) B − (A∪C) c) (A ∩ B)C ∩ C d) A ∆ (B − C)

pág. 96
104. Empleando diagramas de Venn, califique cada proposición como verdadera
o falsa. Considere A, B y C tres conjuntos no vacíos de un referencial Re.
* Si A ⊆ (B ∩ C), se cumple que (A ⊆ B) ∧ (A ⊆ C).
* Si A y B son conjuntos disjuntos, entonces N(P(A ∩ B)) = 0.
* Si A es un conjunto tal que N(A) = 2, entonces N(P(A)) = 16.
* A − (B ∪ C)C = (A − BC ).
* N(A) = 4, N(B) = 3 y N(A ∩ B) = 2, entonces N(P(A ∪ B)) = 16.
* Si C ⊂ (A ∩ B), entonces [CC ∩ (A ∪ B)] = ∅.

105. Sean A, B, C subconjuntos del referencial Re, tales que:

A ∩ B ={a, δ, f }; Re = {a, ∆, ?, f, δ, +, �, e, θ, α, *};
A − B ={θ, �, e}; B − (A ∪ C) = {*, ?, ∆}; (A ∪ B ∪ C)C = {α};
A ∩ C = C ∩ B ={ f }; C − (A ∩ B ∩ C) = {+};
a) Halle los elementos de A, B y C.
b) Determine el valor de verdad de las siguientes proposiciones:
I) N(C) = N(B) − N(A) II) A ∪ B = {θ, �, e, *, ?, δ}

106. Dados los conjuntos no vacíos A y B, tales que A ∪ B = B, entonces es

verdad que:

a) A∩ B =A b) A− B =A c) B −A=A d) BC = A e) B⊆ A

107. Dados tres conjuntos A, B y C, no vacíos y diferentes, tal que C ⊂ (A ∩ B),

entonces es verdad que:
a) (A ∪ C) ⊂ (B ∩ C) d) (A − B) ∪ (B − A) = C
b) (A − B) = ∅ e) (C − A) = ∅
c) (A − B) ⊂C

108. Sean A, B, C subconjuntos del referencial Re, tales que:

A ∩ B ={a, f }; Re = {a, ∆, *, ?, f, δ, +, �, e, θ, α};
A − B ={θ, �, e}; B − (A ∪ C) = {*, ?, ∆}; (A ∪ B ∪ C)C = {+};
A ∩ C = { f, e}; B ∩ C ={ f, δ }; C − (A ∪ B) = {α}
a) Halle los elementos de A, B y C.
b) Determine el valor de verdad de las siguientes proposiciones:

1) A ∪ B = {θ, �, e, *, ?, δ, ∆, f, a}
2) (B ∩ C) − (A ∩ B ∩ C) = ∅
pág. 97
109. Siendo A={∅, {1, 2}, {1}, {∅}, 1, {2}}, identifique la proposición falsa.
a) ({1} ∪ A = A) ∨ ({1}∈A) d) ({1, 2}∈A) ∨ (∅ ⊆ A)
b) (∅ ⊆ A) ∧ (∅ ∈A) e) (1 ∈A) → (2 ∈A)
c) (1 ∈A) → ({2}∈A)

110. Determine los elementos de A, B y C, si se conoce que:

Re = {1, 3, 4, 5, 6, 7, 8, 9} (A ∩ B) ∪ (B ∩ C) = {4, 8}
B − (A ∪ C) = {6, 7} A − (B ∪ C) = {1, 3} C − A = {8, 9}
(B ∪ C)C = {1, 3, 5} BC ∪ A = {1, 3, 4, 5, 9}
A y C no son intersecantes.

111. Determine los elementos de A, B y C, si:

Re = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}

(A ∪ C) ∩ BC = {6, 10, 11, 12, 14}
B ∪ (A ∩ C) = {1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15}
(A ∩ B) ∪ (B ∩ C) = {3, 4, 5, 7, 8, 15}
(A ∩ B) ∪ (A ∩ C) = {3, 4, 6, 7, 8, 12}
(BC ∩ CC)C = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15}
B ∩ CC = {1, 2, 3, 9, 13}
112. Sean los conjuntos A, B y C, tales que:
C y A no son intersecantes, B y C son disjuntos, A y B no son disjuntos.

(A ∪ B)C = {10, 11, 12, 13, 14, 15}

CC = {2, 3, 4, 5, 6, 7, 8, 9, 14, 15}

B − A = {8, 9}; A ∩ BC = {2, 3, 4, 5}

Halle los elementos de A, B y C.

113. Dado el referencial Re ={x/x es letra del alfabeto} y los conjuntos A, B,

C definidos por:
A = {x/x es vocal de la palabra computación}
B = {x/x es vocal de la palabra básica}
P(B) = Conjunto potencia de B
C = {x/x es vocal de la palabra onu}
Determine el valor de verdad de las siguientes proposiciones:

a) N(C) = 3 d) A∪ C = B
b) C − A = {o, u} e) A– B = ∅
c) N [P(B)] = 32

pág. 98
114. Dados los conjuntos no vacíos A, B y C, entonces la región sombreada
del gráfico adjunto corresponde a:
Re
B
a) (A − B) ∩ (C ∩ B)
b) (A ∩ B ∩ C)C C A
c) [(C − A) ∩ B] ∪ (A − B)
d) (CC ∩ A) − B
e) [(A − C) ∩ (B − C)] ∪ (B ∩ C)

115. Dados los conjuntos no vacíos A, B y C, entonces la región sombreada

del gráfico adjunto corresponde a:

Re
B
A C

a) [(A − B) ∪ (B − A)] ∪ [(A − B) ∪ (B − A) − C]

b) [(A ∩ B) − C] ∪ [(A − B) ∩ C] ∪ [(B − A) ∩ C]
c) [(A ∩ B) ∩ CC] ∪ [(A ∩ B)C ∩ C]
d) [(AC ∪ BC) ∩ C] ∪ [(A ∪ B) ∩ CC]
e) [(A − B) ∪ (B − A) − C] ∪ [C − (A ∩ B)]

116. Escriba una expresión con operaciones entre conjuntos que represente la
región sombreada del siguiente diagrama de Venn:
Re

A B

pág. 99
117. Si Re={1, 2, 3, 4, 5, 6, 7, 8} y A y B son conjuntos no vacíos, tales que:

* (A ∩ B)C = { 1, 2, 6, 7, 8}
* Re − (A ∪ B) = {8}
* B − A = {6, 7}

Entonces es verdad que:

a) A − B = {3, 4, 5} d) A = {1, 2, 4, 5}
b) B = {3, 4, 6, 7} e) A ∩ (A − B ) = ∅
c) (A − B) ∩ (B ∪ A) = {1, 2}

118. Si A, B y C son tres subconjuntos del conjunto referencial Re, donde:

* N (Re) = 20
* N [A − (B ∪ C)] = 5
* N [B − (A ∪ C)] = 4
* N [C − (A ∪ B)] = 3
* N (A − B) = 7
* N [(A ∪ B ∪ C)C] = 2
Entonces N[(A ∩ B) ∪ (A ∩ C) ∪ (B ∩ C)] es igual a:

a) 4 b) 6 c) 3 d)5 e) 2

119. SiRe = {i, ∆, a, □, ∅, o, *, ∇}, A y B son conjuntos no vacíos, tales que

A ∪ B = {i, ∆, a, □, ∅}, A ∩ B = {a} y B − A = {□, ∅}:

Entonces es verdad que:

a) A − B = {o, *, ∇} d) A = {i, ∆, ∇, o}
b) B = {*, ∇, □, ∅} e) A ∩ (A − B) = {o, i, ∆}
c) (A − B) ∩ (A ∪ B) = {i, ∆}

1.11 Propiedades de las Operaciones entre conjuntos

120. Si (A ⊆ B), entonces (A ∪ B) = B.

a) Verdadero b) Falso

121. Dado un conjunto A, los elementos de P(A) son subconjuntos del conjunto A.
a) Verdadero b) Falso

122. Sea Re un conjunto referencial, A y B subconjuntos de Re.

Entonces: [A ∩ (B ∪ A)] ∩ AC = Re
a) Verdadero b) Falso

123. Si A y B son conjuntos, tales que A ∪ B = ∅, entonces (A = ∅) ∧ (B = ∅).

a) Verdadero b) Falso

pág. 100
124. Para los conjuntosA, B, C, no vacíos, se cumple que:
A − (B ∩ C) = (A − B) ∩ (A − C).

a) Verdadero b) Falso

125. Para los conjuntosA, B, C, no vacíos, se cumple que:

A − (B ∩ C) = (A − B) ∪ (A − C).
a) Verdadero b) Falso

126. En una encuesta realizada por Pacifictel a un grupo de 26 abonados

que han realizado al menos una llamada, sea ésta local, nacional o
internacional, se obtuvo la siguiente información:

* 23 abonados han realizado llamadas nacionales o internacionales.

* 5 abonados han hecho llamadas locales y nacionales.
* 12 abonados han hecho llamadas internacionales pero no locales.
* El número de personas que han hecho sólo llamadas nacionales es
igual al doble de personas que han hecho sólo llamadas internacionales
y locales pero no nacionales.

Entonces, el número de abonados que han hecho llamadas locales es:

a) 10 b) 4 c) 6 d) 2 e) 14

127. En un concurso de cocineros en el que se preparan tres comidas criollas:

guatita, seco de chivo y chugchucaras, se obtuvieron los siguientes
resultados:

* 2% de cocineros fracasó en las tres comidas.

* 6% de cocineros fracasó en guatita y seco de chivo.
* 5% de cocineros fracasó en seco de chivo y chugchucaras.
* 8% de cocineros fracasó en guatita y chugchucaras.
* 29% de cocineros fracasó en guatita.
* 32% de cocineros fracasó en seco de chivo.
* 36% de cocineros fracasó en chugchucaras.

a) Construya un diagrama de Venn con los datos.

b) Proporcione una expresión con operaciones de conjuntos para indicar
el porcentaje de cocineros que tuvo éxito.
c) ¿Qué porcentaje de los cocineros no tuvo éxito en las tres comidas?
d) ¿Cuántos cocineros tuvieron éxito en las tres comidas si concursaron
200 personas?

pág. 101
128. En una encuesta a 100 inversionistas, se observa lo siguiente:

* 5 sólo poseen acciones.

* 15 poseen solamente valores.
* 70 son propietarios de bonos.
* 13 poseen acciones y valores.
* 23 tienen valores y bonos.
* 10 son propietarios sólo de acciones y bonos.

Cada uno de los 100 invierte por lo menos en algo. Halle el número de
inversionistas que:

a) Tienen valores, bonos y acciones.

b) Tienen sólo una de ellas.
c) Tienen al menos una.
d) Tienen, cuanto mucho, dos de ellas.

129. Para los votantes de una cierta comunidad de 300 personas, se tiene
que:

* 110 son mayores de 20 años.

* 120 son mujeres y 50 mujeres son mayores de 20 años.
Determine el número de votantes que:

a) Son hombres.
b) Son hombres mayores de 20 años.
c) Son mujeres con 20 o menos años.
d) Son hombres con 20 o menos años.
e) Tienen 20 o menos años.

130. En una encuesta a 40 estudiantes del nivel cero, 27 son hombres y 20

son bachilleres técnicos; de estos últimos 8 son bachilleres (técnicos)
en comercio, 6 de las mujeres no son bachilleres técnicos y 22 de los
hombres no son bachilleres en comercio.
* Determine cuántas mujeres son bachilleres técnicos pero no en
comercio.
* Halle además cuántos hombres no son bachilleres técnicos.

131. Sean A, B y C subconjuntos de un referencial, si se conoce que:

*C⊆B
* A y C no son intersecantes.
* Re = {1, 2, 3, 4, 5, 6, 7, 8, 9}
* B − C={3, 5, 7, 8}
* (A ∩ B) ∪ C = {3, 4, 8, 9}
* (A ∪ B ∪ C)C = 6
Halle los elementos de A, B y C.
pág. 102
132. Empleando álgebra proposicional, demuestre:

a) A
C
∩ BC = (A ∪ B)C e) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
b) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) f) A − B = A ∩ BC
c) (AC ∩ B)C = A ∪ BC g) A − B = (AC ∪ B)C
d) A ∩ AC = ∅

133. En cierta comunidad, 70% de las personas fuman, 40% tienen cáncer
pulmonar, y 25% fuma y tiene cáncer pulmonar. Si F y C denotan los
conjuntos de fumar y tener cáncer pulmonar, determine la cantidad de
personas que:

a) No fume y no tenga cáncer pulmonar.

b) Fume pero no tenga cáncer pulmonar.
c) No fume ni tenga cáncer pulmonar.
d) Fume o no tenga cáncer pulmonar.
e) No fume o no tenga cáncer pulmonar.
f) No fume o tenga cáncer pulmonar.

134. Sea Re = {a, b, c, d, e, f } y los conjuntos A y B no vacíos que cumplen

las siguientes condiciones:
A − B = {b, c}
A ∪ BC = {b, c, e}
AC = {a, d, e, f }
Identifique cuál de los siguientes enunciados es verdadero:

a) N (B − A) = 1 d) N(B) = 1
b) N(A ∩ B)C = 1 e) N(AC ∪ B) = 4
c) A = {b, c, d}

135. Empleando álgebra proposicional, demuestre:

a) A∆ B = B ∆A
b) A ∆ (B ∆ C) = (A ∆ B) ∆ C

136. Empleando álgebra proposicional, demuestre:

a) A ∆ A = ∅
b) A ∆ ∅ = A
c) A ∩ (B ∆ C) = (A ∩ B) ∆ (A ∩ C)

pág. 103
137. De 335 maestros de una institución educativa se tienen los siguientes
datos: 215 son de tiempo completo, 190 hablan inglés, 225 tienen por
lo menos maestría, 70 son de tiempo completo y hablan inglés, 110
hablan el inglés y tienen por lo menos una maestría, 145 son de tiempo
completo y tienen por lo menos maestría; y todos tienen al menos una
de las características.

Halle el número de maestros que tengan las tres características

anteriores.

138. En una encuesta aplicada a 100 estudiantes se determinó que 50

practican básquet, 40 practican fútbol, 45 practican atletismo, 20
practican básquet y fútbol, 20 básquet y atletismo, 15 fútbol y atletismo,
y 5 practican los tres deportes. Entonces es falso que:

a) 15 no practican estos tres deportes.

b) 15 sólo practican básquet.
c) 75 practican básquet o atletismo.
d) 35 practican fútbol o atletismo pero no básquet.
e) 10 practican básquet y fútbol pero no atletismo.

1.12 Predicados

139. Sea el conjunto referencial Re = {1, 2, 3, 4, ...} y los predicados:

p(x): x es un número impar, q(x): x es un número par.

Identifique cuál de las siguientes proposiciones es falsa:

a) A(p(x)→ q(x))⊆ Aq(x) d) Aq(x) − Ap(x) = ∅
b) Re = Ap(x) ∪ Aq(x) e) A(q(x) → p(x)) = Ap(x)
c) Ap(x) = ACq(x)

140. Sea Re = {1, 2, 3, 4, 5}; p(x): x es divisor de 12; q(x): x es primo.

Encuentre el valor de verdad de las siguientes proposiciones.

a) ∀x [p(x) ∨ q(x)] b) ∃x [p(x) ∧ q(x)] c) ∃x [¬p(x) ∧ q(x)]

141. Dado el conjunto referencial Re ={−3, −2, −1, 1, 2, 3} y los predicados:

p(x): x (x + 2) = 0, q(x): x2 > 0. Entonces es verdad que:
a) − 1 ∈A [p(x) ∧ q(x)] d) A ¬ q(x) = {−3, −2, −1}
b) A [p(x) ∨ q(x)] =∅ e) A [ q(x) → p(x)] = ∅
c) A [p(x) → q(x)] = Re

pág. 104
142. Dado el conjunto referencial Re = {0, 1, 2, 3, 4, 5, 6} y los predicados:
p(x): x es un número par.
q(x): x es mayor que siete.
r(x): x es menor que diez.
s(x): x es un número impar.
Determine cada uno de los siguientes conjuntos:
a) Ap(x) ∪ Aq(x) e) A[(p(x) → s(x)) → (q(x) → r(x))]

b) As(x) ∩ Ar(x) f) AC r(x) ∩ As(x)

c) Ap(x) ∪ As(x) g) (Re − Ap(x)) ∩ (Aq(x) ∪ As(x))

d) A(p(x) → q(x))

143. Para Re = {1, 2, 3, 4, 5} y p(x): x2 − x + 41 es primo.

a) Determine Ap(x).
b) Determine el valor de verdad de:
∃ x ¬ p(x)
∀ x p(x)

144. Sea Re = {1, 2, 3, 4, 5, 6, 7, 8, 9} y los predicados:

p(x): x es divisor de 284.
q(x): x + 3 < 9
r(x): x + 2 = 8
m(x): x es primo
Encuentre:

a) Ap(x) e) A[p(x) ∨ r(x)]

b) Aq(x) f) A[q(x) ∧ m(x)]
c) Ar(x) g) A[m(x) → ¬ r(x)]
d) Am(x) h) A[¬ r(x) ∧ q(x)]

145. La negación de la proposición “Para todo número natural n, n + 2 > 8” , es:

a) Para algunos naturales n, n + 2 < 8.

b) Existe un natural n tal que n + 2 ≤ 8.
c) Ningún natural n cumple con n + 2 > 8.
d) Existe un natural n tal que n + 2 > 8.
e) Existe un natural n tal que n + 2 ≥ 8.
pág. 105
146. La negación de la expresión:∀x (x + 2 = 5 ∧ x − 1 ≤ 3), es:
a) ∃x (x + 2 ≠ 5) ∨ ∃x(x − 1 > 3) d) ∃x (x + 2 ≠ 5 ∧ x − 1 ≥ 3)
b) ∃x (x + 2 ≠ 5 ∧ x − 1 > 3) e) ∃x (x + 2 ≠ 5 ∨ x − 1 ≥ 3)
c) ∃x (x + 2 ≠ 5) ∧ ∃x (x − 1 > 3)
147. Al negar y simplificar la expresión ∀x [ a(x) ∧ (¬ a(x) → ¬ b(x))], se obtiene:
a) ∃x [¬ b(x)] d) ∃x [ a(x) ∧ b(x)]
b) ∀x [¬ a(x)] e) ∃x [ a(x)]
c) ∃x [¬ a(x)]
148. Sea el conjunto Re = {1, 2, 3, 4, 5}. Entonces es verdad que:
a) ∃x (x − 3 =1) d) ∃x (x + 3 < 4)
b) ∀x (x + 3 < 5) e) ∀x (x2 + 4x + 3 = 0)
c) ∀x (x >1)

1.13 Pares ordenados y producto cartesiano

149. Sean A y B dos conjuntos no vacíos, si N(A) = 2 y N(B) = 1, entonces
N(P(A x B)) = 8.
a) Verdadero b) Falso

150. SiA, B y C son conjuntos no vacíos, entonces

A x (B ∩ C) = (A x B) ∪ (A x C).

a) Verdadero b) Falso

151. Dado el conjunto A = {1, {1}, ∅}, entonces N(A x A) = 2.

a) Verdadero b) Falso

152. Sean (a, b) y (c, d) dos pares ordenados, [(a, b) = (c, d)] ⇔ [(a = c) ∧ (b = d)].

a) Verdadero b) Falso

153. Sean A y B dos conjuntos no vacíos, entonces A x B = B x A.

a) Verdadero b) Falso

154. Si (a, b) = (b, a), ¿qué condición debe cumplirse para que la igualdad sea
verdadera?

155. Sean A y B dos conjuntos no vacíos, si N(A) = 2 y N(B) = 4, entonces

N(A x B) + N[P(A x B)] = 20.
a) Verdadero b) Falso

pág. 106
156. Dados los conjuntos A = {a, b, c}, B ={♣, □, ♠} y C ={◊, ♣, ●, ∇},
entonces el número de pares ordenados diferentes que se pueden
definir de A x (C − B) es 256.

a) Verdadero b) Falso

157. Si A, B y C son conjuntos no vacíos, entonces una de las siguientes

proposiciones es falsa. Identifíquela.

a) N(A x B) = N(A) N(B)

b) N[P(A x B)] = 2N(A)N(B)
c) N(A) + N(B) = N(A ∪ B) + N(A ∩ B)
d) N(A x B x C) = N(A) N(B) N(C)
e) N(A x B) ≠ N(B x A)

158. Si A, B, C son conjuntos tales que: N(A) = 2, N(B) = 3 y N(C) = 3,

entonces N[A x (B x C)] es:
a) 14 b) 18 c) 11 d) 10 e) 9

1.14 Relaciones
159. En una relación, el dominio siempre es igual al conjunto de partida.

a) Verdadero b) Falso

160. En una relación, el rango siempre es igual al conjunto de llegada.

a) Verdadero b) Falso

161. En una relación, el conjunto de partida debe ser distinto del conjunto de
llegada.

a) Verdadero b) Falso

162. En una relación, el dominio es un subconjunto del conjunto de partida.

a) Verdadero b) Falso

163. Sea A={1, 2, 3} y R={(1, 2), (1, 3), (3, 2)}, entonces R es una relación en A.

a) Verdadero b) Falso

164. Sean A={2, 3, 4}, B ={4, 5, 7} y la relación R: A→ B, R: x es divisor de y,

entonces N(R) = 3.

a) Verdadero b) Falso

pág. 107
1.15 Funciones

165. Sean A = {a, b, c}, B ={∇, □}. Si R1 y R2 son dos relaciones de A en B,

tales que R1={(a, ∇), (c, ∇)} y R2 ={(b, □)}, entonces R1 ∪ R2 es una
función.

a) Verdadero b) Falso

166. En los siguientes ejercicios se dan varias relaciones de D a E. Para cada

relación, identifique si se trata de una función o no.
a) D ={1, 2, 3, 4, 5} E ={a, b, c, d, e} {(1, a), (2, b), (3, c), (4, c), (5, d)}
b) D ={1, 2, 3, 4, 5} E ={a, b, c, d, e} {(1, e), (2, e), (3, a), (2, b), (5, d)}
c) D ={1, 2, 3, 4, 5} E ={a, b, c, d, e} {(1, a), (2, b), (1, c), (3, d), (4, e), (5, d)}
d) D ={1, 2, 3, 4, 5} E ={a, b, c, d, e} {(1, e), (2, a), (3, e), (4, a), (5, b)}
e) D ={1, 2, 3, 4} E ={a, b, c, d, e} {(2, a), (1, b), (3, e), (4, c)}
f) D ={1, 2, 3, 4, 5} E ={a, b, c, d} {(1, a), (2, a), (3, d), (4, c), (5, b)}
g) D ={1, 2, 3, 4, 5} E ={a, b, c, d} {(1, a), (3, b), (2, c), (4, d)}
h) D ={1, 2, 3, 4, 5} E ={a, b, c, d} {(1, a), (2, b), (2, c), (3, d), (5, d)}
i) D ={1, 2, 3, 4} E ={a, b, c, d, e} {(1, a), (2, b), (3, c), (1, d), (4, e)}
j) D ={1, 2, 3, 4} E ={a, b, c, d, e} {(1, b), (2, c), (3, d), (4, b)}

167.Para cada función del ejercicio anterior, escriba si es uno a uno,

sobreyectiva, o biyectiva.

168. Si A y B son dos conjuntos finitos no vacíos donde N(A) ≤ N(B), entonces
cualquier función de A en B es inyectiva.

a) Verdadero b) Falso

169. Dados los conjuntos: A={Ω, ∆, π, Ο}, B ={?, *, +}, C ={1, 2, 3, 4, 5} y las
relaciones que se muestran a continuación, definidas entre ellos, ¿cuál
de las siguientes afirmaciones es verdadera?
a) R1 = {(Ω, 1), (∆, 2), (π, 4), (Ο, 5)}; rg R1 = C
b) R2= {(1, *), (3, +), (4, ?)}; dom R2 = C
c) R3= {(Ω,?), (∆,*), (π, *), (Ο, +)} es una función biyectiva.
d) Si R4 = {(Ω,1),(∆,2),(π, 3), (Ο, 5)} y R5 = {(1, ?), (2, *),(3, *),(4, *),(5, +)},
entonces R5 o R4 es función sobreyectiva.

pág. 108
170. Dados los conjuntos: A={p, q, r, s} y B ={m, n, o, p} y las funciones de
A en B f ={(p, m), (q, p), (r, m), (s, n)} y g ={(p, p), (q, m), (r, n), (s, o)},
entonces es cierto que:

a) f ∪ g es una función inyectiva.

b) g es sobreyectiva pero no inyectiva.
c) f es inyectiva pero no sobreyectiva.
d) g es una función biyectiva.
e) f es una función biyectiva.

171. Sea el conjunto A ={Elena, Hessel, Elsi, Ángel, Juan} y f una función tal
que f: A → A con la siguiente definición: f (Elena) = Hessel, f (Hessel) = Elsi,
f(Elsi) = Ángel, f (Ángel) = Elena, f (Juan) = Elena, entonces es verdad que:
a) ( f o f ) es inyectiva.
b) ( f o f ) (Juan) = Hessel.
c) f es sobreyectiva.
d) rg f = dom( f o f )
e) Todas las proposiciones anteriores son falsas.

172. Sean f: A → B y g: B → A dos funciones, tales que:

f ={(β, a), (b, ∂), (•, a), (?, *)}, g = { (∂, β), (a, ?), (*, β), (!, ?)}
Entonces es verdad que:
a) fog = {(β, ?), (b, β), (*, ?), (?, β)} d) fog = {(∂, β), (a, ?), (*, β), (!, ?)}
b) fog = {(∂, a), (a, *), (*, a), (!, *)} e) fog = {(∂, a), (a, ?), (*, a), (!, ?)}
c) fog = {(β, a), (b, ∂), (*, a), (?, ρ)}

173. Sea V={a, e, i, o, u} y se define una función f :V → V tal que: f (a) = u; f (e) = i;
f (i) = a; f (o) = o y f (u) = i. El rango de f o f es:
a) {a, e, i, o, u} d) {a, i, o}
b) {a, i, o, u} e) {a, e, i, u}
c) {a, o, u}

174. Dadas las relaciones:

f g
A B B A

© ©
¥ ¥ ®
® ‡ ‡ §
§ □ □ ¶
¶ ◊ ◊

Entonces es verdad que:

a) f y g son funciones. d) El rango de fog es igual a B.
b) fog es inyectiva. e) El rango de gof es igual al rango de g.
c) gof es biyectiva.
pág. 109
175. Si f es una función de A en B y g es una función de B en C, entonces
es verdad que:
a) dom( fog) = dom g
b) Si f es inyectiva, entonces gof también lo es.
c) Si f y g son sobreyectivas, entonces gof también lo es.
d) Si gof es sobreyectiva, entonces f también lo es.
e) El rango de gof es igual al rango de f.

176. Si f= {(?,1), ($, *), (1, *), (*, 1)} y g = {(1, ?), (2, $), (*, 1), (3, *)},
determine la proposición falsa.
a) g es una función inyectiva pero f no lo es.
b) El dominio de gof es {?, $, 1, *}.
c) El rango de fog es {1, *}.
d) (1, 1) ∈ ( fog).
e) El rango de gof es igual al rango de g.

177. Sean las funciones g = {(1, 2), (2, 3), (3, 4), (4, 5)} y
h={(2, 3), (3, 4), (4, 5), (5, 6), (6, 7)}. Entonces el valor de (hog)(1) es:

a) 1 b) 2 c) 3 d) 4 e) 5
178. Dado el conjunto A = {1, 2, 3, 4, 5} y las funciones f: A → A y g: A → A,
tales que f (1) = 3; f (2) = 5; f (3) = 3; f (4) = 1; f (5) = 2; g(1) = 4; g(2) =1;
g(3) = 1; g(4) = 2; g(5) = 3.

Identifique la proposición falsa:

a) (fog)(2) = 3
b) (gof )(5) =1
c) ( f es inyectiva) ∨ (g es inyectiva)
d) [( fog)(1) = 3] ∨ [( fog)(3) = 3]
e) [(gof )(4) = 5] ∨ [( fog)(1)=2] ∨ [(gof )(1) = 1]

179. Dado el conjunto A={a, b, c, d} y las funciones biyectivas f: A→ A y

g: A → A, donde f ={(a, d), (b, c), (c, b), (d, a)} y
gof ={(a, d), (b, c), (c, b), (d, a)}, la función g es:
a) {(a, a), (b, b), (c, c), (d, d)} d) {(a, c), (b, d), (c, a), (d, b)}
b) {(a, d), (b, c), (c, d), (d, a)} e) {(a, a), (b, d), (c, c), (d, b)}
c) {(a, b), (b, c), (c, d), (d, a)}

180. Si A = {1, 2, 3, 4}, B = {r, s, t}, f es una función de B en A y g es una

función de A en B, donde:

f ={(r, 2), (s, 3), (t, 1)} g ={(1, r), (2, s), (3, t), (4, t)}

Entonces es verdad que:

a) fog es una función inyectiva. d) (gof )–1 ={(s, r), (t, s), (r, t)}
b) rg( fog) = A e) gof no es una función inversible.
c) (s, r) ∈ gof

pág. 110