Download - Segundo taller lógica. 26.3.2012 (1)
![Page 1: Segundo taller lógica. 26.3.2012 (1)](https://reader035.vdocuments.pub/reader035/viewer/2022072001/563db77f550346aa9a8b9589/html5/thumbnails/1.jpg)
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
![Page 2: Segundo taller lógica. 26.3.2012 (1)](https://reader035.vdocuments.pub/reader035/viewer/2022072001/563db77f550346aa9a8b9589/html5/thumbnails/2.jpg)
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)
![Page 3: Segundo taller lógica. 26.3.2012 (1)](https://reader035.vdocuments.pub/reader035/viewer/2022072001/563db77f550346aa9a8b9589/html5/thumbnails/3.jpg)
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.