Profesor: Ing.

Freddy De la Rosa

LOGICA
MATEMATICA
Proposiciones y no proposiciones
1. Cu
ales de los siguientes enunciados son proposiciones? Justifica tu
respuesta en cada caso.
a) 1547 es un n
umero par.
b) Cuenca es la capital de Uruguay.
c) Los elefantes vuelan.
d ) El n
umero 7 es triste.
e) Lev
antate por favor!
f ) 2x 5 = 7
g) 52 42 + 32
h) El 14 de Julio fue Lunes.
i ) El 12 de agosto de 1230 fue Martes .
j ) Est
as haciendo deporte?
k ) La caida de sol en la playa es hermosa.
l ) Este enunciado es una proposicion falsa.
m) Ma
nana llover
a en Guayaquil.

Operadores l
ogicos
2. Traduzca las siguientes proposiciones al lenguaje formal:
a) El medico no me recomendo guardar reposo.
b) No es cierto que la nevera esta encendida.
c) La computadora est
a encendida y tiene varios programas en ejecuci
on.
d ) El celular est
a encendido pero no es posible realizar llamadas.
e) Mara, Ana y Pedro asistieron a la funcion de cine vespertina.
f ) No es verdad que el se
nor Davila fue contratado y ya esta ejerciendo su cargo.
g) En estas vacaciones visitare Galapagos o el Parque Nacional Yasun.
1

LATEX

Profesor: Ing. Freddy De la Rosa

h) O desayuno a la hora adecuada o tendre que visitar al medico.
i ) Si el juez no dicta medidas cautelares, el sospechoso saldra del
pas.
j ) No es verdad que los transportistas haran huelga si no escuchan
sus peticiones.
k ) El arquitecto hara el dise
no si y solo si le cancelan sus honorarios.
l ) O hago un cambio de aceite al auto o lo vendo y me compro uno
nuevo.
m) Muchos ambientes son o demasiado fros para que un humano
sobreviva o demasiado calidos para que un humano sobreviva.

3. Traduzca las siguientes proposiciones al lenguaje formal:

a) Si encuentran la caja negra, podran dilucidar la causa del accidente.
b) Obtener un cupo en la universidad implica hacer un gran esfuerzo.
c) El ingeniero aceptara el trabajo solo si no debe trabajar los fines
de semana.
d ) Solo si los leones son herbvoros el medico me atendera en menos
de una hora.
e) Solo los programadores en Java aplican la programacion orientada
a objeto.
f ) Basta que llegue la temporada h
umeda para que el clima sea
caluroso.
g) Para utilizar la impresora basta que tenga tinta.
h) En el Titanic no haban suficientes botes puesto que su hundimiento causo muchas vctimas.
i ) La cena esta deliciosa ya que la preparo un chef.
j ) Cuando hay un evento deportivo, las telenovelas pierden sintona.
k ) El ndice de accidentes disminuira solamente cuando los conductores no manejen ebrios.
l ) Debido a que no haban entradas para el concierto Clara se quedo
en casa.
m) Para obtener una medalla en las olimpiadas es necesario invertir
varios millones de dolares.
2

Profesor: Ing. Freddy De la Rosa

n) Es necesario que haya una descarga electrica para que el acondicionador de aire no funcione.
n
) Para disminuir la frecuencia de robos es suficiente contratar una
compa
na de seguridad.
o) Es suficiente cambiar de proveedor para que mejore el servicio de
internet.
p) Tan solo los mayores de 16 a
nos pueden ejercer el derecho al
sufragio.
q) El ambiente es c
alido, tiene que ser una falla en el acondicionador.
4. Traduzca las siguientes proposiciones al lenguaje formal:
a) Ire a entrenar si y solo si encuentro las llaves del auto.
b) Para aprobar el curso es suficiente y necesario leer un libro.
c) Obtener cero en la leccion es equivalente a aceptar la teora del
Big Bang.
d ) Los autos se deterioran siempre que y solo siempre que no se les
da mantenimiento.
e) Si el bal
on ingresa, el arbitro no otorga el gol; y si el arbitro no
otorga el gol, el bal
on ingresa.
f ) Si el barco obtiene el permiso, descargara el contenedor, en caso
contrario, no lo descargara.

Valor de verdad de una proposici

on compuesta
5. Determine el valor de verdad de las siguientes proposiciones:
a) El ebola es un virus potencialmente mortal pero varias personas
se han curado de la enfermedad.
b) Un metro es igual a 10cm y Chile tiene salida al mar.
c) Obama no es presiente de los Estados Unidos o los cocodrilos son
mamferos.
d ) O el se
nor Garca est
a en Riobamba o el se
nor Garca no esta en
Riobamba.
e) El n
umero 4 es par si y solo si el su antecesor es impar.
f ) El n
umero 8 es primo si y solo si el n
umero 9 es m
ultiplo de 5.
3

LATEX

Profesor: Ing. Freddy De la Rosa

g) 42 32 = 7 si y solo si

16 = 4

h) Basta que el cuadrado de 5 sea mayor a 30 para que Ecuador

clasifique al mundial de Rusia.
i ) No es verdad que La Tierra es un planeta porque existe vida
inteligente en ella.
j ) Si 2+4=6 entonces las vacas no son vertebrados ni las hormigas
son insectos.
6. Dadas las proposiciones simples:

a: 2 + 9 = 5
b: Las ballenas son peces.
c: Sim
on Bolvar descubrio America.
d: 52 = 132 122
Determina el valor de verdad de las siguientes proposiciones moleculares:
a) a b c d
b) (a b) (c d)
c) [a (c d)] (b c)
d ) [(d a) c] [c (a d)]
e) [b Y (d a)] [(c d) Y (a b)]
7. Determina los valores de verdad de las proposiciones a, b y c si se
conoce que la proposicion: (a b) c es falsa.
8. Determina los valores de verdad de las proposiciones a, b y c si se
conoce que la proposicion: [c (a Y b)] [a (b c)] es falsa.
9. Determina los valores de verdad de las proposiciones a, b, c y d si se
conoce que la proposicion: (c b) [a (b c)] (b d) es
verdadera.
10. Determina los valores de verdad de las proposiciones a, b, c y d si se
conoce que la proposicion: [(a b) Y (c d)] [a (b c)] es
falsa.
11. Determine el valor de verdad de las siguientes proposiciones:
4

Profesor: Ing. Freddy De la Rosa

a) La conjunci
on entre 2 o mas proposiciones es verdadera cuando
al menos una de las proposiciones es verdadera.
b) La disyunci
on entre 2 o mas proposiciones es verdadera siempre
que al menos una de las proposiciones sea verdadera.
c) La conjunci
on entre dos o mas proposiciones es falsa si y solo si
todas las proposiciones son falsas.
d ) Si la disyunci
on entre dos o mas proposiciones es verdadera, las
proposiciones son verdaderas.
e) Si la disyunci
on entre dos proposiciones es verdadera, las proposiciones son verdaderas.
f ) Si dos proposiciones son verdaderas, la disyuncion entre las proposiciones es verdadera.
g) La disyunci
on entre dos proposiciones es verdadera si y solo si las
proposiciones son verdaderas.
h) Si la enunciaci
on hipotetica es falsa, la hipotesis es verdadera y
la conclusi
on es falsa.
i ) Si la enunciaci
on hipotetica es verdadera, la hipotesis y la conclusi
on son verdaderas.
j ) Si la hip
otesis de una enunciacion hipotetica es falsa, la enunciaci
on hipotetica es verdadera.
k ) La enunciaci
on hipotetica es falsa si y solo si la hipotesis es verdadera y la conclusi
on es falsa.
l ) Si la enunciaci
on hipotetica entre dos proposiciones es falsa, la
disyunci
on exclusiva entre ellas es verdadera.
m) Si la disyunci
on exclusiva entre dos proposiciones es falsa, la bicondicional entre ellas es verdadera.

Traducciones
12. Dadas las proposiciones:
e: Elena estudi
o toda la noche.
a: Elena aprob
o el examen.
t: Elena lleg
o tarde.
Traduzca al lenguaje formal las siguientes proposiciones:
5

LATEX

Profesor: Ing. Freddy De la Rosa

a) Elena estudio toda la noche pero reprobo el examen.
b) Elena aprobo el examen aunque llego tarde.
c) O Elena estudia toda la noche y no llega tarde o reprobara el
examen.
d ) No es cierto que Elena llego tarde debido a que estudio toda la
noche.
e) Basta que Elena llegue tarde o no estudie toda la noche para que
repruebe el examen.

13. Dadas las proposiciones:

b: Lus gan
o una beca.
v: Lus puede viajar.
p: Lus obtiene el pasaporte.
b: Lus habla con fluidez.
Traduzca al lenguaje formal las siguientes proposiciones:
a) Para que Lus pueda viajar es suficiente que gane una beca y
obtenga el pasaporte.
b) Que Luis pueda viajar implica que o hable con fluidez u obtenga
el pasaporte.
c) Luis gan
o una beca pero no hablo con fluidez, por lo tanto no
obtuvo el pasaporte.
d ) Para que Luis obtenga el pasaporte y pueda viajar es necesario
que gane una beca o hable con fluidez.
e) Luis gan
o una beca pero no obtuvo el pasaporte porque no hablo
con fluidez, por lo tanto no pude viajar.
14. Dadas las proposiciones:
f : Asisto a la fiesta.
e: Voy al estadio.
d: Pido dinero prestado.
j: Hoy juega mi equipo.
Traduzca al lenguaje formal las siguientes proposiciones:
a) No es cierto que asisto a la fiesta si hoy no juega mi equipo.
6

Profesor: Ing. Freddy De la Rosa

b) No asisto a la fiesta ni voy al estadio ya que no ped dinero prestado.
c) Basta que pida dinero prestado para que o asista a la fiesta o vaya
al estadio.
d ) Si no asisto a la fiesta, voy al estadio siempre que pida dinero
prestado.
e) O voy al estadio cuando juegue mi equipo o voy a la fiesta si pido
dinero prestado.
15. Dadas las proposiciones:
i: El actor interpreta bien el papel.
r: El actor recibe el premio de la academia.
t: La pelcula es taquillera.
s: La pelcula tiene una secuela.
Traduzca al lenguaje formal las siguientes proposiciones:
a) El actor interpreta bien el papel pero no recibe el premio de la
academia porque la pelcula no es taquillera.
b) Si el actor interpreta bien el papel, recibe el premio de la academia. Caso contrario, la pelcula no sera taquillera.
c) La causa para que el actor reciba el premio de la academia es que
la pelcula sea taquillera. Luego, la pelcula tiene una secuela.
d ) Solo si el actor interpreta bien el papel, la pelcula es taquillera.
Puesto que la pelcula no tiene secuela, el actor no recibe el premio
de la academia. Como conclusion, el actor no interpreta bien el
papel ni recibe el premio de la academia porque la pelcula tiene
secuela.
e) El necesario que la pelcula sea taquillera para que o el actor
interprete bien el papel o la pelcula tenga secuela. Para que el
actor reciba el premio de la academia basta que la pelcula sea
taquillera o tenga secuela. Entonces, el actor no recibe el premio
de la academia.
16. Dadas las proposiciones:
p: El tibur
on blanco es considerado agresivo.
h: El tibur
on blanco ataca seres humanos.
7

LATEX

Profesor: Ing. Freddy De la Rosa

p: El tibur
on blanco se alimenta de peces.
c: El tibur
on blanco es carro
nero.

Traduzca al lenguaje formal la proposicion:

El tibur
on blanco es considerado agresivo, sin embargo no ataca seres
humanos porque se alimenta de peces. Basta que el tiburon blanco no
sea carro
nero para que sea considerado agresivo. El tiburon blanco se
alimenta de peces debido a que no ataca seres humanos ni es carro
nero.
En conclusi
on, el tiburon blanco es considerado agresivo porque no es
carro
nero.
17. Dadas las proposiciones:
h: El avi
on se hundio en el oceano.
v: La versi
on del secuestro es aceptada.
e: Se encontro la caja negra.
s: Hay sobrevivientes.
c: El caso se cierra.
f : Los familiares acudiran a los medios.
Traduzca al lenguaje formal la proposicion:
Como no se encontro la caja negra y el avion se hundio en el oceano, la
versi
on del secuestro es aceptada. Por causa que el avion se hundio en
el oceano, no hay sobrevivientes. Basta que haya sobrevivientes para
que la versi
on del secuestro no sea aceptada. Es necesario encontrar la
caja negra para que el caso se cierre porque si el caso no se cierra los
familiares acudiran a los medios. Por tanto, que se encuentre la caja
implica que los familiares no acudan a los medios y el caso se cierre.
18. Traduzca las siguientes proposiciones al lenguaje formal:
a) Rafael es vocal de la junta, y o Pedro es secretario, o es presidente.
b) Solo si Mara obtiene medalla de oro, Marcela obtiene o la de
plata o la de bronce.
c) Camila es su prima, y si Juan es su primo entonces Jose no es su
hermano.
d ) Pedro enciende la maquina y registra su salida si y solo si Juan
la apaga cuando termina su jornada.
8

Profesor: Ing. Freddy De la Rosa

e) Si el delegado del ministerio o llega tarde o no trae consigo los
documentos legales, el instrumento jurdico no es aplicable puesto
que no existen las garantas de ley.
f ) O la bicicleta no tiene cadena y si la tiene no esta engrasada o el
tubo no tiene aire suficiente.
g) El proyector o fue robado o esta siendo reparado en el taller a
menos que el contador lo haya dado de baja.
h) Para que el abogado sea escogido como juez si no tiene oposicion
basta que o reciba la maxima nota en el examen o se demuestre
que su conducta es intachable.
i ) No es verdad ire a la playa si mi jefe autoriza mis vacaciones,
puesto que ni he planificado el viaje ni el auto esta apto para
salir de la ciudad.
j ) La noticia es vieja porque fue publicada la semana anterior por
otro diario que aunque no es confiable ha demostrado que tiene
una columna seria.
19. Dadas las proposiciones:
m: El microondas est
a caliente.
h: La masa est
a en el horno.
c: La masa es consistente.
a: Hay gas en el cilindro.
Exprese en lenguaje com
un las siguientes proposiciones:
a) m Y a
b) (h m)
c) (c a) (h m)
d ) (a h) (m c)
e) (m h) a
f ) (a h) Y (m c)
20. Traduzca al lenguaje formal el enunciado: Para que el programa se
ejecute es suficiente a
nadir memoria a la computadora o que el procesador sea veloz. Solo si el programa se cierra de forma inesperada
el procesador de la computadora no es veloz. Por lo tanto, o a
nadimos memoria a la computadora pues su procesador no es veloz o el
programa se ejecuta pero se cierra de forma inesperada.
9

LATEX

Profesor: Ing. Freddy De la Rosa

21. Traduzca al lenguaje formal el enunciado: Solo si el agua es suficiente

y no puedo mantener el fuego, caminare en busca de ayuda. O camino
en busca de ayuda e ignoro el dolor en la pierna, o espero el rescate
si puedo mantener el fuego. El agua no es suficiente aunque puedo
mantener el fuego, por lo tanto espero el rescate.
22. Traduzca al lenguaje formal el enunciado: Los familiares del sr. Gomez no quieren la ciruga ni que se induzca el estado de coma, a menos
que los riesgos sean mnimos. Para que los medicos hagan la intervenci
on quir
urgica no basta un acuerdo verbal. As pues, la esposa del sr.
G
omez debe estampar su firma.
23. Traduzca al lenguaje formal el enunciado: Mientras contin
ue la veda
de cangrejos, los ingresos de la cevichera seran bajos, a menos que el
administrador invierta en publicidad. Los clientes de la cevichera no
gustan de las jaibas tampoco de los camarones, ellos quieren comer
cangrejo.

Recproca, contrarrecproca e inversa

24. Determine la recproca, contrarrecproca e inversa de las siguientes
proposiciones.
a) Si el director de la obra asiste, la orquesta estara coordinada.
b) Si el presupuesto no es suficiente, debemos hacer una nueva inversi
on.
c) Es necesario mejorar el sistema penitenciario para que los presos
se rehabiliten.
d ) Puedo comprar la nevera si la tarjeta no esta cancelada.
e) Basta seguir las recomendaciones del medico para estar sano.
f ) Solo si no haces deporte no tendras buena salud.
g) Solo si la memoria es escasa y no hay capacidad de almacenamiento no podre guardar la informacion.
h) Cuando uso un recetario o el postre es de facil preparacion, los
invitados quedan satisfechos y el evento es un exito.
10

Profesor: Ing. Freddy De la Rosa

Condiciones suficientes y necesarias

25. Indique en que casos la proposicion es verdadera. Cuando as sea parafrasee el enunciado utilizando condiciones suficientes y necesarias.
a) Si un animal vuela entonces tiene alas.
b) Si un auto tiene combustible, el auto rueda.
c) Si hay energa electrica y la nevera esta conectada entonces enciende.
d ) Si llueve, entonces hay nubes.
e) Si una persona habla entonces esta viva.
f ) Si el acondicionador de aire enciende entonces hay energa electrica.
g) Si un animal tiene 4 patas entonces camina.
h) Si un animal es mamfero entonces es vertebrado.
i ) Si un animal es vertebrado entonces es mamfero.
j ) Si el telefono tiene batera entonces puedo usarlo para hacer una
llamada.
k ) Para que Juan tenga ttulo de tercer nivel basta que sea ingeniero.
l ) Cuando una persona ingiere alcohol, su concentracion de alcohol
en la sangre aumenta.
26. Si la proposici
on: El producto no es apto para que consumo humano
porque tiene altos niveles de mercurio es verdadera, determina:
a) Una condici
on suficiente para la proposicion: el producto no es
apto para el consumo humano.
b) Una condici
on suficiente para la proposicion: el producto no tiene
altos niveles de mercurio.
c) Una condici
on necesaria para la proposicion: el producto tiene
altos niveles de mercurio.
d ) Una condici
on necesaria para la proposicion: el producto es apto
para el consumo humano.
27. Escriba 5 condicionales verdaderos en los cuales haya relacion causal
entre el antecedente y el consecuente. Luego parafresee la proposicion
utilizando condiciones suficientes y necesarias.
11

LATEX

Profesor: Ing. Freddy De la Rosa

Formas proposicionales
28. Indica la tipologa de cada forma proposicional.
a) (p q) q
b) (p q) (p q)
c) [(p q) (p q)] p
d ) [p (q r)] Y [q (p r)]
e) (p Y q) (r p) (p q)
f ) [(p q) (p r)] (q r)
g) (p q) [q (p r)] q
29. Sean P , Q y R formas proposicionales tales que P es una tautologa,
Q es una contradiccion y R una contingencia, determina la tipologa
de las siguientes formas proposicionales.
a) P (Q R)
b) P (R Q)
c) (P Q) R
d ) (P Y Q) R.
e) (R Y Q) (P P )
f ) (R Q) (R P )
30. Si se conoce que la forma proposicional f (p, q, r, s, t) es tautologica y
que la forma proposicional g(p, q, r, s, t) es una contradiccion, determine el valor de verdad de las siguientes proposiciones.
a) f (0, 0, 0, 0, 0)
b) f (0, 0, 1, 1, 1)
c) g(1, 0, 1, 1, 0) Y f (1, 0, 1, 1, 0)
d ) g(1, 0, 0, 1, 0) f (1, 0, 1, 0, 1)
e) [g(1, 1, 0, 0, 0) f (0, 0, 0, 1, 0)]
31. Cu
ales de las siguientes expresiones son implicaciones logicas?
a) (p q) p
b) p (p q)
c) [(p q) q] p
12

Profesor: Ing. Freddy De la Rosa

d ) (p q) [q (p r)]
e) [(p q) (p r)] [p (r q)]
32. Cu
ales de las siguientes expresiones son equivalencias logicas?
a) p (p q) p q
b) p (q r) q (p q)
c) (p q) (p r) p (q r)
d ) p (q r) (q p) r
e) (p q) (p r) p (q r)

Leyes del
algebra proposicional
33. Aplicando leyes del
algebra proposicional determina la tipologa de las
siguientes formas proposicionales
a) p p

g) [(p q) p] q

b) p (p q)

h) [(p q) q] p

c) p (p q)

i ) p (p q)

d ) p [p (p q)]

j ) [p (p q)] 0

e) p (p q)

k ) [(p q) p] q

f ) (p q) q

l ) (p q) (p q)

34. Aplicando leyes del

algebra proposicional determina la tipologa de las
siguientes formas proposicionales


a) (p q) q Y (q p)




b) p (r s) Y r (p s)


c) p {p [q (r s)]} p
35. Aplicando leyes del
algebra proposicional determina cuales de las siguientes expresiones son implicaciones logicas.
a) p (p q)
b) p (p q)
c) (p q) q
d ) [(p q) (p q)] p
13

LATEX

Profesor: Ing. Freddy De la Rosa

e) [(p q) (r p)] (q r)


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

36. Aplicando leyes del algebra proposicional determina cuales de las siguientes expresiones son equivalencias logicas.
a) p p p
b) p q (p q)
c) p (q r) (q p) r
d ) (p q) (p r) p (q r)
e) p (q r) r (p q)
37. Cu
ales de las siguientes proposiciones son equivalentes a la proposici
on: La tubera tiene fuga porque no hay potencia en el grifo y el
valor de la planilla es alto?
a) Hay potencia en el grifo o el valor de la planilla no es alto o la
tubera tiene fuga.
b) La tubera no tiene fuga solo si hay potencia en el grifo o el valor
de la planilla no es alto.
c) Cuando hay potencia en el grifo, el valor de la planilla no es alto
o la tubera tiene fuga.
d ) El valor de la planilla es alto entonces hay potencia en la llave o
la tubera tiene fuga.
e) Solo si el valor de la planilla no es alto no es verdad que hay
potencia en el grifo y la tubera tien fuga.
38. Dadas las proposiciones:
a: Me llamas
b: Te llamo
c: Me cuelgas
Cu
ales de las siguientes proposiciones son traducciones de la proposici
on: Si te llamo, me llamas; pero solo si no me cuelgas te llamo?
a) (b a) (c b)
b) b (a c)
c) (a c) b
14

Profesor: Ing. Freddy De la Rosa

d ) (b a) (b c)
e) b (c a)
39. Escribe en espa
nol la negacion de las siguientes proposiciones:
a) Los hoteles no coparon toda su capacidad aunque muchos turistas
visitaron la playa.
b) El celular tiene carga y saldo pero no es posible realizar llamadas.
c) Si el Sr. Filipo no asiste a la obra, la actuacion se vera deslucida.
d ) Es suficiente que haga fro para que use un abrigo o prenda la
chimenea.
e) Basta que suene la alarma o el perro ladre para que Fausto se
levante y llame a la polico.
f ) Para mantener la poblacion de cangrejos, es necesario prohibir su
caza si es tiempo de reproduccion.
g) Solo las calles que tienen alcantarillado no seran destruidas, a
menos que la marea suba.

Razonamientos
40. Determine la validez de los siguientes razonamientos.
a) Si hoy es lunes, ma
nana es martes. Ma
nana es martes. Por lo
tanto, hoy es lunes.
b) Si hoy es lunes, ma
nana es martes. Hoy es lunes. Por lo tanto,
ma
nana es martes.
c) Solo si las sirenas existen los peces hablan. Los peces hablan. En
conclusi
on, las sirenas existen.
d ) Si la sequa se prolonga, hay escasez de alimentos. No hay escasez
de alimentos. Entonces, la sequa no se prolonga.
e) Basta que la selecci
on gane el partido de f
utbol para que clasifique al mundial. La seleccion no clasifica al mundial. Luego, la
selecci
on no gana el partido de f
utbol.
f ) Si el diagn
ostico no es correcto, el paciente inicia una demanda.
Si el paciente inicia una demanda la clnica recibe un llamado de
atenci
on. Por lo tanto, basta que el diagnostico no sea correcto
para que la clnica reciba un llamado de atencion.
15

LATEX

Profesor: Ing. Freddy De la Rosa

g) Si Camilo es culpable, Rodolfo es inocente pero si Camilo no es
culpable, Andres no es inocente. As pues, si Andres es inocente,
Rodolfo tambien.
h) Tienes el virus solo si tienes tos. Te duele la cabeza porque tienes
el virus. Luego, tienes dolor de cabeza o tienes tos.

41. Determine la validez de los siguientes razonamientos.

a) Si los yacimientos son explotados, los ambientalistas no daran
marcha atr
as ni suspenderan la huelga de hambre. Basta que los
ambientalistas den marcha atras para que los yacimientos sean
explotados. Se concluye entonces que los ambientalistas no daran
marcha atr
as.
b) Si el arquitecto corrige los planos, la estructura sera reforzada o el
ingeniero hara un reclamo formal. Basta que el arquitecto corrija
los planos para que la estructura no sea reforzada. Por lo tanto,
si el ingeniero hace un reclamo formal el arquitecto no corrige los
planos.
c) Cuando los heroes son homenajeados, no reciben la cruz de hierro. Si los heroes no son homenajeados, acuden a los medios de
comunicaci
on y levantan su voz de protesta. As que, los heroes
reciban la cruz de hierro solo si levanten su voz de protesta.
d ) Si empieza el litigio con el estado, los recursos no se asignan a
tiempo pero los habitantes se sienten satisfechos. Si los habitantes se sienten satisfechos o las autoridades locales son diligentes,
la infraestructura sufrira cambios. Por lo tanto, solo cuando la
infraestructura sufra cambios empezara el litigio con el estado.
e) Si el producto es alto en az
ucar o alto en sal, entonces su consumo
excesivo afecta el sistema cardiovascular. El producto es alto en
az
ucar solo cuando no afecta el sistema cardiovascular. Se deduce
que si el producto es alto en sal, es alto en az
ucar y afecta el
sistema cardiovascular.
42. Si H1 y H2 son las presmisas de un razonamiento y C su conclusion,
determina su validez.
H1 : Basta que Ana no llegue puntual para que si Camilo llega
puntual entonces Brenda llegue puntual.
H2 : Si Camilo y Brenda llegan puntual entonces Diana no llega
puntual.
16

Profesor: Ing. Freddy De la Rosa

C: Llega puntual Ana o llega puntual Diana
43. Si H1 , H2 y H3 son las presmisas de un razonamiento y C su conclusion,
determina su validez.
H1 : Si la pugna contin
ua, el puente no se construye o se retrasa
la obra.
H2 : Basta que se retrase la obra para que el pueblo se vea perjudicado.
H3 : EL puente se construye.
C: Es necesario que el pueblo se vea perjudicado para que la pugna
contin
ue.
44. A continuaci
on se muestran las 3 hipotesis de un razonamiento. Determina 3 conclusiones distintas a las hipotesis con las cuales el razonamiento sea v
alido.
H1 : Si el gallo canta, el papagayo lo imita.
H2 : Si el papagayo imita al gallo y la gallina no esta en el corral,
el gallo ataca al papagayo.
H3 : La gallina no est
a en el corral.
45. Determina cu
ales de las siguientes expresiones son implicaciones logicas.
a) p (p q)
b) [(p q) q] p
c) [(p q) r] (q r)
d ) [(p q) (q r)] (p r)
e) [(p q) r] [r (q p)]
f ) {[p (q r)] (r s) q} (p s)
g) {[p (q r)] (q r)} (p r)

M
etodos de demostraci
on
46. Demuestra por el metodo directo que las siguientes formas proposicionales son tautol
ogicas:
a) (p r) (q p)
17

LATEX

Profesor: Ing. Freddy De la Rosa

b)

[p (q r)] r (p r)

c) [(p q) (p q)] (q r)


d ) (p q) [q (r s)] (p r)


e) [p (q r)] (q r) (p r)
47. Demuestra por el metodo de la contrarrecproca que las siguientes
formas proposicionales son tautologicas:
a) p (q p)
b) (p q) (p Y q)
c) (p q) (q p)
d ) (p q) [(p q) (q p)]
e) (p r) {[p (q r)] q}
48. Demuestra por el metodo de reduccion al absurdo que las siguientes
formas proposicionales son tautologicas:
a) p (p q)
b) (p r) (q p)
c) (p q) (p q)
d ) [(p q) (p q)] q
e) (p q) [(p q) (q p)]
49. Demuestra por el metodo directo que si la conjuncion entre dos proposiciones es verdadera, le enunciacion hipotetica entre las proposiciones
tambien es verdadera.
50. Demuestra por el metodo de la contrarrecproque que si la enunciacion
hipotetica entre dos proposiciones es falsa, la disyuncion exclusiva entre ellas es verdadera.
51. Demuestra por el metodo de reduccion al absurdo que si la la hipotesis de la enunciacion hipotetica es falsa, la enunciacion hipotetica es
verdadera.

18