TAREA ACADEMICA II (UNIDAD IV) .

(Puntaje mximo 20 puntos)

I. Formalice las siguientes proposiciones usando la LOGICA CUANTIFICACIONAL(10ptos)
1) Si muere su mascota, entonces est triste y llora
2) Los caballeros son siempre atentos.
3) Las picaduras de vbora algunas veces son mortales.
4) No se dijo nada importante.
5) No todos los candidatos obtuvieron votos.
6) Hay muchos polticos honestos.
7) Ningn carpintero es idealista
8) Algunos religiosos no son polticos
9) Ningn no-ateo es fiel creyente
10) Algunos no-materialistas no son no-polticos


II. Complete la demostracin de validez de los siguientes argumentos formalizados, siguiendo la
secuencia planteada. En los ejercicios, escriba en los espacios en blanco el proceso realizado o el
esquema resultante. (10ptos)


PRUEBA DIRECTA:

P1) (x) [( Ux Tx) Px]
P2) (x) ( Ix Ux)
P3) (x) [( Ix Px)] //:. Tx)
4. ( Ux Tx) Px
5. Ix Ux
6. Ix Px _______
7. Ix ______________
8. Ux _____________
9. Px ____________
10. ( Ux Tx) ______
11. Ux Tx ______
12. Tx ________
13. Ux Tx _______
14. (x) (Ux Tx) ____

PRUEBA CONDICIONAL:

P1) (x) [( Fx v Cx) Gx]
P2) (x) (Jx Fx) //:. (x) (Jx Gx)
3. Jx ____
4. ( Fx v Cx) Gx] _ ______
5. Jx Fx __ ___________
6. Fx _______
7. Fx v Cx ___
8. Gx ____
9. Jx Gx ___
10. (x) (Jx Gx) _____


PRUEBA POR REDUCCION AL ABSURDO:

P1) (x) [( Fx v Mx) Gx]
P2) (x) Gx //:. Mx
3. Mx ______
4. (Fx v Mx) Gx ___
5. Gx _____
6. Mx v Fx _____
7. Fx v Mx _____
8. Gx ______
9. Gx Gx ___
10. Mx (Gx Gx) _____
11. Mx ____
12. Mx ___