ESCUELA

SUPERIOR POLITCNICA DEL LITORAL

FACULTAD DE CIENCIAS NATURALES Y MATEMTICAS
DEPARTAMENTO DE MATEMTICAS
CURSO DE NIVELACIN 2017 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) Los nmeros divisibles para 5 terminan en los dgitos 0 o 5.
c) Alto ah!
d) Cuando salimos?
e) x +1= 5
f) Eres pilas!
( )
g) 3 2 + 4 = 30
h) Cundo me ganar la lotera?
i) El nmero 36 es par.

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

5) Escriba una expresin que no sea proposicin y que al replantearla se convierta en una
proposicin verdadera.

6) Escriba una expresin que no sea proposicin y que al replantearla se convierta en una
proposicin falsa.

Pgina 1 de 8

1.2 Operadores lgicos

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

8) 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 + 9 2 3 3 + 3 1% +1= 8
d)
#$ ( {( ) ( ) } ) '&
e) Todos los celulares toman fotos.
f) Todas las computadoras funcionan con pilas.
g) El baln de ftbol es cuadrado.
h) Un kilogramo tiene aproximadamente 35.3 onzas.
Respuesta: a) 0 , b) 1 , c) 1 , d) 1 , e) 0 , f) 0 , g) 0 , h) 1

9) Escriba en espaol 2 proposiciones por cada una de las interpretaciones gramaticales de:
a) la conjuncin
b) la disyuncin inclusiva
c) la disyuncin exclusiva
d) la condicional
e) la bicondicional

10) 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.

11) Sean las proposiciones simples:
a : 3 es un nmero par. b : 3 es un nmero impar. c : 6 divide a 3.
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) (a b) (c b)
b) (c b) (a b)
c) (c b) (b a)
d) (b a ) ( c b)
e) ( a b) ( c b)
Respuesta: d)

Pgina 2 de 8

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

13) 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)

14) 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)

1.3 Proposiciones simples y compuestas

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

16) 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.

17) 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 )

Pgina 3 de 8

18) 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 )

19) 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)

20) Una proposicin compuesta es verdadera si y slo si todas las proposiciones simples que
la conforman son verdaderas.
a) Verdadero b) Falso
Respuesta: b)

( ) ( ) ( )
21) Si la proposicin a b c d es FALSA, entonces bc es VERDADERA.
a) Verdadero b) Falso
Respuesta: a)

1.4 Formas proposicionales

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

23) 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)

24) 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)
Pgina 4 de 8


25) Sea f p,q,r ( ) una forma proposicional tautolgica. Identifique la proposicin
VERDADERA:
( ) ( )
a) f 1,0,1 f 0,1,0

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

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

d) f (1,1,1) f (0,0,0)
e) f (1,1,1) f (0,0,0)
Respuesta: d)

( )
( )
26) Sean f p,q,r una forma proposicional tautolgica y g p,q,r una contradiccin.
Identifique la proposicin VERDADERA:
( ) ( )
a) f 0,0,0 g 1,1,1

b) f (0,0,0) g (1,1,1)
c) f (0,0,0) g (1,1,1)
d) g (1,1,1) f (0,0,0)
e) g (0,0,0) f (1,1,1)
Respuesta: d)

27) 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)

28) Sean tres formas proposicionales: A una tautologa, B una contradiccin y C una

contingencia. Identifique la proposicin VERDADERA:

a) (B A) es una contradiccin.
b) (C A) es una contradiccin.
c) (C B) es una contradiccin.
d) (B C ) es una tautologa.
e) (AB) es una tautologa.
Respuesta: e)

Pgina 5 de 8

1.5 Propiedades de los operadores lgicos

29) 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 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.
b) 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.
c) Si como bastante, voy al gimnasio; pero no voy al gimnasio. Entonces, no como
bastante.
d) 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.

30) 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)

31) 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)

32) 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) (c a) #$(a b) c%&
#c ( a b % ( a c
e) $ )& )
Respuesta: c)

Pgina 6 de 8

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

34) Escriba la ley de la TRANSITIVIDAD y construya una proposicin compuesta a partir de la
estructura lgica de esta ley.

35) 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.

1.6 Razonamientos

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

37) Un razonamiento es vlido si y slo si todas las proposiciones simples que lo conforman
son verdaderas.
a) Verdadero b) Falso
Respuesta: b)

38) Un razonamiento no es vlido si y slo si todas las proposiciones simples que lo
conforman son falsas.
a) Verdadero b) Falso
Respuesta: b)

39) Determine la validez de los siguientes razonamientos lgicos:
a) 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.
b) 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.
c) 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.
d) 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: a) No vlido, b) Vlido, c) Vlido, d) Vlido.

1.7 Demostraciones

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

Pgina 7 de 8

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

42) Demuestre la implicacin lgica: #$(q p) p%& q
a) Utilizando tablas de verdad.
b) Utilizando propiedades de los operadores lgicos.

43) 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.

44) Indique si la proposicin planteada en cada literal es verdadera. Si no lo es, proporcione
un contraejemplo.
a) Las banderas de los pases de Amrica del Sur tienen 3 colores.
b) Cada ao tiene 365 das.
c) Las provincias del Ecuador tienen gobernador.
d) En Guayaquil solamente existen universidades pblicas.
e) No hay pases que hayan ganado 4 veces la copa mundial de ftbol.
f) El premio Nobel de Literatura no lo ha ganado un latinoamericano.
g) Los celulares son tctiles.
h) La formas proposicionales son tautolgicas cuando las variables proposicionales que
las conforman son reemplazadas por proposiciones verdaderas.

45) Sean las formas proposicionales: A : #$ p q q r %& p q B : q r
( ) ( ) ( )

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

Pgina 8 de 8