ESCUELA

SUPERIOR POLITCNICA DEL LITORAL

FACULTAD DE CIENCIAS NATURALES Y MATEMTICAS
DEPARTAMENTO DE MATEMTICAS
CURSO DE NIVELACIN 2016 1S
CAPTULO: L G I C A
D E B E R 1

1.1 Proposiciones

1) Defina:
a) Proposicin.
b) Valor de verdad.
c) Tabla de verdad.

2) Dados los siguientes enunciados:
La capital de la provincia de Esmeraldas es Atacames.
Las islas Galpagos pertenecen al Ecuador.
Que viva Quito, Luz de Amrica!
Hubieron temblores o inundaciones?
Ecuador tiene un total de 23 provincias.

La cantidad de enunciados que representan proposiciones es igual a:
a) 1
b) 2
c) 3
d) 4
e) 5
Respuesta: c)

3)

Indique si cada enunciado es o no una proposicin, justificando su respuesta.

a) 7 es un nmero primo.
b) El color rojo es bonito.
c) Los nmeros divisibles para 5 terminan en los dgitos 0 o 5.
d) Alto ah!
e) Cuando salimos?
f) El celular es excelente.
g) El amanecer en la playa es romntico.
h) x +1= 5
i) Eres pilas!

j) 3 2 + 4 = 30
k) Cundo me ganar la lotera?
l) La esperanza es lo ltimo que se pierde.
m) El nmero 36 es par.
n) El ftbol es divertido.

4)

Proporcione un ejemplo de una expresin que no sea proposicin, justificando su

respuesta.

Pgina 1 de 22

5)

6)

7)

8)

9)

Proporcione un ejemplo de una expresin que sea proposicin, con su respectivo valor de
verdad.

Las manzanas son de color rojo Es una proposicin? Si no es una proposicin, justifique
por qu no y reformlela para que sea una proposicin.
Escriba una expresin que no sea proposicin y que al replantearla se convierta en una
proposicin verdadera.
Escriba una expresin que no sea proposicin y que al replantearla se convierta en una
proposicin falsa.
Escriba una expresin que sea una proposicin y que al replantearla ya no sea
proposicin.

1.2 Operadores lgicos

10) Defina:
a) Negacin.
b) Conjuncin.
c) Disyuncin inclusiva.
d) Disyuncin exclusiva.
e) Condicional.
f) Bicondicional.
g) Condicin suficiente.
h) Condicin necesaria.

11) Identifique la proposicin FALSA.
a) Si Quito es capital de Colombia, entonces Manab no es provincia del Ecuador.
b) Si 2 + 5 = 8 , entonces 3+ 4 = 7 .
c) Santa Elena es una provincia de la regin Litoral del Ecuador.
d) La mitad del mundo est situada en la provincia del Guayas.
e) La fundacin de Quito se celebra en el mes de diciembre.
Respuesta: d)

12) Indique el valor de verdad de cada proposicin. Si es falsa, reescriba la proposicin para
que sea verdadera.
a) 2 + 7 1= 5
b) Los colores de la bandera del Ecuador son amarillo, azul y rojo.
c) La ESPOL es una universidad categora A.

"

( {(2) (3) 3} + 3) 1%'& +1= 8

d) $2 + 9
#
e)
f)
g)
h)

Todos los celulares toman fotos.

Todas las computadoras funcionan con pilas.
El baln de ftbol es cuadrado.
Un kilogramo tiene aproximadamente 35.3 onzas.
Respuesta: a) 0 , b) 1 , c) 1 , d) 1 , e) 0 , f) 0 , g) 0 , h) 1

13) Escriba en espaol 2 proposiciones por cada una de las interpretaciones gramaticales de
la conjuncin.

Pgina 2 de 22

14) Escriba en espaol 2 proposiciones por cada una de las interpretaciones gramaticales de
la disyuncin inclusiva.

15) Escriba en espaol 2 proposiciones por cada una de las interpretaciones gramaticales de
la disyuncin exclusiva.

16) Escriba en espaol 2 proposiciones por cada una de las interpretaciones gramaticales de
la condicional.

17) Escriba en espaol 2 proposiciones por cada una de los parafraseos cuando la condicional
de proposiciones es verdadera.

18) Para que la enunciacin hipottica sea falsa es suficiente que el antecedente sea
verdadero.
a) Verdadero


b) Falso
Respuesta: b)

19) b es suficiente para a , si y slo si a b es una proposicin verdadera.

a) Verdadero

b) Falso
Respuesta: b)

20) Dados los siguientes enunciados:
I.
x +1 = 0
II.
p q
III. Qu fcil est el examen!

IV. (2 + 5) > (3 + 4)
V. Cunto tiempo necesitar para realizar el examen?

Entonces es VERDAD que:
a) I y II son proposiciones pero no III.
b) III es proposicin pero no IV.
c) V es proposicin siempre que lo sea IV.
d) Si IV es proposicin, entonces V no lo es.
e) I, II y IV no son proposiciones.
1

Respuesta: d)

21) Dados los siguientes enunciados:
I. El nmero 5 es triste.
II. Guayaquil es capital de Paraguay.
2

III. x + 5x = 0
IV. Cristbal Coln descubri Amrica el 10 de agosto de 1809.

Identifique la proposicin VERDADERA:
a) Slo IV es una proposicin.
b) II y IV son proposiciones.
c) I, II y III son proposiciones.
d) Todas son proposiciones.
e) Ninguna es proposicin.
Respuesta: b)

Pgina 3 de 22

22) Para la proposicin: Juego tenis y me divierto con mis amigos, puesto que no llueve, su
RECPROCA es:
a) Si no llueve, entonces no juego tenis y me divierto con mis amigos.
b) Juego tenis y me divierto con mis amigos, slo si no llueve.
c) Es necesario que llueva, para no jugar tenis y no divertirme con mis amigos.
d) Si no juego tenis o no juego con mis amigos, llueve.
e) Ya que llueve, juego tenis y me divierto con mis amigos.
Respuesta: b)

23) Traduzca al lenguaje simblico la siguiente proposicin Si respeto a mis padres, entonces
ser de larga vida sobre la tierra y luego escriba en espaol y en lenguaje formal su
recproca, su inversa y su contrarrecproca.

24) Sean las proposiciones simples:
c : 6 divide a 3.
a : 3 es un nmero par.
b : 3 es un nmero impar.
La traduccin al lenguaje formal de la INVERSA de la proposicin compuesta: 3 es un
nmero impar, pero no es par; por lo tanto, si 6 divide a 3, 3 no es impar, es:
a)
b)
c)
d)
e)

(a b) (c b)
(c b) (a b)
(c b) (b a)
(b a ) ( c b)
( a b) ( c b)
Respuesta: d)

25) Dada la proposicin Si hoy no llueve, hace calor. Escriba en espaol cinco formas
diferentes de expresar la condicional.

26) Suponga que la proposicin: Eres feliz siempre que la vida te sonre es verdadera,
entonces es FALSO que:
a) Si la vida te sonre, entonces eres feliz.
b) Eres feliz cuando la vida te sonre.
c) Ser feliz es necesario para que la vida te sonra.
d) Eres feliz si la vida te sonre.
e) Ser feliz es suficiente para que la vida te sonra.
Respuesta: e)

27) Dada la siguiente proposicin compuesta:
Si S es una base del espacio vectorial V, entonces S es linealmente independiente en V.
Una CONTRARRECPROCA de esta proposicin es:
a) S es una base del espacio vectorial V y es linealmente independiente en V.
b) Si S es linealmente independiente en V, S es una base del espacio vectorial V.
c) Solamente si S no es una base del espacio vectorial V, S no es linealmente
independiente en V.
d) Si S no es una base del espacio vectorial V, entonces S es linealmente independiente
en V.
e) Si S no es una base del espacio vectorial V, entonces S no es linealmente
independiente en V.
Respuesta: c)

Pgina 4 de 22


28) Una INVERSA de la proposicin: Las pelculas de ciencia ficcin son para m las favoritas
al momento de comprarlas; ya que ellas muestran posibles avances tecnolgicos de la
humanidad, es:

a) Las pelculas de ciencia ficcin no son para m las favoritas al momento de
comprarlas; ya que ellas muestran posibles avances tecnolgicos de la humanidad.
b) Las pelculas de ciencia ficcin no son para m las favoritas al momento de
comprarlas; porque ellas no muestran posibles avances tecnolgicos de la
humanidad.
c) Las pelculas de ciencia ficcin son para m las favoritas al momento de comprarlas;
cuando ellas muestran posibles avances tecnolgicos de la humanidad.
d) Las pelculas de ciencia ficcin son para m las favoritas al momento de comprarlas,
adems ellas muestran posibles avances tecnolgicos de la humanidad.
e) Las pelculas de ciencia ficcin no muestran posibles avances tecnolgicos de la
humanidad; slo si son para m las favoritas al momento de comprarlas.
Respuesta: b)

29) Escriba en espaol 2 proposiciones por cada una de las interpretaciones gramaticales de
la bicondicional.

1.3 Proposiciones simples y compuestas

30) Defina:
a) Proposicin simple
b) Proposicin compuesta

31) Traduzca al lenguaje simblico la proposicin compuesta: David consigue dinero y se
compra el libro, slo si cambia su cheque. Pero si no cambia el cheque, no puede pagar sus
deudas. Por lo tanto, David compra el libro y paga sus deudas.

32) Sean las proposiciones simples:
a : Hoy tengo que rendir una prueba.
b : He estudiado con responsabilidad.
c : Obtendr buenos resultados.
Traduzca al lenguaje simblico la proposicin compuesta: Hoy tengo que rendir una
prueba y obtendr buenos resultados, puesto que he estudiado con responsabilidad.

Respuesta: b a c

33) Considere las proposiciones simples:
a : Los paneles solares que se organizan en forma de rbol captan mayor energa.
b : Aidan Dwyer es un nio genio.
c : La posicin de las hojas de un rbol siguen el orden de la serie de Fibonacci.
d : La Comunidad Cientfica tiene la razn.
Traduzca al lenguaje simblico la proposicin compuesta: Los paneles solares que se
organizan en forma de rbol no captan mayor energa y la posicin de las hojas de un
rbol siguen el orden de la serie de Fibonacci siempre que no suceda que: Aidan Dwyer es
un nio genio o la Comunidad Cientfica no tiene la razn.

) (

Respuesta: bd a c

Pgina 5 de 22

34) Sean las proposiciones simples:

a : Danilo programa en Ltex.
b : Danilo practica lgebra.
c : Danilo es responsable.

La traduccin al lenguaje simblico de la proposicin compuesta Danilo programa en
Ltex porque practica lgebra y es responsable es:

( )
(b c) a
a (b c)
(b c) a
(a c) b

a) a b c
b)
c)
d)
e)

Respuesta: b)

35) Dada la proposicin compuesta a b %&a b c '( . Sabiendo que es FALSA, los
valores de verdad de las proposiciones simples a, b y c son:
a) a 0, b 0, c 1
b) a 1, b 1, c 0
c) a 1, b 0, c 1
d) a 1, b 1, c 1
e) a 0, b 1, c 0
Respuesta: c)

36) Dada la proposicin compuesta !"b c a #$ 0 , determine los valores de las

proposiciones simples.
Respuesta: a 0,b 0,c 0

37) Una proposicin compuesta es verdadera si y slo si todas las proposiciones simples que
la conforman son verdaderas.
a) Verdadero


b) Falso
Respuesta: b)

) (

38) Si la proposicin a b c d es FALSA, entonces bc es VERDADERA.

a) Verdadero

b) Falso
Respuesta: a)

39) Se conoce que p $%q r s &' 1 , determine el valor de verdad de:

a) p r

b) q s

Respuesta: a) 0 , b) 1

Pgina 6 de 22

40) Si la proposicin compuesta #$ a b c%& c d es FALSA, entonces es VERDAD

que:
a) b a 0
b) c a 0
c) a c 0
d) d a 0
e) c d 0
Respuesta: c)

41) Si la proposicin compuesta (a b) c es FALSA, identifique la proposicin

VERDADERA.
a) a b 0

b) b c 0
c) a c 1
d) ab 0
e) b a 1

Respuesta: c)

42) Si la proposicin #$( a b) (b c )%& #$(c d ) ( a d )%& es FALSA, determine el
valor de verdad de las siguientes proposiciones:
a) a b

b) a bd

(
)
(b d ) (a c)

c) a ba
d)

Respuesta: a) 0 , b) 1 , c) 1 , d) 1

43) Sean las proposiciones simples:

a : 32 = 8

b : p,q !
c:

( p q)

= p 2 + q 2 2 pq

(22 10) 2 = 5

Identifique la proposicin VERDADERA:

a)
b)
c)
d)
e)

(a b) c
(a b) c
c ( a b)
a (bc)
b ( a c)
Respuesta: b)

Pgina 7 de 22

44) Dada la proposicin compuesta "# p r s $% "# p q r s $% 1 , entonces

es VERDAD que:
a) q s 1
b) s p 0

) (

c) p q 0

d) p q 0 e) p r 1
Respuesta: b)

45) Dada la siguiente proposicin compuesta, la cual es VERDADERA:

) (

a b c d

Identifique la proposicin que tambin es VERDADERA:

a) c a
b) b d
c) b c
d) a b
e) a d

Respuesta: d)

46) Dadas las proposiciones simples:
a : T viajas fuera del pas.
b : T conoces nuevos rumbos.
c : T te enriqueces culturalmente.
d : T conversas con los habitantes de esos lugares.
e : T lees el peridico.
La traduccin al lenguaje simblico de la proposicin compuesta:
Si viajas fuera del pas, entonces conoces nuevos rumbos. Te enriqueces
culturalmente, cuando conoces nuevos rumbos y conversas con las habitantes de esos
lugares. Por lo tanto, no es verdad que, solamente si lees el peridico te enriqueces
culturalmente.
es:
a)
b)
c)
d)
e)

( a b )

( a b )

( b a )

( a b )

( a b )

( c ( b d )) ( c e)
( c ( b d )) ( e c)
(( b d ) c) ( c e)
(( b d ) c) ( c e)
(( b d ) c) ( e c)

Respuesta: d)

1.4 Formas proposicionales

47) Defina:
a) Variable proposicional.
b) Forma proposicional.
c) Tautologa.
d) Contradiccin.
e) Contingencia.
f) Implicacin lgica.
g) Equivalencia lgica.

Pgina 8 de 22

48) Explique la diferencia entre una proposicin y una variable proposicional.

49) Sean A y B dos formas proposicionales, se dice que A implica lgicamente a B ,
denotado por A B , si y solo si A B es una tautologa.
a) Verdadero


b) Falso
Respuesta: a)

50) Sean A y B dos formas proposicionales, se dice que A equivale lgicamente a B ,
denotado por A B , si y solo si A B es una tautologa.
a) Verdadero


b) Falso
Respuesta: a)

51) Explique claramente la diferencia entre los smbolos:
(Condicional)
(Implicacin Lgica).

52) Dadas las siguientes formas proposicionales:

$ a b b a & b
%
'

(
) (
)
(ba) (b a)

I)
II)

Es VERDAD que:
a) La forma proposicional I es una tautologa y la II no es una tautologa.
b) La forma proposicional II no es una tautologa.
c) Las formas proposicionales I y II no son tautologas.
d) Las formas proposicionales I y II son tautologas.
e) La forma proposicional I no es una tautologa y la II es una tautologa.
Respuesta: e)

53) Sea f p,q,r

VERDADERA:

una forma proposicional tautolgica. Identifique la proposicin

) ( )
f (0,0,0) f (1,1,1)
"# f (0,0,0) f (1,1,1)$%
f (1,1,1) f (0,0,0)
f (1,1,1) f (0,0,0)

a) f 1,0,1 f 0,1,0
b)
c)
d)
e)

Respuesta: d)

54) La forma proposicional !" p q r q #$ p r representa una implicacin
lgica.
a) Verdadero


b) Falso
Respuesta: a)

) (

Pgina 9 de 22

55) Sean A y B dos formas proposicionales tales que A es una tautologa y B es una
contradiccin, entonces la conjuncin entre ambas es una contradiccin.
a) Verdadero


b) Falso
Respuesta: a)

(
)
f (1,1,0,0) f (0,0,1,1) 1
f (1,1,1,1) f (0,0,0,0) 0
f (0,1,0,1) f (1,0,1,0) 1
f (1,1,1,0) f (0,1,1,1) 1
f (0,0,0,0) f (1,1,1,1) 1

56) Si la forma proposicional f p,q,r, s es una contradiccin, entonces es VERDAD que:

a)
b)
c)
d)
e)

Respuesta: a)

57) Sean f p,q,r una forma proposicional tautolgica y g p,q,r una contradiccin.


Identifique la proposicin VERDADERA:

) ( )
f (0,0,0) g (1,1,1)
f (0,0,0) g (1,1,1)
g (1,1,1) f (0,0,0)
g (0,0,0) f (1,1,1)

a) f 0,0,0 g 1,1,1
b)
c)
d)
e)

Respuesta: d)

58) La forma proposicional #$ p q r %& #$ p q r q %& es:
a) Una contradiccin.
b) Una tautologa.
c) Una contingencia.
d) Equivalente a r .

e)

) (

Equivalente a p q .
Respuesta: c)

59) Las formas proposicionales
equivalentes.
a) Verdadero

( p q) r

( p r ) (q r )

son lgicamente

b) Falso
Respuesta: a)

60) Sobre la siguiente forma proposicional:

( p q) #$(q p) q%& , identifique la

proposicin VERDADERA.
a) Es una contradiccin
b) Es una tautologa

Pgina 10 de 22

c)
d)

Es equivalente a q
Es equivalente a p

e)

Es equivalente a p q

Respuesta: c)

61) Identifique la forma proposicional que NO es tautolgica.
a) "# p q p$% q
b)
c)
d)
e)

( )
! q p # q
)$
"(
( p q) (p q)
# p r q r % # p q r %
) ( )& $ (
) &
$(
$( p q (q r & (r p
)
)'
)
%
Respuesta: b)

62) Sean tres formas proposicionales: A una tautologa,
contingencia. Identifique la proposicin VERDADERA:
a)
b)
c)
d)
e)

B una contradiccin y C una

(B A) es una contradiccin.
(C A) es una contradiccin.
(C B) es una contradiccin.
(B C ) es una tautologa.
(AB) es una tautologa.

Respuesta: e)

1.5 Propiedades de los operadores lgicos

63) Escriba en espaol una negacin de la proposicin Hoy no es lunes, puesto que tengo
esta leccin y me voy temprano.

64) De ser posible, escriba el nombre de la ley o propiedad que est presente en la estructura
lgica de las siguientes proposiciones compuestas.
a) Si duermo, entonces duermo o descanso.
b) Si estudio mucho, entonces apruebo el curso de nivelacin. Si apruebo el curso de
nivelacin, mis paps estn felices. Luego, si estudio mucho, mis paps estn felices.
c) No es verdad que: si estudio mucho, entonces no apruebo el curso de nivelacin es
lgicamente equivalente a Estudio mucho y apruebo el curso de nivelacin.
d) Si como bastante, voy al gimnasio; pero no voy al gimnasio. Entonces, no como
bastante.
e) Si tengo dinero, me voy de viaje; y, si tengo tiempo, arreglo mi cuarto. Por lo tanto,
si tengo dinero y tiempo, me voy de viaje y arreglo mi cuarto.

65) Escriba la ley del MODUS PONENDO PONENS y construya una proposicin compuesta a
partir de la estructura lgica de esta ley.

Pgina 11 de 22

66) Escriba la ley del MODUS PONENDO TOLLENS y construya una proposicin compuesta a
partir de la estructura lgica de esta ley.

67) Escriba la ley del SILOGISMO DISYUNTIVO y construya una proposicin compuesta a partir
de su la estructura lgica de esta ley.

68) Escriba la ley de la TRANSITIVIDAD y construya una proposicin compuesta a partir de la

estructura lgica de esta ley.

69) La proposicin Si Juan va al estadio, no estudiar para el examen es lgicamente

equivalente a Si Juan estudia para el examen, no ir al estadio.
a) Verdadero


b) Falso
Respuesta: a)

70) La contrarrecproca de la proposicin Si estudio conscientemente, apruebo el curso de

nivelacin es Estudio conscientemente o no apruebo el curso de nivelacin.
a) Verdadero


b) Falso
Respuesta: b)

71) Escriba en espaol la inversa de la proposicin: Si el examen es el adecuado y los

estudiantes se han preparado, se obtienen resultados satisfactorios.

72) Escriba en espaol la contrarrecproca de la proposicin: Si el examen es el adecuado y

los estudiantes se han preparado, se obtienen resultados satisfactorios.

73) Las formas proposicionales p q y p q son lgicamente equivalentes.

a) Verdadero

b) Falso
Respuesta: b)

74) Las proposiciones Es necesario estudiar para aprender y Slo si estudias, aprenders,
son lgicamente equivalentes.
a) Verdadero


b) Falso
Respuesta: a)

75) Si en la disyuncin de dos proposiciones, una de ellas es verdadera, el valor de verdad de

la proposicin compuesta es falso por la propiedad de Identidad.
a) Verdadero


b) Falso
Respuesta: b)

76) Una ley de De Morgan indica que al negar la conjuncin de dos proposiciones se obtiene
la conjuncin de las dos proposiciones negadas.
a) Verdadero


b) Falso
Respuesta: b)

77) Suponga que la proposicin El Gobierno Nacional activ la alerta amarilla y consider la
posibilidad de un tsunami debido a que Chile sufri un terremoto es VERDADERA.
a) Identifique la condicin necesaria y la condicin suficiente.
b) Escriba en espaol una forma de recproca, una inversa y una contrarrecproca.

78) Suponga que la proposicin Para que la computadora encienda basta que haya energa
elctrica y que el disco duro no est lleno es VERDADERA.
a) Identifique la condicin necesaria y la condicin suficiente.
b) Escriba en espaol una forma de recproca, una inversa y una contrarrecproca.

Pgina 12 de 22


79) Sean las proposiciones simples:
a : Hoy es viernes.
b : Obtengo un buen resultado.
c : Estoy preparado para el examen.
Dada la proposicin compuesta Es suficiente que hoy sea viernes y que est preparado
para el examen, para que tenga un buen resultado, una proposicin equivalente es:
a) Hoy es viernes; y, si estoy preparado para el examen, entonces obtengo un buen
resultado.
b) Hoy es viernes y estoy preparado para el examen, slo si obtengo un buen resultado.
c) Hoy es viernes y no obtengo un buen resultado , puesto que no estoy preparado para
el examen.
d) Si obtengo un buen resultado, entonces hoy es viernes y estoy preparado para el
examen.
e) Si obtengo un buen resultado, entonces hoy no es viernes y no estoy preparado para
el examen.
Respuesta: b)

80) Una NEGACIN de la proposicin compuesta: Si no me voy al estadio, entonces voy a
estudiar y a realizar el proyecto, es:
a) No me voy al estadio y no es cierto que, vaya a estudiar y realice el proyecto.
b) Me voy al estadio, pero, estudio o realizo el proyecto.
c) Me voy al estadio, o, estudio y realizo el proyecto.
d) Si no es cierto que, estudie y realice el proyecto, entonces me voy al estadio.
e) Estudio y realizo el proyecto, puesto que no me voy al estadio.
Respuesta: a)

81) La INVERSA de la proposicin Julio programa en Visual C++, porque ensea teora de
nmeros y es inteligente, es:
a) Julio programa en Visual C++, slo si ensea teora de nmeros y no es inteligente.
b) Julio no programa en Visual C++, porque no ensea teora de nmeros y es inteligente.
c) Julio no ensea teora de nmeros o no es inteligente, porque no programa en Visual
C++.
d) Si Julio no ensea teora de nmeros y no es inteligente, no programa en Visual C++.
e) Si Julio no ensea teora de nmeros o no es inteligente, no programa en Visual C++.
Respuesta: e)

82) Se conoce que la proposicin Basta que el paciente tenga deficiencia de glbulos rojos o
haya perdido mucha sangre, para que tenga anemia es VERDADERA, identifique la
proposicin FALSA.
a) Es suficiente que un paciente tenga deficiencia de glbulos rojos, para que tenga
anemia.
b) Es suficiente que un paciente haya perdido mucha sangre, para que tenga anemia.
c) Es necesario que un paciente tenga anemia, para que haya perdido mucha sangre o
tenga deficiencia de glbulos rojos.
d) Es necesario que un paciente no haya perdido sangre, para que no tenga anemia.
e) Es suficiente que un paciente no tenga anemia, para que no tenga deficiencia de
glbulos rojos.
Respuesta: d)

Pgina 13 de 22

83) Sean las proposiciones simples:

a: El precio del petrleo cae.
b: La produccin de bienes no petroleros sube.
c: La economa se equilibra.
d: El dlar se deprecia.
Al traducir al lenguaje formal la proposicin compuesta La produccin de bienes no
petroleros sube o el dlar se deprecia; pero, el precio del petrleo cae slo si la economa
se equilibra , se obtiene la siguiente proposicin equivalente:
a)
b)
c)
d)
e)

(ac) (bd )
# b d a% c
) &
$ (
# a b a d % c
) ( )&
$(
c $%a (b d )&'
(a c) (a (b d ))
Respuesta: a)

84) Empleando

lgebra

proposicional,

demuestre

si

la

forma

proposicional

$ p q r q & p r es una tautologa, una contradiccin o una

%
'

) (

contingencia.
Respuesta: Tautologa.

85) De ser posible, demuestre que las siguientes formas proposicionales no son tautolgicas.

( )

a) p p

b) p q p q

86) Considere las siguientes proposiciones simples:
a : Estudias todos los das.
b : Te pierdes las farras.
c : Ingresas a la ESPOL.
Una traduccin al lenguaje formal de la proposicin compuesta Si no estudias todos los
das y no te pierdes las farras, no ingresas a la ESPOL. Pero si estudias todos los das,
ingresas a la ESPOL es:
a) !"c a b #$ c b

b) #$c a b %& a c

c) #$c a b %& a c

d)
e)

) ( )
(c a) #$(a b) c%&
#c a b % a c
( )& ( )
$
Respuesta: c)

87) Identifique la forma proposicional que es TAUTOLGICA:
a) !" p q r #$ q r

b) "# p q r $% r

Pgina 14 de 22

c) p p q r
d) !"q p q #$ p

e)

)
( p q r ) ( p r )
Respuesta: d)

88) La forma proposicional que NO es tautolgica, es:
a)
b)
c)
d)
e)

(q p) (p q)
( p q) (p q)
( p q) (q p)
" p q p$ q
) %
#(
# p q r % # p r q r %
) & $( ) ( )&
$(

Respuesta: c)

89) Para cada forma proposicional determine si es una tautologa, una contradiccin o una
contingencia.
a) ( p q r ) ( p q r )
b)

{( p q) #$( p q) p%&} p

c) #$( p r ) ( q r )%& #$( p q ) r %&

Respuesta: a) Tautologa, b) Contingencia, c) Tautologa.

90) Utilizando las propiedades de los operadores lgicos demuestre las siguientes
equivalencias lgicas.
a)
b)
c)

# p r q r % # p q r %
$
& $
&
# p q r % # p q r %
$
& $
&
# p q p r % # p q r %
$
& $
&

(
(
(

) (

) (

) (
(
)

)
)
(

) (

91) La forma proposicional p q q r es lgicamente equivalente a:

( )
r ( q p )
( p r ) q
(p r ) q
q ( p r )

a) p q r
b)
c)
d)
e)

Respuesta: c)

Pgina 15 de 22

92) Dada la siguiente proposicin compuesta:

Los accidentes de trnsito se incrementan, cada vez que los conductores no respetan las
leyes o los peatones no caminan con precaucin.
Identifique la proposicin equivalente:
a) Si los accidentes de trnsito se incrementan, entonces los conductores no respetan las
leyes o los peatones no caminan con precauciones.
b) Los accidentes de trnsito no se incrementan y no es cierto que los conductores no
respetan las leyes, o los peatones caminan con precaucin.
c) Los peatones caminan con precaucin y los conductores respetan las leyes, o los
accidentes de trnsito se incrementan.
d) Es falso que los conductores no respeten las leyes o los peatones no caminan con
precaucin, debido a que los accidentes de trnsito se incrementan.
e) Cada vez que los conductores no respetan las leyes o los peatones no caminan con
precaucin, los accidentes de trnsito no se incrementan.
Respuesta: c)

93) Dada la siguiente proposicin compuesta: Si Mafalda sale con el Capitn Amrica,
Superman no es un superhroe y Garfield odia la pizza.
Usando las propiedades de los operadores lgicos, determine si las siguientes
proposiciones compuestas son equivalentes o no:
a) Superman es un superhroe o Garfield odia la pizza, slo si Mafalda no sale con el
Capitn Amrica.
b) Si Mafalda sale con el Capitn Amrica, Superman no es un superhroe; o, Garfield
odia la pizza porque Mafalda no sale con el Capitn Amrica.
c) Garfield no odia la pizza ya que no es cierto que: Mafalda sale con el capitn Amrica y
Superman es un superhroe.
d) Si Mafalda sale con el Capitn Amrica, Superman no es un superhroe. Pero cuando
Mafalda sale con el Capitn Amrica, Garfield odia la pizza.
e) O Garfield odia la pizza o Mafalda sale con el Capitn amrica, pero Superman no es un
superhroe.
Respuesta: a) No, b) No, c) No, d) S, e) No

94) Dada la proposicin: Es necesario que mi equipo gane el campeonato, para que no est
triste y celebre con mis amigos.

Una CONTRARRECPROCA es:
a) Si mi equipo gana el campeonato, no estoy triste y celebro con mis amigos.
b) Si mi equipo no gana el campeonato, estoy triste o no celebro con mis amigos.
c) Si no estoy triste y celebro con mis amigos, mi equipo gana el campeonato.
d) Si estoy triste o no celebro con mis amigos, mi equipo no gana el campeonato.
e) Si no estoy triste o no celebro con mis amigos, mi equipo no gana el campeonato.
Respuesta: b)

95) Determine a que expresin lgica es equivalente la RECPROCA de la siguiente forma
proposicional #$ p q q%& p

a) p

b) 0

c) p q

d) p q

e) 1
Respuesta: d)

Pgina 16 de 22

96) Considere la forma proposicional !"q p q #$ p :

a) Construya su tabla de verdad.

b) En base al resultado anterior, explique si es tautologa, contradiccin o contingencia.
c) Demuestre si es tautologa, contradiccin o contingencia, empleando lgebra
proposicional (propiedades de los operadores lgicos). Compare con el resultado
anterior.
Respuesta: Tautologa.

97) La forma proposicional #$ p q p r %& es equivalente a:

) (

a) p q r
b)

p q r

c)

(q r ) p
p ( q r )
( p q) r

d)
e)

Respuesta: a)

98) La forma proposicional
a)
b)
c)
d)
e)

p q
p q
p q
p q
p q

{( p q) (r q) (q r )} es equivalente a:

Respuesta: d)

1.6 Razonamientos

99) Defina:
a) Razonamiento.
b) Validez de un razonamiento.

100) Un razonamiento es vlido si y slo si todas las proposiciones simples que lo conforman
son verdaderas.
a) Verdadero


b) Falso
Respuesta: b)

101) Un razonamiento no es vlido si y slo si todas las proposiciones simples que lo
conforman son falsas.
a) Verdadero


b) Falso
Respuesta: b)

102) Determine la validez del siguiente razonamiento lgico: La lgica es formal y no se
preocupa del contenido. Apruebas el examen slo si la lgica se preocupa del contenido.
Entonces, la lgica es formal y apruebas el examen.
Respuesta: No vlido.

Pgina 17 de 22

103) Determine la validez del siguiente razonamiento lgico: Llueve bastante y se daan los
cultivos. La SNGR no declara el estado de excepcin pero no se daan los cultivos. Slo si
llueve bastante, la SNGR declara el estado de excepcin. Por lo tanto, no se daan los
cultivos.
Respuesta: Vlido.

104) Determine la validez del siguiente razonamiento lgico: Pedro se va al cine slo si no
termina de estudiar. Pedro no saldr bien en el examen de maana, debido a que no
termina de estudiar. Pedro se fue al cine. Por lo tanto, Pedro no saldr bien en el examen
de maana.
Respuesta: Vlido.

105) Determine la validez del siguiente razonamiento: Si aumenta el empleo y el consumo, es
porque la produccin se reactiva. Pero la economa crece cuando es falso que, el consumo
no aumenta, si el empleo aumenta. Luego, la produccin no se reactiva o la economa
crece.
Respuesta: Vlido.

106) Dados los siguientes razonamientos R1 y R2:

R1 : !" p q q p #$ p q

R2 : q p q

) (

Es VERDAD que:
a) R1 no es vlido y R2 es vlido.
b)

R1 no es vlido y R2 no es vlido.

c)

R1 es vlido y R2 no es vlido.

d)

R1 es vlido y R2 es vlido.
Respuesta: d)

107) Para el razonamiento: ( H1 H 2 ) C , considere las siguientes hiptesis:

H1 : Si t tomas gatorade, te reanimars.

H 2 : Tu estars con energa siempre que tomes la bebida 220V.
Una conclusin C que hace vlido este razonamiento es:
a)
b)
c)
d)
e)

No es cierto que tomes gatorade y estars con energa.

Si tomas gatorade y la bebida 220V entonces te reanimars.
Si te reanimars y estars con energa entonces tomas la bebida 220V.
Si te reanimars o estars con energa entonces tomas la bebida 220V.
Si te reanimars y estars con energa, entonces t tomas gatorade.
Respuesta: b)

108) Sean las hiptesis:
H1 : Si digo mis oraciones, Dios me escucha.

H 2 : Si Dios me escucha, hago bien el examen.

Una conclusin C que hace vlido el razonamiento ( H1 H 2 ) C , es:
a) Dios no me escucha.
b) No digo mis oraciones.
c) Dios me escucha.

Pgina 18 de 22

d) Hago bien el examen.

e) Si digo mis oraciones, hago bien el examen.
Respuesta: e)

109) Para el razonamiento ( H1 H 2 ) C , en donde:

H1 : Acepto este trabajo o no estudio.

H 2 : Si realizo mis sueos, entonces estudio.
Una conclusin C que hace vlido este razonamiento es:
a)
b)
c)
d)
e)

No estudio o no acepto este trabajo.

Si estudio, entonces acepto este trabajo.
Estudio si no acepto este trabajo.
Acepto este trabajo solamente si realizo mis sueos.
Si acepto este trabajo, entonces estudio.
Respuesta: b)

110) Considere las siguientes premisas de un razonamiento:
Si me compro una camisa o un pantaln, entonces asisto a la fiesta. Si me compro
zapatos nuevos, entonces no asisto a la fiesta y me quedo sin dinero. No asisto a la fiesta.
Una de las siguientes conclusiones hace vlido el razonamiento:
a) Me compro zapatos nuevos.
b) Me quedo sin dinero.

c) Me compro zapatos nuevos y me quedo sin dinero.
d) Si me quedo sin dinero, me compro zapatos nuevos.
e) Si me compro una camisa, no me quedo sin dinero.
Respuesta: e)

111) Considere las siguientes premisas de un razonamiento:
Si Pablo est trabajando hoy, desayun y tom el bus. Pablo no tom el bus.
Una de las siguientes conclusiones hace vlido el razonamiento:
a) Pablo no desayun.
b) Pablo est trabajando hoy.
c) Pablo no est trabajando hoy.
d) No es verdad que Pablo desayun.
e) Pablo desayun o tom el bus.
Respuesta: c)

112) Dado el siguiente razonamiento [ H1 H 2 H3 H 4 ] C , donde:

H 1 : Si apruebo todas las materias, entonces me voy de vacaciones por un mes.

H 2 : Si me voy de vacaciones por un mes, entonces compro muchos regalos.
H 3 : O me voy o no me voy de vacaciones por un mes.
H 4 : No tomo clases de msica, si me voy de vacaciones por un mes.
Una conclusin C que hace el razonamiento VLIDO es:
a) Apruebo todas las materias.
b) No es verdad que apruebo todas las materias.
c) Compro muchos regalos y apruebo todas las materias.
d) Compro muchos regalos o no apruebo todas las materias.
e) Tomo clases de msica, pero no me voy de vacaciones por un mes.
Respuesta: d)

Pgina 19 de 22


113) Dadas las hiptesis de un razonamiento:
H 1 : Basta que Ana llegue puntual para que si Brenda no llega puntual, entonces Carla
llegue puntual.
H 2 : Si Brenda llega puntual, entonces Ana no llega puntual.
Determine con cul de las siguientes conclusiones el razonamiento es VLIDO:
a) Si Ana llega puntual, entonces Carla llega puntual.
b) Si Ana llega puntual, entonces Brenda llega puntual.
c) Si Brenda llega puntual, entonces Carla llega puntual.
d) Si Carla llega puntual, entonces Ana llega puntual.
e) Si Carla llega puntual, entonces Brenda llega puntual.
Respuesta: a)
114) Considere las premisas del razonamiento #$ P1 P2 C %& :

P1 : Realizo todas las tareas solo si no estudio diariamente.

P2 : Es necesario que realice todas las tareas para que no apruebe el curso.

Una conclusin C que hace vlido el razonamiento es:
a) No realizo las tareas o apruebo el curso.
b) No realizo las tareas.
c) Si estudio diariamente, no apruebo el curso.
d) Si no realizo todas las tareas, apruebo el curso.
e) Estudio diariamente o no Apruebo el curso.
Respuesta: d)

115) Dadas las hiptesis H1 , H 2 y H 3 de un razonamiento:
H 1 : Cuando me enamoro y soy correspondido, soy feliz.
H 2 : No es verdad que, no soy correspondido o soy feliz.

H 3 : Si no me enamoro, entonces me divierto.

Determine con cul de las siguientes conclusiones el razonamiento es VLIDO:

a) Me enamoro y me divierto.
b) No me enamoro y no me divierto.
c) Si no me enamoro, entonces no me divierto.
d) Me enamoro o me divierto.
e) O me enamoro o no me divierto.
Respuesta: d)

116) Dadas las hiptesis H1 , H 2 y H 3 de un razonamiento:
H 1 : Todas las personas cultas saben temas diversos.
H 2 : Andrs es una persona culta.

H 3 : Ningn despistado sabe temas diversos.

Determine con cul de las siguientes conclusiones el razonamiento es VLIDO:
a) Algunos despistados son personas cultas.
b) Andrs no es despistado.
c) Andrs no sabe temas diversos.
d) Algunas personas cultas son despistadas.

Pgina 20 de 22

e) Todos los despistados son personas cultas.

Respuesta: b)

117) Se tiene la siguiente conjuncin de hiptesis de un razonamiento:

Si gano las elecciones, entonces Ecuador tiene una nueva planta hidroelctrica; pero, slo
si Ecuador tiene las mejores oportunidades, sus habitantes reciben una buena educacin.
Gano las elecciones o los habitantes de Ecuador reciben una buena educacin.

Una conclusin que hace VLIDO al razonamiento es:
a) Ecuador no tiene una nueva planta hidroelctrica.
b) Ecuador no tiene las mejores oportunidades.
c) Ecuador tiene las mejores oportunidades o una nueva planta hidroelctrica.
d) Ecuador tiene una nueva planta hidroelctrica y las mejores oportunidades.
e) Ni Ecuador tiene una nueva planta hidroelctrica, ni las mejores oportunidades.
Respuesta: c)

118) Mara desea pedirle un vestido nuevo a su esposo. Considere que las siguientes
proposiciones describen correctamente el comportamiento de su familia.
Si el esposo llega a la casa y no est lista la comida, se siente irritado. Si la esposa le
cuenta sus problemas y el esposo est irritado se produce una gran pelea. Basta que se
produzca una gran pelea para que todas las peticiones de la esposa sean negadas.
a) Existir alguna forma de garantizar que ella consiga su peticin?
b) Existir alguna forma de garantizar que ella NO consiga su peticin?

1.7 Demostraciones

119) Demuestre la ley del MODUS TOLENDO TOLLENS utilizando el mtodo de demostracin
directa.

120) Demuestre la ley del SILOGISMO DISYUNTIVO utilizando el mtodo de demostracin

directa.

121) Demuestre la ley del MODUS PONENDO PONENS utilizando el mtodo de demostracin
por contrarrecproca.

122) Demuestre las leyes de los DILEMAS CONSTRUCTIVOS utilizando el mtodo de

demostracin por contrarrecproca.

123) Demuestre la ley del MODUS TOLENDO TOLLENS utilizando el mtodo de reduccin al
absurdo.
124) Demuestre la implicacin lgica: #$(q p) p%& q
a) Utilizando tablas de verdad.
b) Utilizando propiedades de los operadores lgicos.

125) Demuestre la implicacin lgica: #$ p q q%& p

a) Utilizando tablas de verdad.
b) Utilizando propiedades de los operadores lgicos.

Pgina 21 de 22

126) Demuestre la implicacin lgica: #$ q p q%& p

a) Utilizando tablas de verdad.
b) Utilizando propiedades de los operadores lgicos.

127) Dado el siguiente razonamiento: Una funcin f es creciente siempre que sea montona
creciente, pero la funcin f no es creciente. Por lo que, f no es montona creciente.
Determine si es vlido o no:
a) Empleando el mtodo de DEMOSTRACIN POR CONTRARRECPROCA.
b) Empleando el mtodo de REDUCCIN AL ABSURDO.
Respuesta: Vlido.

128) Indique si la proposicin planteada en cada literal es verdadera. Si no lo es, proporcione

un contraejemplo.
a) Mis compaeros de este curso de nivelacin tienen 18 aos.
b) Las banderas de los pases de Amrica del Sur tienen 3 colores.
c) Cada ao tiene 365 das.
d) Las provincias del Ecuador tienen gobernador.
e) En Guayaquil solamente existen universidades pblicas.
f) No hay pases que hayan ganado 4 veces la copa mundial de ftbol.
g) El premio Nobel de Literatura no lo ha ganado un latinoamericano.
h) Los celulares son tctiles.
i) Los relojes de pulsera son metlicos.
j) La formas proposicionales son tautolgicas cuando las variables proposicionales que
las conforman son reemplazadas por proposiciones verdaderas.

129) La forma proposicional #$ p q r %& s s , es equivalente a:

a) p q r
b) p q r
c)

( p q) (r s)

d) p q r
e)

( p q) (r s)
Respuesta: a)

A : #$ p q q r %& p q B : q r

Utilizando el mtodo de DEMOSTRACIN DIRECTA, verifique si: A B

130) Sean las formas proposicionales:

) (

) (

Respuesta: S

Pgina 22 de 22