TAREA academica logica
-
Upload
arosquipa-quisbert-frank -
Category
Documents
-
view
217 -
download
0
Transcript of TAREA academica logica
-
7/23/2019 TAREA academica logica
1/2
xigencia acadmica para grandes cambios
TAREA A CADEMICA 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 losespacios 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)] //:. (x)( ~Tx)
4. ( Ux Tx) Px ____________________5. Ix Ux ____________________________6. Ix ~ Px __________________________7. Ix ________________________________8. Ux ________________________________9. ~ Px ________________________________
10. ~ ( Ux
Tx) __ Modus tollens (4y9)11. ~ Ux v ~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 Adicion (6)8. Gx ___________________________
9. Jx Gx _________________________
10. (
x) (Jx Gx) __________________________
PRUEBA POR REDUCCION AL ABSURDO:
-
7/23/2019 TAREA academica logica
2/2
xigencia acadmica para grandes cambios
P1) (x) [( Fx v Mx) Gx]P2) (x) ~ Gx //:. (x)~Mx3. Mx ___________________4. (Fx v Mx) Gx _________________
5. ~ Gx __________________6. Mx v Fx __________________7. Fx v Mx Conmutativa(6)8. Gx ____________________9. Gx ~ Gx ___________________________10. Mx (Gx ~ Gx) ___________________
11. ~Mx _____________________12. (x)~Mx _________________________