ESCUELA

SUPERIOR POLITCNICA DEL LITORAL

FACULTAD DE CIENCIAS NATURALES Y MATEMTICAS
DEPARTAMENTO DE MATEMTICAS
CURSO DE NIVELACIN 2014 (2S)
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 a nuestro pas 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.

Pgina 1
de 15

4)

5)

6)

7)

8)

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

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 reformularla se convierta en una
proposicin verdadera.
Escriba una expresin que no sea proposicin y que al reformularla se convierta en una
proposicin falsa.

9) Escriba una expresin que sea una proposicin y que al reformularla ya no sea proposicin.

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

1.2 Operadores lgicos

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

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
Pgina 2
de 15

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

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!
1

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.
Respuesta: d)

21) 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)
Pgina 3
de 15

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

23) Dada la proposicin Si hoy no llueve, hace calor.
a) Escriba en espaol cinco formas diferentes de expresar la condicional.
b) Escriba en espaol su recproca, su inversa y su contrarrecproca.

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

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

1.3 Proposiciones simples y compuestas

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

27) 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, Juan compra el libro y paga sus deudas.

28) 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)
Pgina 4
de 15

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

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

31) Dada la proposicin compuesta !"b c a #$ 0 , determine los valores de las
proposiciones simples.
Respuesta: a 0,b 0,c 0

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

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


b) Falso
Respuesta: b)

) (

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

a) Verdadero

b) Falso
Respuesta: a)

35) 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 5
de 15

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

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

38) 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 ( b d )
c) a (b a )
d)

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

1.4 Formas proposicionales

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

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

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

Pgina 6
de 15

42) Sean A y B dos formas proposicionales, se dice que A equivale lgicamente a B ,

denotado por A B , solo si A B es una tautologa.
a) Verdadero


b) Falso
Respuesta: a)

43) Explique la diferencia entre los smbolos (Condicional) y (Implicacin Lgica).

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

45) Dadas las siguientes formas proposicionales:
I)
II)

$ a b b a & b
%
'

(
) (
)
(ba) (b a)

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)

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

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

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

Respuesta: a)

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

Pgina 7
de 15

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

a) Verdadero


b) Falso
Respuesta: a)

) (

) (

49) Las formas proposicionales p q r y p r q r son lgicamente equivalentes.

a) Verdadero


b) Falso
Respuesta: a)

50) Sobre la siguiente forma proposicional:

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

identifique la

proposicin VERDADERA.
a) Es una contradiccin
b) Es una tautologa
c) Es equivalente a q
d) Es equivalente a p
e)

Es equivalente a p q

Respuesta: c)

1.5 Propiedades de los operadores lgicos

51) Niegue la proposicin Hoy no es lunes, puesto que tengo esta leccin y me voy temprano.

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

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

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

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

56) Escriba la ley de la TRANSITIVIDAD y construya una proposicin compuesta a partir de la
estructura lgica de esta ley.
Pgina 8
de 15

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

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

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

se han preparado, se obtienen resultados satisfactorios.

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

estudiantes se han preparado, se obtienen resultados satisfactorios.

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

a) Verdadero

b) Falso
Respuesta: b)

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


b) Falso
Respuesta: a)

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

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

65) 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)
Pgina 9
de 15

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

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

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

69) 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, entonces no programa en Visual
C++.
e) Si Julio no ensea teora de nmeros o no es inteligente, entonces no programa en Visual
C++.
Respuesta: e)

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

71) Empleando lgebra proposicional, demuestre si la forma proposicional

( p (q r)) ( p q) es una tautologa, una contradiccin o una contingencia.

Pgina 10
de 15

72) Considere las siguientes proposiciones simples:

a : Estudias todos los das. b : Te pierdes las farras. c : Ingresas a la ESPOL.
La 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)

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

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

( )

a) p p

b) p q p q

75) 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 %&

76) 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 %
$
& $
&

(
(
(

) (

) (

) (
(
)

)
)
(

Pgina 11
de 15


77) La forma proposicional

( p q) (q r ) es lgicamente equivalente a la forma

proposicional:

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

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

Respuesta: c)

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

1.6 Razonamientos

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

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


b) Falso
Respuesta: b)

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

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

83) 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: No vlido.
Pgina 12
de 15

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

85) 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 V220.
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 V220 entonces te reanimars.
Si te reanimars y estars con energa entonces tomas la bebida V220.
Si te reanimars o estars con energa entonces tomas la bebida V220.
Si te reanimars y estars con energa, entonces t tomas gatorade.
Respuesta: b)

86) 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)
b)
c)
d)
e)

Dios no me escucha.
No digo mis oraciones.
Dios me escucha.
Hago bien el examen.
Si digo mis oraciones, hago bien el examen.
Respuesta: e)

87) 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)
Pgina 13
de 15

88) 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: b)

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

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

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

92) Demuestre la ley del SILOGISMO DISYUNTIVO utilizando el mtodo de demostracin directa.

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

94) Demuestre las leyes de los DILEMAS CONSTRUCTIVOS utilizando el mtodo de demostracin
por contrarrecproca.

95) Demuestre la ley del MODUS TOLENDO TOLLENS utilizando el mtodo de reduccin al
absurdo.

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

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

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

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

a) Utilizando tablas de verdad.

b) Utilizando propiedades de los operadores lgicos.

99) Con el mtodo de reduccin al absurdo, determine la validez del siguiente razonamiento
lgico:
Si Corinthians gana el ltimo partido, su hinchada festeja. Slo si la hinchada festeja,
Corinthians queda campen. La hinchada no festeja ya que Corinthians no gana el ltimo
partido ni queda campen. Por lo tanto, si la hinchada de Corinthians no festeja, entonces
Corinthians no queda campen.
Respuesta: Vlido.

100) 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.
k) Si un nmero es divisible para 3, entonces es divisible para 6.
l) Los nmeros primos no son pares.
m) La suma de un nmero impar y un nmero par da como resultado un nmero par.
n) Si un nmero es par, entonces su cuadrado no ser un nmero par.
o) Las operaciones aritmticas cumplen con la propiedad conmutativa.

Pgina 15
de 15