TRILCE

Capítulo
LEYES LÓGICAS II:
7 IMPLICACIONES NOTABLES
Llamadas también Leyes Implicativas. Son esquemas condicionales tautológicos, por lo que representan inferencias válidas.
En consecuencia, teniendo la(s) premisa(s) podemos derivar inmediatamente su respectiva conclusión.
Las más importantes son las siguientes:

1. Modus Ponendo Ponens (MPP): Si se afirma el antecedente de una premisa condicional, se concluye la afirmación
del consecuente de dicha premisa.
Regla: Ley:

AB [(p  q)  p]  q
A
B

Ejemplo: Formalizando:
P1 : Si llueve en la noche, las pistas están mojadas. P1 : p  q
P2 : Llueve en la noche. P2 : p
C : Luego, las pistas están mojadas. C q

2. Modus Tollendo Tollens (MTT): Si se niega el consecuente de una premisa condicional, se concluye la negación del
antecedente de dicha premisa.
Regla: Ley:

AB [(p  q)  ~ q]  ~ p
~B
~A

Ejemplo: Formalizando:
P1 : Si eres estudiante de Trilce, te están preparando adecuadamente. P1 : p  q
P2 : No te están preparando adecuadamente. P2 :~ q
C : Consecuentemente, no eres estudiante de Trilce. C ~ p

3. Silogismo Disyuntivo (SD): Si se niega uno de los elementos de una premisa disyuntiva, se concluye la afirmación
del otro elemento.
Regla: Ley:

AB AB [(p  q)  ~ p]  q

~A ~B [(p  q)  ~ q]  p
B A

Ejemplo: Formalizando:
P1 : Estudio Contabilidad o Economía. P1 : p  q
P2 : No estudio Economía. P2 :~ q
C : Estudio Contabilidad. C p

4. Silogismo Hipotético Puro (SHP): Si de un conjunto de dos premisas condicionales, el consecuente de una de las
premisas es la afirmación del antecedente de la otra premisa, entonces del antecedente de una de las premisas se deriva
el consecuente de la otra premisa.

59
Lógica

Regla: Ley:
AB BC [(p  q)  (q  r)]  (p  r)
BC AB [(q  r )  (p  q)]  (p  r)
AC AC

Ej.: Si Carnap fue neopositivista, conformó el Círculo de Viena. Y si conformó el Círculo de Viena, confiaba en la Lógica
Simbólica. Por lo tanto, si Carnap fue neopositivista, confiaba en a Lógica Simbólica.
Formalizando:
P1 : p  q
P2 : q  r
C p  r

5. Conjunción: De un conjunto de premisas, se puede concluir la Conjunción de las mismas.

Regla: Ley:
A (p)  (q)  p  q
B
AB

Ejemplo:
Juan es escritor. Juan es poeta. Luego, Juan es escritor y poeta
p q p q
Formalizando :
P1 : p
P2 : q
C p  q

6. Simplificación: De una premisa conjuntiva se puede concluir cualquiera de sus componentes.

Regla: Ley:

AB AB (p  q)  q
B A (p  q)  p

Ejemplo: Formalizando:
P1 : Copérnico fue Astrónomo y Físico. P1 : p  q
C Copérnico fue Astrónomo. C p

DERIVACIÓN O DEDUCCIÓN NATURAL

Es un procedimiento formal que sirve para demostrar que la conclusión se deduce lógicamente de las premisas o de un
conjunto de premisas.
Este procedimiento consiste en obtener la conclusión deseada mediante la aplicación de leyes lógicas en una secuencia finita
de pasos. Entonces, dado un conjunto de premisas, la deducción lógica debe permitirnos sacar consecuencias que sólo se
deriven lógicamente de las premisas; en otros términos, consecuencias que son implicadas por las premisas.

Ejemplo:

1. Sean las premisas y su conclusión respectivamente:

P1 :~ p  (q  ~ r)
P2 :~ p
P3 : s  r
C ~ s
Indique qué pasos se han efectuado para obtener la conclusión: “~ s”.

60
 TRILCE

Resolución:

P1 :~ p  (q  ~ r)
P2 :~ p
P3 : s  r // ~ s

4) q  ~ r : se deduce de la P1 y P2 mediante (M. P. P.)

5) ~r : se obtiene al utilizar Simpl. en la P

4
6) ~s se deduce de la P3 y P5 mediante (M. T. T. )
:
De esta manera, la derivación queda lógicamente justificada por los pasos efectuados, resultando su validez.

2. Sea el razonamiento:
“Si hay sol, entonces es verano o iremos a la playa. Hay sol pero no es verano. Por lo tanto, vamos a la playa”.

* Para facilitar la demostración, es necesaria la formalización:

P1 : p  (q  r)
P2 : p  ~ q
r
* Ahora efectuamos la derivación:
P1 : p  (q  r)
P2 : p  ~ q //  r
3) p (2) x simp.
4) qr (1) y (3) x M. P. P.
5) ~q (2) x simp.
6) r (4) y (5) x S. D.

61
Lógica

PRÁCTICA
01. Si eres un líder, tienes muchas admiradoras. Si tienes c) Los políticos son Abogados y también diplomáti-
muchas admiradoras entonces serás elegido como el cos.
mejor amigo. Luego: d) Los políticos no son Abogados pero si diplomáti-
a) O eres un líder o no lo eres. cos.
b) Si eres un líder, serás elegido como el mejor amigo. e) No tiene conclusión válida.
c) Tienes muchas admiradoras si y sólo si eres un
líder. 08. "Robert acude al médico o al Psiquiatra. Robert
d) Eres un líder y serás elegido como el mejor amigo. no acude al psiquiatra".
e) Si no eres un líder entonces no te admiran. Entonces:
a) Tampoco va al médico.
02. La proposición: "Claudia es caprichosa o Martín b) Va al médico.
es respetuoso, pero no es el caso que Claudia c) Le teme a los psiquiatras.
sea caprichosa". d) Sabe que no está loco.
Implica a: e) No tiene dinero.
a) Martín no es respetuoso.
09. Determine la conclusión:
b) Claudia es caprichosa.
P1 : q  (p  r)
c) Claudia no es respetuosa.
d) Martín es respetuoso. P2 :~ (p  q)
e) Ninguna de las anteriores. C // 

03. Si llueve y nieva entonces habrá tormenta. Ocurre que a) p

no hay tormenta. Luego: b) q
c) r
a) No llueve y nieva.
d) ~p
b) Si llueve pero no nieva. e) ~r
c) Es falso que llueva o nieve.
d) No nieva o no llueve. 10. La conclusión de:
e) Ni llueve ni nieva. P1 : p  q
P2 :~ r ~ q
04. Si Junior sabe Lógica, desaprobará el examen, pero
ha aprobado el examen; de ahí que: P3 : s  ~ r
a) Junior no sabe Lógica. P4 : s  t
b) Si no sabe Lógica, irá a la universidad.
P5 ~ t
c) Es falso que no sabe Lógica.
d) Junior no ha dado examen. C // 
e) Junior tiene que estudiar más.
Es:
05. Si estudias en la UNI, te gustará las matemáticas; no a) p
obstante es imposible que no estudies en la UNI. Por b) s
lo tanto: c) r
a) No te gustará las matemáticas. d) ~p
b) Te gustará las matemáticas. e) q
c) Estudias en la UNI.
d) Eres estudiante de la UNI y matemático. 11. "Si Aurora no es comerciante, es empresaria.
e) Si eres matemático entonces estudias en la UNI. Pero se sabe que no es empresaria".
Por lo tanto la conclusión es:
06. En el Modus Ponendo Ponens (MPP) la conclusión se
a) Aurora es comerciante.
haya luego que:
a) Se afirma el consecuente. b) Aurora no es comerciante.
b) Se negó el antecedente. c) Aurora es empresaria.
c) Se negó el consecuente. d) Aurora es comerciante o empresaria
d) Se afirmó el antecedente. e) Aurora es comerciante, pero no empresaria.
e) Se obvió el consecuente.

07. Los políticos son Abogados a menos que no sean 12. "Si yo tengo tu misma edad y tú tienes la misma
diplomáticos. Pero, los políticos no son Abogados, edad que él, entonces yo tengo la misma edad
entonces: que él".
a) Los políticos son diplomáticos. El razonamiento anterior corresponde a:
b) Los políticos no son diplomáticos. a) M. P. P.
b) M. T. T.

62
 TRILCE

c) S. H. P. No gasto dinero.
d) T. S. Por tanto:
e) S. D. a) No fumo.
b) Enfermaré.
13. No hablo japonés.
c) Voy al médico.
Tampoco hablo chino.
Hablaría chino o japonés, si fuera políglota. d) Fumo.
Es falso que hable varias lenguas y no sea políglota. e) Gasto dinero.
En consecuencia:
a) Hablo varias lenguas. 19. "Si terminas la tarea, irás a la fiesta. No
b) No hablo varias lenguas. aprobarás el examen si dejas de lado tus
c) Hablo pocas lenguas. obligaciones. También tenemos que si vas a la
d) Soy políglota. fiesta, dejas de lados tus obligaciones, lo cierto
e) Hablo japonés y chino. es que terminas la tarea".
Concluimos que:
14. Determinar la conclusión del siguiente razonamiento: a) No vas a la fiesta.
"Si conduces un automóvil, no debes beber b) Dejas de lado tus obligaciones.
cerveza. Pero bebes cerveza". c) No apruebas el examen.
En conclusión: d) No estudias.
a) Conducir y no beber cerveza. e) Apruebas el examen.
b) No conduces un automóvil.
c) Sólo conduces. 20. De las siguientes premisas:
d) Bebes cerveza y no bebes cerveza. "Si Débora estudia Educación Inicial, entonces
e) No bebes cerveza y conduces. instruirá a los niños", "Si Lucila estudia
Enfermería, curará a los enfermos" y "Débora no
15. Derive la conclusión instruirá a los niños o Lucila no curará a los
1. p  (~ q  r) enfermos".
2. ~ p  ~ r//  Se infiere:
a) Débora no estudia Educación Inicial o Lucila no
a) q estudia Enfermería.
b) r b) Débora estudia Educación Inicial o Lucila estudia
c) p Enfermería.
d) ~q c) Débora no estudia Educación Inicial o Lucila estu-
e) q~ r dia Enfermería.
d) Débora instruirá a los niños y Lucila curará a los
16. ¿A qué principio lógico corresponde el siguiente enfermos.
enunciado? e) Lucila cura a los enfermos y Débora instruye a los
niños.
"No se da el caso que el fotón esté y no esté en
un mismo punto al mismo tiempo". 21. De las siguientes premisas: "Carlos ingresó a
a) Principio de no contradicción. Medicina o a Ingeniería; Carlos no ingresó a
b) Principio de exclusión de medio. Biología y si Carlos ingresó a Ingeniería, ingresó
c) Principio del tercio excluido. a Biología".
d) Principio de identidad. Entonces se infiere que:
e) Principio de razón suficiente. a) Carlos ingresó a Ingeniería.
b) Carlos ingresó a Medicina.
17. Derive la conclusión: c) Carlos no ingresó a Medicina.
P1 : p  (q  r) d) Carlos ingresó a Biología.
e) Carlos no ingresó a ninguna de las carreras.
P2 : p  ~ r
P3 : s  q 22. Si soy poeta, soy escritor:
Si soy escritor, domino el lenguaje.
No domino el lenguaje o soy "culto".
a) ~s
Pero no soy "culto".
b) r
Por ende:
c) q
a) No soy poeta.
d) s
b) No soy escritor, aunque soy poeta.
e) ~p
c) No domino el lenguaje, pero soy poeta.
d) Soy poeta.
18. Si fumo, enfermaré:
e) Domino el lenguaje.
SI no voy al médico, no enfermo.
Gasto dinero o no voy al médico.

63
Lógica

23. Soy atleta o no soy deportista. a) Somos felices.

Si soy fumador, no soy atleta. b) Ganamos.
Estoy sano, ya que no soy fumador. c) No nos botan.
Es falso que esté sano. d) No somos felices.
Luego, no es cierto que: e) N. A.
a) No sea atleta.
b) Sea fumador. 30. Manuel asiste a la fiesta ya que fue invitado, porque es
c) Sea deportista.
amigo de José. Manuel es amigo de José. De ahí que:
d) No sea deportista.
a) Es amigo de José y asiste a la fiesta.
e) No esté sano.
b) No fue invitado o asiste a la fiesta.
c) No fue invitado y no es amigo de José.
24. De las premisas:
d) Es amigo de José y no asiste a la fiesta.
"Andrómeda es una constelación, salvo que sea
e) Es invitado pero no asiste a la fiesta.
una galaxia", y "es absurdo pensar que
Andrómeda sea una constelación".
31. Si no obtengo la beca, no viajaré. Yo sé que no seré
Se infiere:
profesional si es que no viajo. Entonces llego a la
a) Andrómeda es una constelación.
conclusión que:
b) Andrómeda es una galaxia.
a) Es falso que obtenga la beca o sea profesional.
c) Andrómeda es una estrella.
b) No es cierto que no obtenga la beca y no viaje.
d) Andrómeda no es una galaxia.
c) No es cierto que obtenga la beca o no sea profesio-
e) Andrómeda no es una constelación.
nal.
d) Es falso que no obtenga la beca y no sea profesio-
25. De las siguientes premisas:
nal.
"Si Willy es profesor, entonces no es millonario".
e) Obtengo beca y no viajo.
"Si Willy no es matemático, entonces es
corrupto", y "Willy es profesor, a menos que no
32. Si ingresas, serás ingeniero. Si no eres un gerente,
sea matemático".
entonces no eres ingeniero.
Se infiere que:
Se deduce:
a) Willy es matemático y profesor.
a) Si ingresas, no eres ingeniero.
b) Willy no es millonario ni corrupto.
b) Si ingresas, serás gerente.
c) Willy no es millonario salvo que sea corrupto.
c) Si eres gerente, entonces ingresaste.
d) Willy es un profesor no corrupto.
d) Si no ingresas, serás gerente.
e) Willy no es matemático.
e) Si no eres ingeniero, eres gerente.
26. Si llueve entonces no hace calor, o vamos a la playa.
33. Si Periquito no es bandolero, se meterá en una caja.
Pero no vamos a la playa. Sin embargo, llueve. Luego:
Pero se sabe que no se meterá en una caja. Por lo tanto,
a) No llueve.
la conclusión es:
b) Hace calor. a) Periquito es bandolero.
c) No vamos a la playa. b) Periquito no es bandolero.
d) No hace calor. c) Periquito se meterá en una caja.
e) Vamos al cine. d) Periquito es bandolero, pero no se meterá en una
caja.
27. María no me quiere o no me odia. María me odia. e) Periquito se meterá en una caja o es bandolero.
Además si no es rencorosa, María me quiere. Sin
embargo, si es rencorosa entonces es temperamental. 34. En el Modus Tollendo Tollens, la conclusión, se deduce
a) No es rencorosa. luego:
b) No es temperamental. a) Se afirmó el antecedente.
c) Es temperamental. b) Ha sido negado el consecuente.
d) Me odia. c) Afirmar el consecuente.
e) Me quiere. d) Se negó el antecedente.
e) Se ha negado cualquier elemento de la premisa
28. Si no me matas entonces vivo. Pero no vivo. Además condicional.
si me matas, me voy al cielo. Por lo tanto:
a) No me voy al cielo. 35. "La conclusión es una fórmula condicional, cuyo
b) Me matas. antecedente proviene del antecedente de la
c) No vivo. primera premisa y su consecuente proviene del
d) Me voy al cielo. consecuente de la segunda premisa".
e) Me voy al infierno. Tal principio, se denomina:
a) Modus Ponens.
29. No ganamos y somos felices. Sin embargo, ganamos o b) Modus Tollens.
no nos botan a la vez. Si no somos felices entonces nos c) Silogismo Disyuntivo.
botan. d) Silogismo Hipotético Puro.
Luego: e) Silogismo Categórico.

64

36. Si es vacaciones y temporada de feria, saldremos a
pasear. Ocurre que no salimos a pasear, luego:
a) No es vacaciones y temporada de feria.
b) Si es vacaciones pero no hay feria.
c) Es falso que sea vacaciones o temporada de feria.
d) No es vacaciones o no es temporada de feria.
e) Ni es vacaciones ni temporada de feria.
37. Si:
* Hay contaminación o el clima es muy húmedo.
* Pero el clima no es muy húmedo.
Luego:
a) No hay contaminación.
b) El clima es muy húmedo y no hay contaminación.
c) Hay contaminación y el clima es muy húmedo.
d) Hay contaminación.
e) El clima es muy húmedo o no hay contaminación.
38. A partir de los siguientes enunciados:
* Si ocurre el Fenómeno del Niño, habrá una ola de
calor.
* Pero no habrá una ola de calor.
¿Qué se puede concluir de ellos?
a) Ocurrirá el Fenómeno del Niño.
b) Ocurrirá el Fenómeno del Niño, pero no habrá una
ola de calor.
c) Habrá una ola de calor, pero no ocurrirá el Fenó-
meno del Niño.
d) Ocurrirá el Fenómeno del Niño y habrá una ola de
calor.
e) No ocurrirá el Fenómeno del Niño.
39. Qué se concluye de:
* Si practicas pesas, estás en forma.
* Las chicas te miran si estás en forma.
a) No es el caso que practiques deportes y las chicas te
miren.
b) No es cierto que estés en forma o las chicas te mi-
ren.
c) Las chicas te miran y no practicas pesas.
d) No practicas pesas o las chicas te miran.
e) No es cierto que practiques pesas o las chicas te
miren.
40. Si Carolina regresa a Moscú, Jorge será feliz. El avión
llegará al amanecer si no hay niebla en la ciudad. Pero,
si hay niebla en la ciudad entonces Carolina no
regresaba de Moscú.
Si sabemos que Carolina regresa de Moscú, se deduce:
I. Jorge será feliz.
II. El avión llegará al amanecer.
III. No hay niebla en la ciudad.
a) Sólo I.
b) III y II.
c) I y II.
d) I y III.
e) Todas.
TRILCE
41. Si las cosas salen bien, viajaremos al Sur, pero si hay
demasiado trabajo, el viaje se suspende hasta la otra
semana. Así que las cosas salen bien o hay demasiado
trabajo.
Luego:
a) Si viajamos al Sur, no iremos la otra semana.
b) Viajamos al Sur o lo suspendemos hasta la otra
semana.
c) Viajamos al Sur la próxima semana.
d) Viajamos al Sur ahora.
e) Ya no iremos de viaje.
42. Si se cumple no p entonces no q.
Pero se da el caso que no p.
Por tanto:
a) q b) No q
c) No p d) p
e) s
43. Ha ocurrido que Pedro recibió el mensaje. Suponemos
que Pedro fue de compras o salió a pasear si recibió el
mensaje.
¿De tales situaciones qué podemos deducir?
a) Pedro no salió de compras pero sí a pasear.
b) Pedro salió de compras o a pasear.
c) Es falso que Pedro haya salido a comprar o a pa-
sear.
d) Pedro no salió a comprar ni a pasear.
e) Es falso que Pedro no haya salido a comprar o no
salió a pasear.
44. Si Aneth es estudiosa o empeñosa, ingresará. Sabemos
que es mentira que no sea estudiosa ni empeñosa.
Entonces, se deduce que:
a) Aneth es estudiosa, pero no ingresa.
b) Aneth ingresará.
c) Aneth no ingresará.
d) Aneth no es empeñosa, pero si estudiosa.
e) Aneth es empeñosa, pero tampoco ingresa.
45. Ingrid no es limeña o peruana. No es el caso que sea
peruana ni latina, en consecuencia:
a) Si Ingrid es peruana, es latina.
b) Ingrid no es latina pero si peruana.
c) Si Ingrid es latina, es limeña.
d) Ingrid es limeña y es latina.
e) Si Ingrid es limeña, es latina.
46. Cuando te titules, serás profesional.
Además si trabajas, ganarás dinero.
Pero es falso que seas profesional y ganes dinero, por
lo tanto:
a) Cuando te titules, trabajarás.
b) Si no te titulas, no ganas dinero.
c) Si te titulas, no trabajarás.
d) Si no eres profesional, no ganarás dinero.
e) Te titulas o no trabajas.
65
Lógica

47. Si un cuerpo se calienta es obvio que dicho cuerpo se c) No trabajas en el Congreso o no trabajas en un
dilata. Sin embargo, si no es cierto que un cuerpo se Estudio Jurídico.
dilate; podemos concluir en que:
1. No es un cuerpo. d) No trabajas en un Estudio Jurídico porque trabajas
2. Se calienta. en el Congreso.
3. Se dilata y se calienta. e) Todas cumplen.
4. Se dilata y no se calienta.
5. No se dilata y aunque no se caliente. 52. "Si Diego se prepara en TRILCE, de hecho que
ingresa; tal como si sabe ciencias, postula a
Son ciertas: Medicina. Ocurre que es mentira que ingrese y
a) 1 y 5. postule a Medicina".
b) 2 y 3. ¿Qué afirmación será la correcta?
c) Sólo 5.
d) 3 y 4.
e) N. A. a) Diego se prepara en TRILCE, luego postula a Medi-
cina.
48. "No río a menos que reniegue. No reniego b) No es cierto que Diego se prepare en TRILCE y
excepto que esté tranquilo" sepa ciencias.
Luego: c) Diego no sabe ciencias y no postula a Medicina.
d) Es falso que Diego ingrese y postule a Medicina.
a) Ni río ni estoy tranquilo. e) Si Diego no se prepara en TRILCE no ingresa a
b) No estoy tranquilo salvo que reniegue. Medicina.
c) Río porque estoy tranquilo.
d) No río salvo que esté tranquilo. 53. Corresponde a la Ley de Modus Ponens:
e) Si reniego, no estoy tranquilo. a) [(p  q)  q]  p
b) [(p  q)  ~ q]  ~ p
49. "No es cierto que no seas el criminal y no hayas
estado en la cárcel. Pero, si estás condenado c) [(p  q)  ~ p]  q
entonces has mentido, ya que eres el criminal o d) p  (p  q)
estuviste en la cárcel".
e) [(p  q)  p]  q
La conclusión correcta es:

a) Eres el criminal, pero no estuviste en la cárcel. 54. ¿De qué premisas se deriva A  ~ B ?
b) Si estas condenado, entonces has mentido.
a) A  C
c) Si has mentido, eres el criminal.
d) No estuviste en la cárcel porque has mentido. CB
e) Si eres el criminal, entonces estás en la cárcel. b) CA
~B C
50. Halle la conclusión correcta de las siguientes premisas:
Es falso que, o hay problemas en la frontera o se acepta c) A B
el acuerdo de paz, además se acepta el acuerdo de paz B ~ C
siempre y cuando haya amenaza de guerra:
d) C  ~ A
a) Si hay problemas en la frontera entonces no hay B C
amenaza de guerra.
b) Se acepta el acuerdo de paz si hay amenaza de e) C ~ A
guerra. ~B  C
c) Hay problemas en la frontera sí y sólo sí existe ame-
naza de guerra.
55. Señale el esquema correspondiente al Modus Tollendo
d) Hay amenaza de guerra si se acepta el acuerdo de
Tollens.
paz.
e) Todas cumplen. a) [(p  ~ q)  q]  p
b) [(p  ~ q)  ~ p]  q
51. Es falso que sea abogado o penalista. Si trabajas en el
c) [(~ p  q)  p]  ~ q
Congreso en un Estudio Jurídico, eres Abogado o
d) [(p  ~ q)  q]  ~ p
Penalista.
De ahí que: e) [(~ p  q)  q]  p

a) Si trabajas en el Congreso, no trabajas en un Estu-

dio Jurídico.
b) Es falso que trabajes en el Congreso y en un Estu-
dio Jurídico.

66
 TRILCE

56. Domino el curso porque lo estudio. Pero no lo domino. 59.

Luego, no lo estudio. P1 : A  (B  C)
¿Qué ley se presenta? P2 : .......
a) MPP
b) MTT P3 : A
c) SHP ¿Qué premisa falta para deducir C?
d) MSD a) B
e) Simp. b) ~C
c) ~A
57. d) ~B
AB
e) A  B
BC
~ CD 60. Derive:

P1 : p  (q  r)
a) A  D
P2 :~ q  p
b) ~ A  ~ D
P3 : s  ~ r
c) D  A
d) A a) s
e) A  D b) ~s
c) ~p
58. Si es invierno, hace frío. d) q
No hace frío o me abrigo.
e) ~r
Me desabrigo.
Luego:
a) Es invierno.
b) Hace frío.
c) No hace frío.
d) No es invierno.
e) c y d.

67