Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Formalización:
p: el testigo dice la verdad ¬p ∨ q
q: Juan estaba en casa antes de cometerse
q→r
el crimen
r: vio al criminal r → ¬s
s: sabe que pudo ser el mayordomo p → ¬s
Demostración
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
Formalización:
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
Demostración
El razonamiento no es válido.
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
conclusión, las mujeres sacan ventaja de ello.
Formalización:
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 Lógica y Filosofía de la Ciencia Ejercicios Resueltos
Demostración 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
Demostración 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 próximos partidos, ganará la liga. Por tanto, si el Atleti gana
los tres próximos partidos, entonces, si sigue ganando partidos, ganará la liga.
Formalización:
p: el 'Atleti' gana los tres próximos partidos p →q
q: ganará la liga p → (r → q)
r: sigue ganando partidos
Demostración
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
Formalización:
p: Guillermo estudia p→q
q: obtiene buenas notas ¬p → r
r: lo pasa bien en el colegio ¬q → ¬r
s: w = 0 q
2
Unidad docente de Lógica y Filosofía de la Ciencia Ejercicios Resueltos
Demostración
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 lógicos les gusta la langosta, pero no les gustan los moluscos o beben vino
blanco. Si beben vino blanco, entonces comen judías o les gusta comer pochas con
almejas. Por tanto, si a los lógicos les gustan los moluscos, entonces aunque no
coman judías les gusta comer pochas con almejas.
Formalización:
p: A los lógicos les gusta la langosta p ∧ (¬q ∨ r)
q: les gustan los moluscos r → (s ∨ t)
r: beben vino blanco q → (¬s → t)
s: comen judías
t: les gusta comer pochas con almejas
Demostración
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
Formalización:
p: Juan va a París p ∨ ¬q
q: se queda en casa r → ¬p
r: viaja en barco q → ¬r
3
Unidad docente de Lógica y Filosofía de la Ciencia Ejercicios Resueltos
Demostración
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 conclusión, si Pedro
lleva parejas de reyes, sabe jugar al mus
Formalización:
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
Demostración
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
Formalización:
p: Cuba abandona el comunismo ¬p → ¬q
q: EE UU suspenderá el bloqueo ¬p ∨ r
r: encuentra aliados en oriente r → ¬s
s: la economía cubana se recuperará ¬(q ∧ s)
4
Unidad docente de Lógica y Filosofía de la Ciencia Ejercicios Resueltos
Demostración
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
Formalización:
p: Serbia declara su independencia ¬(p ∧ ¬q)
q: Croacia declara su independencia p→r
r: la federación yugoslava tomará medidas q → ¬r
¬p
Demostración
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
Formalización:
p: un lógico se pone nervioso (p ↔ ¬q) → (¬r → ¬p)
q: se le entiende p → ( ¬q → r)
r: está deprimido
5
Unidad docente de Lógica y Filosofía de la Ciencia Ejercicios Resueltos
Demostración
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 Mulhacén acabará muy cansada, o bien si sube al
Teide acabará muy cansada. Así, si Amparo escala el Mulhacén y el Teide, acabará
muy cansada.
Formalización:
p: Amparo escala el Mulhacén (p → q) ∨ (r → q)
q: acabará muy cansada (p ∧ r) → q
r: Amparo escala el Teide
Demostración
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.
Formalización:
p: la sentencia del Tribunal Constitucional es favorable
q: Pepa vuelve al paro ├ (p → ¬q ) → (q → ¬p)
6
Unidad docente de Lógica y Filosofía de la Ciencia Ejercicios Resueltos
Demostración
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 fútbol; no juega al fútbol. Por tanto, Eduardo juega al baloncesto.
Formalización:
p: Eduardo juega al baloncesto ¬p → q
q: juega al tenis q→r
r: juega al fútbol ¬r
p
Demostración
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