DTO.

FILOSOFÍA
EJERCICIOS LÓGICA
Filosofía y Ciudadanía

ACTIVIDADES DE FORMALIZACIÓN
Formalizar las siguientes expresiones del lenguaje natural:

1. La comida no le supo bien:

2. Mañana es sábado y nos iremos a la playa:
3. Aunque tú no me quieras, yo te amo:
4. O bien te lo comes o no verás la tele:
5. O lo recoges todo o no vas de excursión y no te regalo el vestido:
6. Si vienes, no te lo olvides en casa:
7. Si no estuvo aquí el asesino, entonces no llegó a verle o lo supo demasiado tarde:
8. No por mucho madrugar amanece más temprano:
9. Sólo si baja la Bolsa 15 puntos, deberás vender el 10% de las acciones de la empresa y no comunicarlo
al Consejo:
10. Sólo en el caso de que no sepas hacer el dibujo y haya dos preguntas en la casilla del examen, deberás
contestar únicamente a la primera de ellas:
11. Si Pedro sabe hablar inglés, entonces no habla francés, aunque si no supiese hablar inglés, tampoco
hablaría francés:
12. Si llegas después de las 10, te encontrarás con la puerta cerrada y no podrás cenar:
13. Juan abrirá la puerta y saldrá a la calle, sólo en el caso de que, si viene María con el coche, no venga con
ella Pedro:
14. No es verdad que si Antonio estudia, entonces María no trabaje:
15. Sólo si tú no lo has matado, te dejaremos libre:
16. Si no crees que lo que te digo ni lo que te dice Juan, nunca sabrás lo que pasó:
17. No es cierto que Fernando esté en Madrid y Juan no esté en Ávila:
18. Si eres licenciado, no puede ser cierto que no sepas leer ni escribir:
19. Sólo si conoces Oviedo, podrás disfrutar a fondo leyendo La Regenta y no perderte entre sus
tumultuosas páginas:
20. Si Manuel es un televidente extraordinario y un pésimo estudiante, entonces sus padres no estarán
satisfechos y no le dejarán ver tanto la televisión.
21. Sólo si sigue lloviendo, no pasaremos problemas de abastecimiento de agua este verano, pero sólo si
deja de llover, no pasaremos problemas de inundaciones esta semana.
22. Si Pedro no estuvo aquí, entonces tal vez lo descubrió por otro lado o tal vez si no lo descubrió fue por
pura causalidad.
23. Te veré si llegas a tiempo.
24. El sol no es una estrella.
25. Pedro no es médico.
26. No ocurre que 2+2=5.
27. Todo lo que dices es falso.
28. No es verdad que todo lo que tú digas sea falso.
29. No es el caso que lo infinito esté limitado por algo.
30. La cuadratura del círculo es imposible.
31. Es imposible que no sea cierto lo que dices.
32. No es verdad que el sol no sea una estrella.
33. Estos problemas no son muy difíciles para mí, aunque he tardado en resolverlos.
34. Pasaba arrolladora en su hermosura y el paso le dejé.
35. Simónides juraba pero evitaba blasfemar.
36. No es cierto que me escuches y no hables.
37. Los tejados son de pizarra y las puertas de madera.
38. Ella tiene la luz, tiene el perfume, el color y la línea.
39. Me van bien los estudios pero no apruebo.
40. Cantaban, bailaban, jugaban y reían.
41. No es cierto que cantaran y bailaran.
42. No creo en lo que dices y, sin embargo, sigo confiando en ti.
43. Ni puedo prohibirlo ni puedo tolerarlo.
44. La riqueza ayuda a ser feliz, pero la cultura todavía más.
 DTO. FILOSOFÍA
EJERCICIOS LÓGICA
Filosofía y Ciudadanía

45. Llegó, vio y venció.

46. O cierras la puerta o pillaré un resfriado.
47. O te callas o no te escucho.
48. O no viene tu nombre en la guía o he olvidado el alfabeto.
49. Demostrar esta proposición sea por el método directo sea por el método indirecto.
50. Ya sea por el estudio, ya sea por la suerte, aprobará los exámenes.
51. Me entero de la situación política leyendo “El País” o “La Vanguardia”.
52. O estudias y trabajas o serás un desgraciado.
53. No es posible que o no queden macarrones en la despensa o que el supermercado no esté abierto los
domingos.
54. O se queda o se marcha: no es posible que se quede y se marche.
55. Y el muy maleducado, ya se rascaba una oreja, ya se rascaba el sobaco.
56. Si Juan pierde el autobús, llegará tarde.
57. Como me inviten, iré.
58. Si hoy no es lunes, mañana no será martes.
59. Hace frío, luego no es verano.
60. El hombre es un animal político, por tanto no es un salvaje.
61. Si no crees en Dios pero blasfemas, te estás contradiciendo.
62. Tú dedícate a la electrónica y verás como ganas dinero.
63. Siempre que empiezo a jugar no sé cuando acabaré.
64. Si eres licenciado, no es posible que no sepas leer ni escribir.
65. Un pueblo es democrático si y sólo si hay elecciones libres.
66. Podrás entrar en la comunidad sólo si comes jamón y no practicas el amor libre.
67. Un mineral es metal si y sólo si es un buen conductor de la electricidad.
68. La suma de los ángulos de un triángulo equivale a 180°.
69. Tener malos pensamientos equivale a practicarlos.
70. Únicamente los esquimales atolondrados cazan las focas a pedradas.
71. Sólo aplicando la racionalidad puede la vida tener sentido.
72. No es cierto que sólo aplicando la racionalidad pueda tener sentido la vida.
73. Si no es verdad lo que dices, entonces únicamente en el caso de que te retractes, te volveré a dirigir la
palabra.

TABLAS DE VERDAD

(p→q)∧¬(p→q)

[( p → q ) ∧ ¬ q ] → ¬ p

[(p→q) ∧ p] → ¬ p

(p ∧ q) → (q v p)

[(p → q) ∧ p] → (p v q)

(p→q) ∧ ¬(p→q)

¬(p∧q) → (¬p∧¬q) [(pvq) ∧ ¬q] → p

(p∧q) ∧ (¬pv¬q) (pvq) → (qv¬q)

 DTO. FILOSOFÍA
EJERCICIOS LÓGICA
Filosofía y Ciudadanía

DEDUCE

p ∧¬q Pr.1 p→q Pr.1 ¬( p ∧q) Pr.1

q ∨¬r Pr.2 ¬p→r Pr.2 p ∨¬r Pr.2
s →r Pr.3 ¬(q∨r) Pr.3 r∧¬s Pr.3
ⱶ ¬s ∧p ⱶr ⱶ ¬q

(r→p) ∨q Pr.1 p ∧¬r Pr.1 (s→q) ∧¬r Pr.1

¬p ∧¬q Pr.2 s →r Pr.2 (¬s → r) ∧(¬p→t) Pr.2
ⱶ ¬r ⱶ ¬s ⱶ q ∨t

p∨(q∧r) Pr.1 p ∧q Pr.1 r∧q Pr.1

¬( p ∨q) Pr.2 ¬w→¬p Pr.2 r→p Pr.2
ⱶq ⱶ ¬(¬p∨¬q) ∧(w∨t) ⱶp

1)
w ∧s 2) r →s 3) ¬(¬p∨¬q) ∨s
s → (p ∧q) s →q r → ¬s
r →t (r ∨s) ∧p r ∧w
¬t ¬q (p ∧q) → t
ⱶ q ∧¬r ⱶ p ∧s ⱶt

4) p ∧(z → t) Pr.1 5) (p→q) ∧r Pr.1

t →z Pr.2 (¬s→p) ∧(¬s→ ¬q) Pr.2
¬(z ↔ t) ∨s Pr.3 ¬s Pr.3
ⱶ r ∨s ⱶ q ∨s

6) ¬p→q Pr.1 7) r→s Pr.1

p→r Pr.2 s→q Pr.2
q→s Pr.3 (r∨s) ∧p Pr.3
¬s Pr.4 ¬q Pr.4
ⱶr ⱶ p ∧s

8) ¬(¬p∧¬q) Pr.1 9) (p→ q) ∨(r→s) Pr.1

p→r Pr.2 t ∨¬(r→s) Pr.2
¬r Pr.3 ¬(t∨q) Pr.3
ⱶ q∨s ⱶ ¬p

10)
(p∨t) → q Pr.1 11) p ∧¬t
s∨r Pr.2 s →t
r→ ¬q Pr.3 s ∨q
¬t→u Pr.4 (q ∨p) → r
¬s Pr.5 ⱶr
ⱶ r∧u
 DTO. FILOSOFÍA
EJERCICIOS LÓGICA
Filosofía y Ciudadanía

12) q→r
t→¬r
q
ⱶ ¬t

13) (p ∧ q) → r
p
ⱶ q→r

14) q∧r
¬t→¬r
ⱶt

15) p→q
r∨s
s→¬q
¬r
ⱶ ¬p

16) s→r
s∨t
¬r
ⱶt

17) r↔t
¬t
r∨s
ⱶs

18) ¬ ( ¬ t ∨ ¬ q)
¬s→¬q
ⱶt∧s

19) p ↔ ( q ∨ r)
p→s
q
ⱶs

20) p→r
r→q
p
ⱶq∨s

21) s∨t
s→p
t→¬q
q
ⱶp

22) p↔q
q∨s
p→¬t
t
ⱶs
 DTO. FILOSOFÍA
EJERCICIOS LÓGICA
Filosofía y Ciudadanía

23) p∧¬t
s→t
s∨q
(q ∧ p) → r
ⱶr

24) p→¬r
q∨p
r
ⱶq

25) (p → q) ∧ r
s→t
r→s
ⱶq∨t

26) q→p
¬q→r
¬r
ⱶp

27) ¬ ( ¬ p ∧ ¬ s)
p→r
¬q→p
¬r
ⱶ(p ∨ s) ∧ q

28) p ↔ (q ∨ r)
p→s
q
ⱶs

29) (p ∨ q) → (r ∧ s)
¬ ( ¬ p ∨ ¬ r)
¬ t → ¬ (p ∧ s)
ⱶt

30) ¬p↔q
¬ ( ¬ q ∨ r)
p∨s
ⱶs∨t

31) (p ∧ q) → r
r→s
q∧¬s
ⱶ¬p

32) p→q
s∨p
¬q∧r
(s ∧ r) → t
ⱶt
 DTO. FILOSOFÍA
EJERCICIOS LÓGICA
Filosofía y Ciudadanía

FORMALIZA LOS SIGUIENTES RAZONAMIENTOS Y DEMUÉSTRALOS EN EL CÁLCULO

1. O la Tierra gira alrededor del Sol o el Sol alrededor de la Tierra. Si la Tierra gira alrededor del Sol,
deberíamos apreciar una variación en el brillo de las estrellas a lo largo de los años o en su posición con
respecto a un observador terrestre. No se aprecia variación en el brillo de las estrellas a lo largo del año,
ni se aprecia una variación en su posición con respecto a un observador terrestre. Luego, el Sol gira
alrededor de la Tierra.

2. Si hay una situación de crisis económica, el índice de natalidad disminuye. Si avanza la medicina, las
expectativas de vida serán mayores. Si el índice de natalidad disminuye y las expectativas de vida se
hacen mayores, entonces la sociedad irá envejeciendo rápidamente. La crisis económica es un hecho y
los avances en la medicina son constantes. Luego, la sociedad envejecerá con rapidez.

3. La ballena es un mamífero y no necesita branquias. Si no necesita branquias, debe

respirar por la boca. Luego, no es cierto que la ballena sea mamífero y no respire por la boca.

4. Si llueve y salgo a la calle y no llevo paraguas, me mojo. Sin embargo, he salido a la calle, no llevo
paraguas, pero no me mojo. Luego, no llueve.

5. Si descubro las ruinas de la Atlántida, seré un arqueólogo famoso. Si encuentro las minas del rey
Salomón, me haré rico. O bien encuentro las minas del rey Salomón o bien encuentro las ruinas de la
Atlántida. Luego, me haré rico o seré un arqueólogo famoso.

6. Sólo si llueve mucho, entonces o bien la cosecha será grande o bien los pantanos se llenarán de agua.
Pero si llueve mucho, habrá demasiados mosquitos. Resulta que la cosecha es grande. Luego, habrá
mosquitos a montones.

7. Si no es posible que esté la ficha negra o la ficha roja en el cuadrado negro, entonces la ficha azul está
en el cuadrado rojo. La ficha azul no está en el cuadrado rojo y si la ficha azul esté en el cuadrado rojo,
la roja no está en el negro. Luego la negra está en el negro.