PONTIFICIA UNIVERSIDAD JAVERIANA Facultad de filosofía Monitoria de lógicaSegundo taller de lógica26 de marzo de 2012

Este taller les ayudará a entrenarse en el uso de las reglas lógicas, (tanto las de inferencia, como las de equivalencia). No es obligatorio, pero si lo realizan y lo entregan, entonces yo lo revisaré y lo calificaré. De este modo, ustedes y yo nos percatemos de qué estamos haciendo bien y qué estamos haciendo mal, para beneficiar su nota del curso (en ningún caso perjudicarla) y corregir los errores y no recaer en ellos en el segundo parcial.

Realice el test de consistencia y teniendo en cuenta las reglas lógicas, justifique cada uno de los pasos en las siguientes secuencias de fórmulas proposicionales.

Primero:

1. p v (q → r)2. ~r

3. p v (~q v r) 1. Interdefinibilidad o Implicación material 4. (p v ~q) v r Asociativa en 35. p v ~q Transposición (?) o ley de Suárez de 2.5.

Segundo

1. p → q2. (q v r) → s3. ~s

4. ~(q v r) Transposición en 2 y 5. ~q ^ ~r DeM46. ~q S.57. ~r S.5

Tercero

1. (p v ~q) → (r v s)2. ~(r v s)

3. ~(p v ~q) Transposición entre 1.24. ~p ^ q DeM.15. ~p ^ q DeM.16. ~p S5

Cuarto

1. p v q2. ~ (~r v p)

3. (p v q) v ~r4. ~r v (p v q) Asociativa en 3.5. (~r v p) v q Asociativa en 4.6. q

Quinto

1. ~p → ( ~q v r)2. s v (r → t)3. ~ p v s4. ~s

5. p→ s Interdef. 36. ~p7. ~q v r8. q → r Interdef. 19. r → t Transposicion 2.510. q → t11. ~q v t

Sexto

1. (p → q) v (r ^ s)2. ~q

3. (~p v q) v (r ^ s)4. [(~p v q) v r] ^ [(~p v q) v s)]5. [(~p v q) v s] ^ [(~p v q) v r]6. (~p v q) v s7. (q v ~p) v s8. q v (~p v s)9. (~ p v s) v q 10. ~ ~ (~ p v s) v q 11. ~ (~ p v s) → q 12. ~ ~ (~ p v s)13. (~ p v s)14. (~ p v ~~s)15. ~ (p ^ ~s)

Realice el test de consistencia y teniendo en cuenta las reglas lógicas, demuestre en que en los siguientes argumentos formalizados la conclusión se sigue de las premisas.

Séptimo

1. ~ (p ^ q)2. ~q → t3. ~p → t4. s → ~ t / ∴ ~s

Octavo

1. c ^ ~d2. c → ~a3. d v ~b / ∴ ~(a v b)

Noveno 1. (p → ~q) ^ (r v s)2. ~q → ~s3. (p → ~s) → ~t4. r → t /∴ ~r

Décimo

1. q → r2. p → q3. p v t4. t → s5. ~r /∴ s

Undécimo:

Si el profe ya les enseño a realizar el test de validez, realícenselo a los cuatro anteriores ejercicios o de una buena razón para no hacerlo.