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

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)
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 2

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 4
1. q v (r s)
2. (z s)
3. ( t z) (s r)
4. ( p q) v q
//:.

rvt

Exigencia acadmica para grandes cambios