Exigencia acadmica para grandes cambios

PRACTICA CALIFICADA 6

Complete la demostracin de validez de los siguientes argumentos formalizados, siguiendo la secuencia planteada. En los ejercicios 1,2

y3 escriba en los espacios en blanco el proceso realizado o el esquema resultante. En el 4to ejercicio realice la demostracin de validez

mediante la prueba que considere pertinente. (10ptos)

NOTA: Del Tema 1 y2 se evalan los ejercicios seleccionados por 10pts.cada uno. De estas 2 prcticas se generar la nota de la UNIDAD III

EJERCICIO 1 EJERCICIO 2

1. p v ( q r )

2. p s

3. s r /:. r 4. ________________ Silog. Hipottico(2y3) 5. ___________________ Conmutativa (1) 6. _________________ Def. implicador (5) 7. _______________ Silog. Hipottico(4y6) 8. _________________ Def. implicador (7) 9. ___________________ Disritbutiva (8) 10. __________________Simplificacion (9) 11. __________________ Idempotencia (10)

1. (r v p) 2. p q /:. s v q 3. (s v q) _____________________ 4. s q _____________________ 5. q __________________________ 6. p _____________________________ 7. r p ________________________ 8. p _____________________________ 9. p ________________________________ 10. p p ___________________________ 11. (s v q) ( p p)________________ 12. s v q ____________________________

EJERCICIO 3

1. p q 2. s ( t p)

3. p v ( r t) /:. q s 4. q __________________

5. (p q) ( q p) ___________

6. p q ____________________ 7. p _______________________

8. ( r t) __________________ 9. ( r v t) ________________

10. r t __________________ 11. t ______________________

12. p t __________________ 13. s _______________________

14. q s_____________________

EJERCICIO 4 1. q v (r s) 2. (z s) 3. ( t z) (s r) 4. ( p q) v q //:. r v t