TRILCE

59
Captulo
LEYES LGICAS II:
IMPLICACIONES NOTABLES
7
Llam adas tam bin Leyes Im plicativas. Son esquem as condicionales tautolgicos, por lo que representan inferencias vlidas.
En consecuencia, teniendo la(s) prem isa(s) podem os derivar inm ediatam ente su respectiva conclusin.
Las m s im portantes son las siguientes:
1. Modus Ponendo Ponens (MPP): Si se afirm a el antecedente de una prem isa condicional, se concluye la afirm acin
del consecuente de dicha prem isa.
R egla: Ley:
B A
A
B
q ] p ) q p [(
C
:
2
P
:
1
P Si llueve en la noche, las pistas estn m ojadas.
Llueve en la noche.
Luego, las pistas estn m ojadas.
Ejem plo: Form alizando:
:
q C
p : P
q p : P
2
1

2. Modus Tollendo Tollens (MTT): Si se niega el consecuente de una prem isa condicional, se concluye la negacin del
antecedente de dicha prem isa.
R egla: Ley:
B A
~ B
~ A
p ~ q] ~ q) [(p
C
:
2
P
:
1
P Si eres estudiante de Trilce, te estn preparando adecuadam ente.
N o te estn preparando adecuadam ente.
C onsecuentem ente, no eres estudiante de Trilce.
Ejem plo: Form alizando:
:
p ~ C
q :~ P
q p : P
2
1

3. Silogismo Disyuntivo (SD): Si se niega uno de los elem entos de una prem isa disyuntiva, se concluye la afirm acin
del otro elem ento.
R egla: Ley:
~ A
B
B A
~ B
A
B A
p ] q ~ ) q p [(
q ] p ~ ) q p [(


C
:
2
P
:
1
P Estudio C ontabilidad o Econom a.
N o estudio Econom a.
Estudio C ontabilidad.
Ejem plo: Form alizando:
:
p C
q :~ P
q p : P
2
1

4. Silogismo Hipottico Puro (SHP): Si de un conjunto de dos prem isas condicionales, el consecuente de una de las
prem isas es la afirm acin del antecedente de la otra prem isa, entonces del antecedente de una de las prem isas se deriva
el consecuente de la otra prem isa.
Lgica
60
R egla: Ley:
C B
B A

C A
B A
C B

C A
) r p ( )] q p ( ) r q [(
) r p ( )] r q ( ) q p [(


Ej.: Si C arnap fue neopositivista, conform el C rculo de Viena. Y si conform el C rculo de Viena, confiaba en la Lgica
Sim blica. Por lo tanto, si C arnap fue neopositivista, confiaba en a Lgica Sim blica.
Form alizando:
r p C
r q : P
q p : P
2
1

5. Conjuncin: D e un conjunto de prem isas, se puede concluir la C onjuncin de las m ism as.
R egla: Ley:
A
B
B A
q p ) q ( ) p (
Ejem plo:
Juan es escritor. Juan es poeta. Luego, Juan es escritor y poeta
p q p q
Form alizando :
q p C
q : P
p : P
2
1

6. Simplificacin: D e una prem isa conjuntiva se puede concluir cualquiera de sus com ponentes.
R egla: Ley:
B
B A B A
A
p ) q p (
q ) q p (


C oprnico fue A strnom o y Fsico.
C oprnico fue A strnom o.
Ejem plo: Form alizando:
C
:
1
P

p C
q p : P
1

DERIVACIN O DEDUCCIN NATURAL
Es un procedim iento form al que sirve para dem ostrar que la conclusin se deduce lgicam ente de las prem isas o de un
conjunto de prem isas.
Este procedim iento consiste en obtener la conclusin deseada m ediante la aplicacin de leyes lgicas en una secuencia finita
de pasos. Entonces, dado un conjunto de prem isas, la deduccin lgica debe perm itirnos sacar consecuencias que slo se
deriven lgicam ente de las prem isas; en otros trm inos, consecuencias que son im plicadas por las prem isas.
Ejem plo:
1. Sean las prem isas y su conclusin respectivam ente:
s ~ C
r s : P
p :~ P
) r ~ q ( p :~ P
3
2
1

Indique qu pasos se han efectuado para obtener la conclusin: ~ s.
TRILCE
61
Resolucin:
s ~ // r s : P
p :~ P
) r ~ q ( p :~ P
3
2
1


4) r ~ q : se deduce de la
1
P y
2
P m ediante (M . P. P.) .)
5) ~ r : se obtiene al utilizar Sim pl. en la
4
P
6) ~ s : se deduce de la
3
P y
5
P m ediante (M . T. T. )
D e esta m anera, la derivacin queda lgicam ente justificada por los pasos efectuados, resultando su validez.
2. Sea el razonam iento:
Si hay sol, entonces es verano o irem os a la playa. H ay sol pero no es verano. Por lo tanto, vam os a la playa.
* Para facilitar la dem ostracin, es necesaria la form alizacin:
r
q ~ p : P
) r q ( p : P
2
1

* Ahora efectuam os la derivacin:
r // q ~ p : P
) r q ( p : P
2
1


3) p (2) x sim p.
4) r q (1) y (3) x M . P. P.
5) ~ q (2) x sim p.
6) r (4) y (5) x S. D .
Lgica
62
P R C T I C A
01. Si eres un lder, tienes m uchas adm iradoras. Si tienes
m uchas adm iradoras entonces sers elegido com o el
m ejor am igo. Luego:
a) O eres un lder o no lo eres.
b) Si eres un lder, sers elegido com o el m ejor am igo.
c) Tienes m uchas adm iradoras si y slo si eres un
lder.
d) Eres un lder y sers elegido com o el m ejor am igo.
e) Si no eres un lder entonces no te adm iran.
02. La proposicin: "Claudia es caprichosa o Martn
es respetuoso, pero no es el caso que Claudia
sea caprichosa".
Im plica a:
a) M artn no es respetuoso.
b) C laudia es caprichosa.
c) C laudia no es respetuosa.
d) M artn es respetuoso.
e) N inguna de las anteriores.
03. Si llueve y nieva entonces habr torm enta. O curre que
no hay torm enta. Luego:
a) N o llueve y nieva.
b) Si llueve pero no nieva.
c) Es falso que llueva o nieve.
d) N o nieva o no llueve.
e) N i llueve ni nieva.
04. Si Junior sabe Lgica, desaprobar el exam en, pero
ha aprobado el exam en; de ah que:
a) Junior no sabe Lgica.
b) Si no sabe Lgica, ir a la universidad.
c) Es falso que no sabe Lgica.
d) Junior no ha dado exam en.
e) Junior tiene que estudiar m s.
05. Si estudias en la U N I, te gustar las m atem ticas; no
obstante es im posible que no estudies en la U N I. Por
lo tanto:
a) N o te gustar las m atem ticas.
b) Te gustar las m atem ticas.
c) Estudias en la U N I.
d) Eres estudiante de la U N I y m atem tico.
e) Si eres m atem tico entonces estudias en la U N I.
06. En el M odus Ponendo Ponens (M PP) la conclusin se
haya luego que:
a) Se afirm a el consecuente.
b) Se neg el antecedente.
c) Se neg el consecuente.
d) Se afirm el antecedente.
e) Se obvi el consecuente.
07. Los polticos son A bogados a m enos que no sean
diplom ticos. Pero, los polticos no son Abogados,
entonces:
a) Los polticos son diplom ticos.
b) Los polticos no son diplom ticos.
c) Los polticos son Abogados y tam bin diplom ti-
cos.
d) Los polticos no son Abogados pero si diplom ti-
cos.
e) N o tiene conclusin vlida.
08. "Robert acude al mdico o al Psiquiatra. Robert
no acude al psiquiatra".
Entonces:
a) Tam poco va al m dico.
b) Va al m dico.
c) Le tem e a los psiquiatras.
d) Sabe que no est loco.
e) N o tiene dinero.
09. D eterm ine la conclusin:

// C
) q p ( :~ P
) r p ( q : P
2
1
a) p
b) q
c) r
d) ~ p
e) ~ r
10. La conclusin de:

// C
t ~ P
t s : P
r ~ s : P
q ~ r :~ P
q p : P
5
4
3
2
1
Es:
a) p
b) s
c) r
d) ~ p
e) q
11. "Si Aurora no es comerciante, es empresaria.
Pero se sabe que no es empresaria".
Por lo tanto la conclusin es:
a) Aurora es com erciante.
b) Aurora no es com erciante.
c) Aurora es em presaria.
d) Aurora es com erciante o em presaria
e) Aurora es com erciante, pero no em presaria.
12. "Si yo tengo tu misma edad y t tienes la misma
edad que l, entonces yo tengo la misma edad
que l".
El razonam iento anterior corresponde a:
a) M . P. P.
b) M . T. T.
TRILCE
63
c) S. H . P.
d) T. S.
e) S. D .
13. N o hablo japons.
Tam poco hablo chino.
H ablara chino o japons, si fuera polglota.
Es falso que hable varias lenguas y no sea polglota.
En consecuencia:
a) H ablo varias lenguas.
b) N o hablo varias lenguas.
c) H ablo pocas lenguas.
d) Soy polglota.
e) H ablo japons y chino.
14. D eterm inar la conclusin del siguiente razonam iento:
"Si conduces un automvi l, no debes beber
cerveza. Pero bebes cerveza".
En conclusin:
a) C onducir y no beber cerveza.
b) N o conduces un autom vil.
c) Slo conduces.
d) Bebes cerveza y no bebes cerveza.
e) N o bebes cerveza y conduces.
15. D erive la conclusin
1. ) r q (~ p
2. r// ~ p ~
a) q
b) r
c) p
d) ~ q
e) r ~ q
16. A qu principio lgico corresponde el siguiente
enunciado?
"No se da el caso que el fotn est y no est en
un mismo punto al mismo tiempo".
a) Principio de no contradiccin.
b) Principio de exclusin de m edio.
c) Principio del tercio excluido.
d) Principio de identidad.
e) Principio de razn suficiente.
17. D erive la conclusin:
q s : P
r ~ p : P
) r q ( p : P
3
2
1

a) ~ s
b) r
c) q
d) s
e) ~ p
18. Si fum o, enferm ar:
SI no voy al m dico, no enferm o.
G asto dinero o no voy al m dico.
N o gasto dinero.
Por tanto:
a) N o fum o.
b) Enferm ar.
c) Voy al m dico.
d) Fum o.
e) G asto dinero.
19. "Si termi nas l a tarea, i rs a l a fi esta. No
aprobars el examen si dej as de l ado tus
obligaciones. Tambin tenemos que si vas a la
fiesta, dejas de lados tus obligaciones, lo cierto
es que terminas la tarea".
C oncluim os que:
a) N o vas a la fiesta.
b) D ejas de lado tus obligaciones.
c) N o apruebas el exam en.
d) N o estudias.
e) Apruebas el exam en.
20. D e las siguientes prem isas:
"Si Dbora estudia Educacin Inicial, entonces
i nstrui r a l os ni os", "Si Luci l a estudi a
Enfermera, curar a los enfermos" y "Dbora no
instruir a los nios o Lucila no curar a los
enfermos".
Se infiere:
a) D bora no estudia Educacin Inicial o Lucila no
estudia Enferm era.
b) D bora estudia Educacin Inicial o Lucila estudia
Enferm era.
c) D bora no estudia Educacin Inicial o Lucila estu-
dia Enferm era.
d) D bora instruir a los nios y Lucila curar a los
enferm os.
e) Lucila cura a los enferm os y D bora instruye a los
nios.
21. D e las siguientes prem isas: "Carl os i ngres a
Medicina o a I ngeniera; Carlos no ingres a
Biologa y si Carlos ingres a Ingeniera, ingres
a Biologa".
Entonces se infiere que:
a) C arlos ingres a Ingeniera.
b) C arlos ingres a M edicina.
c) C arlos no ingres a M edicina.
d) C arlos ingres a Biologa.
e) C arlos no ingres a ninguna de las carreras.
22. Si soy poeta, soy escritor:
Si soy escritor, dom ino el lenguaje.
N o dom ino el lenguaje o soy "culto".
Pero no soy "culto".
Por ende:
a) N o soy poeta.
b) N o soy escritor, aunque soy poeta.
c) N o dom ino el lenguaje, pero soy poeta.
d) Soy poeta.
e) D om ino el lenguaje.
Lgica
64
23. Soy atleta o no soy deportista.
Si soy fum ador, no soy atleta.
Estoy sano, ya que no soy fum ador.
Es falso que est sano.
Luego, no es cierto que:
a) N o sea atleta.
b) Sea fum ador.
c) Sea deportista.
d) N o sea deportista.
e) N o est sano.
24. D e las prem isas:
"Andrmeda es una constelacin, salvo que sea
una gal axi a", y "es absurdo pensar que
Andrmeda sea una constelacin".
Se infiere:
a) Andrm eda es una constelacin.
b) Andrm eda es una galaxia.
c) Andrm eda es una estrella.
d) Andrm eda no es una galaxia.
e) Andrm eda no es una constelacin.
25. D e las siguientes prem isas:
"Si Willy es profesor, entonces no es millonario".
"Si Wi l l y no es matemti co, entonces es
corrupto", y "Willy es profesor, a menos que no
sea matemtico".
Se infiere que:
a) W illy es m atem tico y profesor.
b) W illy no es m illonario ni corrupto.
c) W illy no es m illonario salvo que sea corrupto.
d) W illy es un profesor no corrupto.
e) W illy no es m atem tico.
26. Si llueve entonces no hace calor, o vam os a la playa.
Pero no vam os a la playa. Sin em bargo, llueve. Luego:
a) N o llueve.
b) H ace calor.
c) N o vam os a la playa.
d) N o hace calor.
e) Vam os al cine.
27. M ara no m e quiere o no m e odia. M ara m e odia.
A dem s si no es rencorosa, M ara m e quiere. Sin
em bargo, si es rencorosa entonces es tem peram ental.
a) N o es rencorosa.
b) N o es tem peram ental.
c) Es tem peram ental.
d) M e odia.
e) M e quiere.
28. Si no m e m atas entonces vivo. Pero no vivo. Adem s
si m e m atas, m e voy al cielo. Por lo tanto:
a) N o m e voy al cielo.
b) M e m atas.
c) N o vivo.
d) M e voy al cielo.
e) M e voy al infierno.
29. N o ganam os y som os felices. Sin em bargo, ganam os o
no nos botan a la vez. Si no som os felices entonces nos
botan.
Luego:
a) Som os felices.
b) G anam os.
c) N o nos botan.
d) N o som os felices.
e) N . A.
30. M anuel asiste a la fiesta ya que fue invitado, porque es
am igo de Jos. M anuel es am igo de Jos. D e ah que:
a) Es am igo de Jos y asiste a la fiesta.
b) N o fue invitado o asiste a la fiesta.
c) N o fue invitado y no es am igo de Jos.
d) Es am igo de Jos y no asiste a la fiesta.
e) Es invitado pero no asiste a la fiesta.
31. Si no obtengo la beca, no viajar. Yo s que no ser
profesional si es que no viajo. Entonces llego a la
conclusin que:
a) Es falso que obtenga la beca o sea profesional.
b) N o es cierto que no obtenga la beca y no viaje.
c) N o es cierto que obtenga la beca o no sea profesio-
nal.
d) Es falso que no obtenga la beca y no sea profesio-
nal.
e) O btengo beca y no viajo.
32. Si ingresas, sers ingeniero. Si no eres un gerente,
entonces no eres ingeniero.
Se deduce:
a) Si ingresas, no eres ingeniero.
b) Si ingresas, sers gerente.
c) Si eres gerente, entonces ingresaste.
d) Si no ingresas, sers gerente.
e) Si no eres ingeniero, eres gerente.
33. Si Periquito no es bandolero, se m eter en una caja.
Pero se sabe que no se m eter en una caja. Por lo tanto,
la conclusin es:
a) Periquito es bandolero.
b) Periquito no es bandolero.
c) Periquito se m eter en una caja.
d) Periquito es bandolero, pero no se m eter en una
caja.
e) Periquito se m eter en una caja o es bandolero.
34. En el M odus Tollendo Tollens, la conclusin, se deduce
luego:
a) Se afirm el antecedente.
b) H a sido negado el consecuente.
c) Afirm ar el consecuente.
d) Se neg el antecedente.
e) Se ha negado cualquier elem ento de la prem isa
condicional.
35. "La conclusin es una frmula condicional, cuyo
antecedente proviene del antecedente de la
primera premisa y su consecuente proviene del
consecuente de la segunda premisa".
Tal principio, se denom ina:
a) M odus Ponens.
b) M odus Tollens.
c) Silogism o D isyuntivo.
d) Silogism o H ipottico Puro.
e) Silogism o C ategrico.
TRILCE
65
36. Si es vacaciones y tem porada de feria, saldrem os a
pasear. O curre que no salim os a pasear, luego:
a) N o es vacaciones y tem porada de feria.
b) Si es vacaciones pero no hay feria.
c) Es falso que sea vacaciones o tem porada de feria.
d) N o es vacaciones o no es tem porada de feria.
e) N i es vacaciones ni tem porada de feria.
37. Si:
* H ay contam inacin o el clim a es m uy hm edo.
* Pero el clim a no es m uy hm edo.
Luego:
a) N o hay contam inacin.
b) El clim a es m uy hm edo y no hay contam inacin.
c) H ay contam inacin y el clim a es m uy hm edo.
d) H ay contam inacin.
e) El clim a es m uy hm edo o no hay contam inacin.
38. A partir de los siguientes enunciados:
* Si ocurre el Fenm eno del N io, habr una ola de
calor.
* Pero no habr una ola de calor.
Q u se puede concluir de ellos?
a) O currir el Fenm eno del N io.
b) O currir el Fenm eno del N io, pero no habr una
ola de calor.
c) H abr una ola de calor, pero no ocurrir el Fen-
m eno del N io.
d) O currir el Fenm eno del N io y habr una ola de
calor.
e) N o ocurrir el Fenm eno del N io.
39. Q u se concluye de:
* Si practicas pesas, ests en form a.
* Las chicas te m iran si ests en form a.
a) N o es el caso que practiques deportes y las chicas te
m iren.
b) N o es cierto que ests en form a o las chicas te m i-
ren.
c) Las chicas te m iran y no practicas pesas.
d) N o practicas pesas o las chicas te m iran.
e) N o es cierto que practiques pesas o las chicas te
m iren.
40. Si C arolina regresa a M osc, Jorge ser feliz. El avin
llegar al am anecer si no hay niebla en la ciudad. Pero,
si hay niebla en la ciudad entonces C arolina no
regresaba de M osc.
Si sabem os que C arolina regresa de M osc, se deduce:
I. Jorge ser feliz.
II. El avin llegar al am anecer.
III. N o hay niebla en la ciudad.
a) Slo I.
b) III y II.
c) I y II.
d) I y III.
e) Todas.
41. Si las cosas salen bien, viajarem os al Sur, pero si hay
dem asiado trabajo, el viaje se suspende hasta la otra
sem ana. As que las cosas salen bien o hay dem asiado
trabajo.
Luego:
a) Si viajam os al Sur, no irem os la otra sem ana.
b) V iajam os al Sur o lo suspendem os hasta la otra
sem ana.
c) Viajam os al Sur la prxim a sem ana.
d) Viajam os al Sur ahora.
e) Ya no irem os de viaje.
42. Si se cum ple no p entonces no q.
Pero se da el caso que no p.
Por tanto:
a) q b) N o q
c) N o p d) p
e) s
43. H a ocurrido que Pedro recibi el m ensaje. Suponem os
que Pedro fue de com pras o sali a pasear si recibi el
m ensaje.
D e tales situaciones qu podem os deducir?
a) Pedro no sali de com pras pero s a pasear.
b) Pedro sali de com pras o a pasear.
c) Es falso que Pedro haya salido a com prar o a pa-
sear.
d) Pedro no sali a com prar ni a pasear.
e) Es falso que Pedro no haya salido a com prar o no
sali a pasear.
44. Si Aneth es estudiosa o em peosa, ingresar. Sabem os
que es m entira que no sea estudiosa ni em peosa.
Entonces, se deduce que:
a) Aneth es estudiosa, pero no ingresa.
b) Aneth ingresar.
c) Aneth no ingresar.
d) Aneth no es em peosa, pero si estudiosa.
e) Aneth es em peosa, pero tam poco ingresa.
45. Ingrid no es lim ea o peruana. N o 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 lim ea.
d) Ingrid es lim ea y es latina.
e) Si Ingrid es lim ea, es latina.
46. C uando te titules, sers profesional.
Adem s si trabajas, ganars dinero.
Pero es falso que seas profesional y ganes dinero, por
lo tanto:
a) C uando te titules, trabajars.
b) Si no te titulas, no ganas dinero.
c) Si te titulas, no trabajars.
d) Si no eres profesional, no ganars dinero.
e) Te titulas o no trabajas.
Lgica
66
47. Si un cuerpo se calienta es obvio que dicho cuerpo se
dilata. Sin em bargo, si no es cierto que un cuerpo se
dilate; podem os concluir en que:
1. N o es un cuerpo.
2. Se calienta.
3. Se dilata y se calienta.
4. Se dilata y no se calienta.
5. N o se dilata y aunque no se caliente.
Son ciertas:
a) 1 y 5.
b) 2 y 3.
c) Slo 5.
d) 3 y 4.
e) N . A.
48. "No ro a menos que reni egue. No reniego
excepto que est tranquilo"
Luego:
a) N i ro ni estoy tranquilo.
b) N o estoy tranquilo salvo que reniegue.
c) Ro porque estoy tranquilo.
d) N o ro salvo que est tranquilo.
e) Si reniego, no estoy tranquilo.
49. "No es cierto que no seas el criminal y no hayas
estado en la crcel. Pero, si ests condenado
entonces has mentido, ya que eres el criminal o
estuviste en la crcel".
La conclusin correcta es:
a) Eres el crim inal, pero no estuviste en la crcel.
b) Si estas condenado, entonces has m entido.
c) Si has m entido, eres el crim inal.
d) N o estuviste en la crcel porque has m entido.
e) Si eres el crim inal, entonces ests en la crcel.
50. H alle la conclusin correcta de las siguientes prem isas:
Es falso que, o hay problem as en la frontera o se acepta
el acuerdo de paz, adem s se acepta el acuerdo de paz
siem pre y cuando haya am enaza de guerra:
a) Si hay problem as en la frontera entonces no hay
am enaza de guerra.
b) Se acepta el acuerdo de paz si hay am enaza de
guerra.
c) H ay problem as en la frontera s y slo s existe am e-
naza de guerra.
d) H ay am enaza de guerra si se acepta el acuerdo de
paz.
e) Todas cum plen.
51. Es falso que sea abogado o penalista. Si trabajas en el
C ongreso en un Estudio Jurdico, eres A bogado o
Penalista.
D e ah que:
a) Si trabajas en el C ongreso, no trabajas en un Estu-
dio Jurdico.
b) Es falso que trabajes en el C ongreso y en un Estu-
dio Jurdico.
c) N o trabajas en el C ongreso o no trabajas en un
Estudio Jurdico.
d) N o trabajas en un Estudio Jurdico porque trabajas
en el C ongreso.
e) Todas cum plen.
52. "Si Diego se prepara en TRILCE, de hecho que
ingresa; tal como si sabe ciencias, postula a
Medicina. Ocurre que es mentira que ingrese y
postule a Medicina".
Q u afirm acin ser la correcta?
a) D iego se prepara en TRILC E, luego postula a M edi-
cina.
b) N o es cierto que D iego se prepare en TRILC E y
sepa ciencias.
c) D iego no sabe ciencias y no postula a M edicina.
d) Es falso que D iego ingrese y postule a M edicina.
e) Si D iego no se prepara en TRILC E no ingresa a
M edicina.
53. C orresponde a la Ley de M odus Ponens:
a) p ] q ) q p [(
b) p ~ ] q ~ ) q p [(
c) q ] p ~ ) q p [(
d) ) q p ( p
e) q ] p ) q p [(
54. D e qu prem isas se deriva
B ~ A
?
a)
B C
C A

b)
C B ~
A C

c)
C ~ B
B A

d)
C B
A ~ C

e)
C B ~
A ~ C

55. Seale el esquem a correspondiente al M odus Tollendo

Tollens.
a) p ] q q) ~ p [(
b) q ] p ~ q) ~ p [(
c) q ~ ] p ) q p [(~
d) p ~ ] q ) q ~ p [(
e) p ] q q) p [(~
TRILCE
67
56. D om ino el curso porque lo estudio. Pero no lo dom ino.
Luego, no lo estudio.
Q u ley se presenta?
a) M PP
b) M TT
c) SH P
d) M SD
e) Sim p.
57.

D C ~
C B
B A
a)
D A
b)
D ~ A ~
c)
A D
d) A
e)
D A
58. Si es invierno, hace fro.
N o hace fro o m e abrigo.
M e desabrigo.
Luego:
a) Es invierno.
b) H ace fro.
c) N o hace fro.
d) N o es invierno.
e) c y d.
59.
A : P
....... : P
) C B ( A : P
3
2
1

Q u prem isa falta para deducir C ?
a) B
b) ~ C
c) ~ A
d) ~ B
e)
B A
60. D erive:
r ~ s : P
p q :~ P
) r q ( p : P
3
2
1

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