1 CAPTULO UNO Ejercicios propuestos

1.1 Proposiciones
1. Indique si cada enunciado es o no una proposicin:
a) 7415 es un nmero par.
b) Qu hora es?
c) Los nmeros divisibles para 8 son divisibles para 2.
d) Pare, por favor!
e) El atardecer en la playa es romntico.
f) La edad de Gloria es 17 aos.
g) Guayaquil es la capital econmica de Ecuador.
h) Galpagos es considerado Patrimonio Cultural de la Humanidad. i)
Mi familia y yo viajaremos a la Sierra en fin de ao.
j) Ayer estuvo soleado pero hoy llueve torrencialmente.
k) Mi palabra se siente levantada por un caballo lrico que salta.
l) El mejor gobierno es el que gobierna menos.
2. Indique cul de los siguientes enunciados no es una proposicin:
a) Hubo escasez de lluvias.
b) Mi correo electrnico es turista @espol.edu.ec
c) 5(3 + 4) = 36.
d) 3 es un nmero par.
e) Turismo.
3. Indique cul de los siguientes enunciados es una proposicin:
a) Qu ests haciendo?
b) 3 x = 7.
c) Mrchate!
d) 3 + x >7.
e) Neil Armstrong camin sobre la Luna.
4. Indique cul de los siguientes enunciados es una proposicin:
a) El sabor del color azul es dulce.
b) 314159 es un nmero primo.
2
c) x + 2x + 1 = 0.
d) Disparen al ladrn.
e) La edad del universo es de unos 15 mil millones de aos.
5. Indique cul de los siguientes enunciados es una proposicin:
a) Las rosas me cautivan. d) 45 + 18.
b) El amanecer es bello. e) La Qumica 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, cmo ests?.
Es verdad que:
www. .org
a) I y II son proposiciones. d) II y III son proposiciones.
b) I y III son proposicion . e) Todos son p op sici nes.
FreeLibros

c) I y IV son proposicion s.
pg 79
 1.2 Operadores lgicos
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 Lgica es fcil. c: Me divierto con este deber.
Parafrasee las siguientes proposiciones: c) a ( b c)
a) (a b) c b) (b c) a

9. Si la disyuncin entre dos proposiciones es falsa, entonces la

enunciacin hipottica entre ellas tambin es falsa.

a) Verdadero b) Falso

10.Si la negacin de la disyuncin entre dos proposiciones es verdadera,

entonces la enunciacin hipottica entre ellas tambin es verdadera.

a) Verdadero b) Falso
11. Una contrarrecproca de la proposicin 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 simblicamente las proposiciones e indique la traduccin al

lenguaje formal:
a) La decisin depende del juicio o la intuicin, pero no del dinero.
b) Ir al estadio o al cine, en caso de que consiga dinero.
c) El Sol brilla porque es el da del amor.
d) A Juan no le agrada este ejercicio, pues no lo puede resolver.
13. Considerando las proposiciones:
a: La informacin es correcta.
b: Existe un incremento en los costos de produccin.
c: El analista tiene un error de apreciacin.
Traduzca al lenguaje formal la proposicin: La informacin es incorrecta,

slo si existeFreeLibros unincemntoenloscostosdeproduccinelanalita

tiene un error de apreciacin.
www pg.80 . .org
 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 nmero primo.
c) [9 16 = (3 4)(3 + 4)] [(5)(2) > 0]

15. Indique cul 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 recproca de la proposicin 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 traduccin en el lenguaje formal de la proposicin Si tu eres

inteligente y no actas con prudencia, eres un ignorante en la materia,
siendo las proposiciones:

m: T eres inteligente.
n: T actas 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 contrarrecproca de la
proposicin 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

www . FreeLibros . org

para comer .
pg 81
 19. Siendo la proposicin Si el pas est bien econmicamente, yo tengo
empleo verdadera, entonces la condicin necesaria de la proposicin es:

a) El pas no est bien econmicamente.

b) Yo tengo empleo.
c) Yo no tengo empleo.
d) El pas est bien econmicamente y yo tengo empleo.
e) Ni tengo empleo ni el pas est bien econmicamente.

20. Si una funcin es diferenciable, es continua es una proposicin verdadera,

cules de las siguientes proposiciones son verdaderas?
a) Una funcin es diferenciable slo si es continua.
b) Una funcin es continua slo si es diferenciable.
c) La diferenciabilidad de una funcin es condicin necesaria para la
continuidad de la misma.
d) La diferenciabilidad de una funcin es condicin suficiente para la
continuidad de la misma.
e) La diferenciabilidad de una funcin es condicin suficiente y
necesaria para que sea continua.

21.Considere la proposicin Compro y uso el traje gris, si me pagan.

Empleando tablas de verdad, identifique:
I) Una recproca de la proposicin 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 proposicin 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 contrarrecproca de la proposicin 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 traduccin de la proposicin Es suficiente que hoy sea lunes para
que obtenga un buen resultado es b a.

wwwa)Verdadero.FreeLibrosb)Falso.org
pg.82
 1.3 Proposiciones simples y compuestas
23.Una traduccin 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 matemticas.
b: Resuelvo bien los ejercicios.
c: Hago un buen deber.

La traduccin de la proposicin compuesta Es necesario que utilice mis

habilidades matemticas para que resuelva bien los ejercicios y haga un
buen deber, es a (b c).

a) Verdadero b) Falso

25.Una traduccin al lenguaje formal de Mis padres me compran un carro

slo 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 proposicin (p q r) es falsa, entonces la proposicin 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 traduccin al lenguaje formal de la proposicin compuesta Viajo al
exterior slo 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

www . FreeLibros . org

c)(n p)m
pg 83
28.Si la proposicin [(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: b: Te gusta este deber.

a: Te gustan las matemticas.

Traduzca las siguientes proposiciones compuestas al lenguaje comn:
a) a b b) a b c) a b d) ba 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 traduccin al lenguaje formal de la proposicin 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: r: Sigo trabajando.
p: La guerra se detiene. q: Sigo estudiando.

Una negacin de la proposicin compuesta Si la guerra se detiene,

entonces podr seguir estudiando o trabajando, es:
a) ( p q) r d) ( p q) r
b) ( q r) e) [ p ( q r )]
p q)r
c) (
p
 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 traduccin al lenguaje formal de la proposicin 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)

www . c)(p
FreeLibros
q)
.org pg.84
33.Dadas las proposiciones
simples: p: Hoy es domingo.
q: Tengo que estudiar teoras de
aprendizaje. r: Aprobar el curso.
Una traduccin al lenguaje formal de la proposicin compuesta Hoy es
domingo pero tengo que estudiar teoras 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 traduccin al lenguaje formal de la proposicin 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 estn de acuerdo.
Una traduccin al lenguaje formal de la proposicin compuesta Se realiza una
gran fiesta slo si hago bien este deber y mis amigos estn 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 Geografa. r:
Estudio Matemticas.
Empleando tablas de verdad, identifique una traduccin al lenguaje
formal de la proposicin compuesta Si estudio Historia o Geografa,
entonces estudio Matemticas.
a) (p r) (q r) d) r (p q)
b) p (q r) e) q ( p r)

www . FreeLibros . org

c)(p r) q
pg 85
 37. Si la proposicin [(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 proposicin falsa, determine el valor de verdad

de las siguientes proposiciones:
a) p ( q p) d) ( p q) ( p q)
b) qp e) (p q) (q p)
c) (p q) ( p q)

39. Identifique las proposiciones simples, los operadores lgicos presentes

y traduzca al lenguaje formal las proposiciones dadas:
a) Si un nmero es divisible para dos, no es primo.
b) Si estudias, aprenders, si no estudias te arrepentirs.
2
c) Si x satisface la ecuacin x + 9 = 25, el tringulo es rectngulo y la longitud
de la hipotenusa es 4; por el contrario, si x no satisface la ecuacin dada, no
hay manera de calcular el rea de la superficie del tringulo.
d) Si me quieres, te quiero; si no me quieres, te quiero igual.

40.Si p q es una proposicin verdadera, determine el valor de verdad de

las siguientes proposiciones: d) p q
a) p ( q r)
b) q ( p r) e) p ( q r)
c) q (p q)
41.Si (p q) es una proposicin falsa, determine el valor de verdad de
las siguientes proposiciones:
a) p ( q p) d) ( p q) ( p q)
b) qp 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 tautolgica, entonces f (0, 0, 0) es
una proposicin falsa.

a) Verdadero b) Falso
43.Si la forma proposicional f (p, q, r) es una contradiccin, entonces f (1,
1, 1) es una proposicin verdadera.

a) Verdadero b) Falso
f (p, q, r, s)
wwwParael .siguiente FreeLibros ejecicioconsidrequeepresentaunaforma .org
proposicional de cuat variabl .
pg.86
44. Si la forma proposicional f (p, q, r, s) es una contradiccin, 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 contradiccin.

a) Verdadero b) Falso

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

[( p q) ( r q)] (p r) es una forma proposicional tautolgica.

a) Verdadero b) Falso

47. Identifique cul de las siguientes formas proposicionales NO es tautolgica:

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 cul de las siguientes formas proposicionales es tautolgica:

a) ( p q) d) [ p (p q)] q
b) ( p q) e) (p q) (p q)
c) p (p q)
49.Una expresin M, para que la forma proposicional [p ( p q)] M
sea tautolgica, es:
a) p q d) p
b) pq e) q
c) p q
50. Identifique cul de las siguientes formas proposicionales NO es tautolgica:
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 tautolgicas, entonces es

verdad que:
a) p q no es una forma proposicional tautolgica
b) p p es una contradiccin
c) q p es una contingencia
p q wwwd).esFreeLibrosunaformaproposicionaltautolgca.org
e) q p no es una contradiccin
pg 87
 1.5 Propiedades de los operadores lgicos
52. Empleando lgebra proposicional, identifique cul de las siguientes
formas proposicionales NO es tautolgica.
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 proposicin: No estoy satisfecho, puesto que no me dieron el
aumento de sueldo, identifique cul 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 slo si no estoy satisfecho.
54.Empleando lgebra proposicional, identifique cul de las siguientes
formas proposicionales NO es una tautologa.
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 tautologa, contradiccin o contingencia.
56.Demuestre que la siguiente forma proposicional es tautolgica.
[(p q) r] [p (q r)]
57.Empleando lgebra proposicional, determine si las siguientes formas
proposicionales son tautologa, contradiccin 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: tautologa, contradiccin o contingencia.
I) p (p q) III) ( p q) r
II) ( p q) (p q) IV) [( p q) r] r
59.Una negacin de la proposicin Me comporto bien en mi hogar slo si
soy un buen hijo es la proposicin Me comporto bien y no soy un buen
hijo.

www a)Verdadero

pg.88
.FreeLibros .org b)Falso
 60.La Ley de la Contradiccin establece que una proposicin no puede ser
verdadera y falsa al mismo tiempo.

a) Verdadero b) Falso

61.La Ley del Tercero Excluido establece que una proposicin o slo puede
ser falsa o slo puede ser verdadera, pero no puede tomar un tercer
valor de verdad.

a) Verdadero b) Falso

62. La Ley de la Doble Negacin establece que una proposicin 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 proposicin: Si se es inteligente o estudioso, entonces se es

aplicado; es lgicamente 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 vlido si y slo si su estructura lgica es una forma
proposicional tautolgica.

a) Verdadero b) Falso

66.El razonamiento: Si te gustan las Matemticas, entonces eres hbil

para la Geometra. Luego, no te gustan las Matemticas, es vlido.

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

www a)Verdadero
.FreeLibros b)Falso
. org
pg 89
 68.Dado el razonamiento (H1 H2) C, donde:
H1:Si lo intento con ahnco y tengo talento, entonces me convierto en
msico.

H2:Si me convierto en msico, ser feliz.

Una conclusin C que hace vlido este razonamiento es:

a) Voy a ser feliz.
b) Si me convierto en msico, entonces lo intento con ahnco.
c) No me convierto en
msico. d) No tengo talento.
e) Si no voy a ser feliz, entonces no lo intento con ahnco 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 conclusin C que hace vlido 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 hiptesis:

H1: Si el Gobierno no realiza las gestiones apropiadas, entonces el
evento no se realizar en nuestro pas.

H2: El turismo se reactiva en nuestro pas.

H3: El evento se realizar en nuestro pas.

Una conclusin que puede inferirse a partir de ellas es:

a) El evento no se realizar en nuestro pas.
b) El turismo no se reactiva en nuestro pas.
c) El turismo se reactiva en nuestro pas 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

wwwpg. nuestro
.FreeLibros .org pas.

90
 71. Para que el razonamiento [p ( p q)] C sea vlido, la conclusin 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 Galpagos.

Una conclusin C que hace vlido 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 Galpagos.
d) Apruebo el curso de nivel cero.
e) Estudio y no viajo a Galpagos.

73.Dadas las siguientes hiptesis de un razonamiento.

H1: p q H2: p r H3: p r
Una conclusin para que el razonamiento sea vlido es:
a) pq b) pq c) pr d) pr e) p (q r)

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

H1:Si se concluye con xito la construccin 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 captacin de ms turistas.

Una conclusin C que hace vlido 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 construccin del nuevo parque en el Barrio
del Centenario y se incrementar la captacin de ms turistas.
d) No se incrementar la captacin de ms turistas y no se cooperar
para el embellecimiento de la urbe.
e) Se concluye con xito la construccin 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

www . H4:no e
FreeLibros
recto
pg
. org
91