Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos

1
Ejercicios Resueltos del Libro de Eulalia Prez Sedeo
1. O el testigo no dice la verdad o Juan estaba en casa antes de cometerse el crimen.
Si Juan estaba en casa antes de cometerse el crimen, vio al criminal. Si vio al criminal,
sabe que no pudo ser el mayordomo. Por tanto, si el testigo dice la verdad, Juan sabe
que no pudo ser el mayordomo.
Formalizacin:
p: el testigo dice la verdad p q
q: Juan estaba en casa antes de cometerse
el crimen
q r
r: vio al criminal r s
s: sabe que pudo ser el mayordomo p s
Demostracin
1.- p q Premisa
2.- q r Premisa
3.- r s Premisa
4.- p
5.- q SIL. DISY. 1,4
6.- r E.I. 2,5
7.- s E.I. 3,6
8.- p s I.I. 4-7
2. Si el testigo no dice la verdad, entonces si Juan estaba en casa antes de cometerse
el crimen, vio al criminal. O no pudo ser el mayordomo o el testigo no dice la verdad.
Pero Juan estaba en casa antes de cometerse el crimen. Por consiguiente, si sabe
que no pudo ser el mayordomo, vio al criminal.
Formalizacin:
p: el testigo dice la verdad p (q r)
q: Juan estaba en casa antes de cometerse el
crimen
s p
r: vio al criminal q
s: sabe que pudo ser el mayordomo s r
Demostracin
El razonamiento no es vlido.
3. O bien el amor es ciego y los hombres no son conscientes del hecho de que el amor
es ciego, o bien el amor es ciego y las mujeres sacan ventaja de ello. Si los hombres
no son conscientes de que el amor es ciego, entonces el amor no es ciego. En
conclusin, las mujeres sacan ventaja de ello.
Formalizacin:
p: el amor es ciego (p q) (p r)
q: Los hombres son conscientes del hecho q p
r: las mujeres sacan ventaja de ello r
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos
2
Demostracin A
1.- (p q) (p r) Premisa
2.- q p Premisa
3.- p q
4.- q E.C. 3
5.- p E.I. 2,4
6.- p E.C. 3
7.- p p I.C. 6,5
8.- r E.C.Q. 7
9.- p r
10.- r E.C. 9
11.- r E.D. 4, 3-8 y 9-10
Demostracin B
1.- (p q) (p r) Premisa
2.- q p Premisa
3.- p q TRANS. C. 2
4.- (p q) DEF. C. 3
5.- p r SIL. DISY. 1,4
6.- r E.C. 5
4. Si el 'Atleti' gana los tres prximos partidos, ganar la liga. Por tanto, si el Atleti gana
los tres prximos partidos, entonces, si sigue ganando partidos, ganar la liga.
Formalizacin:
p: el 'Atleti' gana los tres prximos partidos p q
q: ganar la liga
r: sigue ganando partidos
p (r q)
Demostracin
1.- p q Premisa
2.- p
3.- r
4.- q E. I. 1, 2
5.- r q I.I. 3-4
6.- p (r q) I.I. 2-5
5. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio.
Si no saca buenas notas, no lo pasa bien en el colegio. As pues, Guillermo obtiene
buenas notas.
Formalizacin:
p: Guillermo estudia p q
q: obtiene buenas notas p r
r: lo pasa bien en el colegio q r
s: w = 0 q
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos
3
Demostracin
1.- p q Premisa
2.- p r Premisa
3.- q r Premisa
4.- q
5.- r E.I. 3, 4
6.- p M.T. 2, 5
7.- q E.I. 1, 6
8.- q q I.C. 7,4
9.- q I.N. 4, 8
10.- q E.N. 9
6. A los lgicos les gusta la langosta, pero no les gustan los moluscos o beben vino
blanco. Si beben vino blanco, entonces comen judas o les gusta comer pochas con
almejas. Por tanto, si a los lgicos les gustan los moluscos, entonces aunque no
coman judas les gusta comer pochas con almejas.
Formalizacin:
p: A los lgicos les gusta la langosta p (q r)
q: les gustan los moluscos r (s t)
r: beben vino blanco
s: comen judas
q (s t)
t: les gusta comer pochas con almejas
Demostracin
1.- p (q r) Premisa
2.- r (s t) Premisa
3.- q Premisa
4.- s
5.- q r E.C. 1
6.- r SIL. DISY. 5, 3
7.- s t E.I. 2, 6
8.- t SIL. DISY. 7,4
9.- s t I.I. 4-8
10.- q (s t) I.I. 3-9
7. O Juan va a Pars, o no se queda en casa. Si viaja en barco, no va a Pars. Por
consiguiente, si Juan se queda en casa, no viaja en barco.
Formalizacin:
p: Juan va a Pars p q
q: se queda en casa r p
r: viaja en barco q r
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos
4
Demostracin
1.- p q Premisa
2.- r p Premisa
3.- q
4.- p SIL. DISY 1, 3
5.- r M.T. 2, 4
6.- q r I.I. 3-5
8. Si Pedro lleva parejas de reyes, lleva treinta y una o gana; si lleva treinta y una, no
lleva parejas de reyes; si no sabe jugar al mus, no ganar. En conclusin, si Pedro
lleva parejas de reyes, sabe jugar al mus
Formalizacin:
p: Pedro lleva parejas de reyes p (q r)
q: lleva treinta y una q p
r: gana s r
s: sabe jugar al mus p s
Demostracin
1.- p (q r) Premisa
2.- q p Premisa
3.- s r Premisa
4.- p
5.- q r E. I. 1, 4
6.- q M.T. 2, 4
7.- r SIL. DISY. 5, 6
8.- s M.T. 3,7
9.- p s I.I. 4-8
9. Si Cuba no abandona el comunismo, EE UU no suspender el bloqueo. O Cuba no
abandona el comunismo o encuentra aliados en oriente. Si Cuba encuentra aliados en
oriente, la economa cubana no se recuperar. Por tanto, no es cierto que EE UU
suspenda el bloqueo y la economa cubana se recupere.
Formalizacin:
p: Cuba abandona el comunismo p q
q: EE UU suspender el bloqueo p r
r: encuentra aliados en oriente r s
s: la economa cubana se recuperar (q s)
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos
5
Demostracin
1.- p q Premisa
2.- p r Premisa
3.- r s Premisa
4.- q s
5.- q E. C. 4
6.- s E. C. 4
7.- p M.T. 1, 5
8.- r SIL. DISY. 2, 7
9. s E.I. 3,8
10. s s I.C. 6,9
9.- (q s) I.N. 4-10
10. No puede suceder a la vez que Serbia declare su independencia y Croacia no lo
haga. Si Serbia declara su independencia, la federacin yugoslava tomar medidas; y,
si Croacia declara su independencia, la federacin yugoslava no tomar medidas. As
pues, Serbia no declarar su independencia.
Formalizacin:
p: Serbia declara su independencia (p q)
q: Croacia declara su independencia p r
r: la federacin yugoslava tomar medidas q r
p
Demostracin
1.- (p q) Premisa
2.- p r Premisa
3.- q r Premisa
4.- p
5.- p q Def. C. 1
6.- q E.I. 5,4
7.- r E.I. 2, 4
8.- r E.I. 3,6
9.- r r I.C. 7,8
10.- p I.N. 4-9
11. Si, si un lgico se pone nervioso slo cuando no se le entiende, entonces si no
est deprimido no se pone nervioso. Por consiguiente, si un lgico se pone nervioso,
entonces, est deprimido si no se le entiende.
Formalizacin:
p: un lgico se pone nervioso (p q) (r p)
q: se le entiende p ( q r)
r: est deprimido
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos
6
Demostracin
1.- (p q) (r p) Premisa
2.- p
3.- q
4.- p q I.D. 3
5. q p I.D. 2
6.- p q Def. C. 4
7.- q p Def. D. 5
8.- (p q) (q p) I.C. 6, 7
9.- (p q) I.B. 8
10.- r p E.I. 1, 9
11.- r M.P. 10, 2
12.- q r I.I. 3-11
13.- p ( q r) I.I. 2-12
12. O bien, si Amparo escala el Mulhacn acabar muy cansada, o bien si sube al
Teide acabar muy cansada. As, si Amparo escala el Mulhacn y el Teide, acabar
muy cansada.
Formalizacin:
p: Amparo escala el Mulhacn (p q) (r q)
q: acabar muy cansada (p r) q
r: Amparo escala el Teide
Demostracin
1.- (p q) (r q) Premisa
2.- p r
3.- p q
4.- p E.C. 2
5.- q E. I. 3,4
6.- r q
7.- r E.C. 2
8.- q E.I. 6,7
9.- q E.D. 1, 3-5 y 6-8
10. (p r) q I.I. 2-9
13. Si, si la sentencia del Tribunal Constitucional es favorable, Pepa no vuelve al paro,
entonces, si vuelve al paro, la sentencia del Tribunal Constitucional no es favorable.
Formalizacin:
p: la sentencia del Tribunal Constitucional es favorable
q: Pepa vuelve al paro (p q ) (q p)
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos
7
Demostracin
1.- p q Premisa
2.- q
3.- p M.T. 1, 2
4.- q q I. I. 2, 3
5.- (p q ) (q p) I.I. 1-5
14. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis,
juega al ftbol; no juega al ftbol. Por tanto, Eduardo juega al baloncesto.
Formalizacin:
p: Eduardo juega al baloncesto p q
q: juega al tenis q r
r: juega al ftbol r
p
Demostracin
1.- p q Premisa
2.- q r Premisa
3.- r Premisa
4.- q M.T. 2,3
5. p M.T. 1,4
6.- p E.N. 5