TAREA ACADMICA N 02

TAREA ACADMICA N 02

LGICA

I. Formalice las siguientes proposiciones usando la LOGICA CUANTIFICACIONAL (10ptos)

Si muere su mascota, entonces est triste y llora.

Los caballeros son siempre atentos.
Las picaduras de vbora algunas veces son mortales.
No se dijo nada importante.
No todos los candidatos obtuvieron votos.
Hay muchos polticos honestos.
Ningn carpintero es idealista
Algunos religiosos no son polticos
Ningn no-ateo es fiel creyente
Algunos no-materialistas no son no-polticos

TAREA ACADMICA N 02

LGICA

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:

PRUEBA CONDICIONAL:

P1) (x) [( Ux Tx) Px]

P2) (x) ( Ix Ux)
P3) (x) [( Ix ~ Px)]
//:. (x) ( ~ Tx)
4. ( Ux Tx) Px ____________________
5. Ix Ux ____________________________
6. Ix ~ Px __________________________
7. Ix ________________________________
8. Ux ________________________________
9. ~ Px ________________________________
10. ~ ( Ux Tx) _________________________
11. ~ Ux v ~ Tx _________________________
12. ~ Tx
_________________________
13. Ux ~ Tx _________________________
14. (x) (Ux ~ Tx) _____________________

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
//:. (x)~ Mx
3. Mx
___________________
4. (Fx v Mx) Gx _________________
5. ~ Gx
__________________
6. Mx v Fx
__________________
7. Fx v Mx
__________________
8. Gx ~ Gx ____________________
9. Mx (Gx ~ Gx) ___________________
10. ~ Mx
_____________________
11. (x)~ Mx
_________________________