Está en la página 1de 7

Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos

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
qr
el crimen
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
s p
crimen
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

1
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos

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 p (r q)
r: sigue ganando partidos

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 pq
q: obtiene buenas notas p r
r: lo pasa bien en el colegio q r
s: w = 0 q

2
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos

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 q (s t)
s: comen judas
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

3
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos

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 ps

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)

4
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos

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 pr
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

5
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos

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)

6
Unidad docente de Lgica y Filosofa de la Ciencia Ejercicios Resueltos

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 qr
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