Ejercicios de lógica (para más adelante)

Departamento de filosofía

Ejercicios de lógica

1) -1 p → (q v s) -2 (¬¬q v ¬¬s) → t -3 k →¬t ├ p→¬k	2) Por dd y abs -1 ¬¬s -2 t ↔ s -3 ¬t v k ├ k	3) -1 m & q -2 ¬¬q → ¬¬t -3 (t v k) → s ├ ¬s → s	4) -1 t ├ (¬p & ¬t) → (t v t)
5) -1 s → q -2 p & t -3 (¬¬t v s) → s ├ s ↔ q	6) -1 ¬t ↔ ¬n -2 ¬¬n → s -3 ¬(¬¬k & t) v p -4 ­¬p -5 k → ¬s ├ ¬t v ¬k	7) -1 p -2 q -3 ­¬q ├ ¬t → ¬p	8) -1 t v ¬q -2 s → q ├ ¬t → ¬s
9) -1 ¬(p&q) → r -2 ¬p v k -3 ¬¬¬k v ¬s -4 t → x ├ ¬r → ¬¬x	10) Por dd y abs. -1 ¬¬¬p -2 ¬p → q -3 ¬q v ¬s ├ ¬s	11) -1 t v k -2 t →(x ↔m) -3 ¬¬ (s & ¬k) -4 ¬¬x & ¬j ├ ¬¬m v j	12) ├ p → ­(p v¬¬q v ¬q)

Formaliza y resuelve

1) Vivo en un laberinto y no soy el minotauro. No vivo en un laberinto o no soy Ariadna. Si no soy Ariadna, entonces debo ser Teseo. Luego, soy Teseo.

2) Si me gusta Charlie Parker, entonces disfruto con el Jazz. Si disfruto con el Jazz, entonces el Blues me hace gozar. O me gusta el rock o el blues no me hace gozar. Por consiguiente, si me gusta Charlie Parker entonces me gusta el rock o la música sacra.

3) 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, entonces, Juan sabe quien estuvo antes y Juan sabe que no pudo ser el mayordomo.

4) El amor es ciego y los hombres no son conscientes de que el amor es ciego. El amor es ciego o yo no soy ciego. Si los hombres no son conscientes de que el amor es ciego, entonces el amor no es ciego. En conclusión, yo no soy ciego.