Download - PA04_LOGICA
Exigencia académica para grandes cambios
TAREA ACADEMICA II (UNIDAD IV) .(Puntaje máximo 20 puntos) I. Formalice las siguientes proposiciones usando la LOGICA CUANTIFICACIONAL(10ptos)
1) Miguel va al cine y Carla ve televisión en casa.
2) Los caballeros son siempre atentos.
3) Las picaduras de víbora algunas veces son mortales.
4) Los jugadores ganaron el partido.
5) No todos los candidatos obtuvieron votos.
6) Hay muchos políticos honestos.
7) Ningún carpintero es idealista
8) Algunos religiosos no son políticos
9) Ningún no-ateo es fiel creyente
10) Algunos no-materialistas no son no-políticos
II. Complete la demostración 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)] //:. (∃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 Adición (6) 8. Gx ___________________________
9. Jx → Gx _________________________ 10. (∀x) (Jx → Gx) __________________________
Exigencia académica para grandes cambios
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 Conmutativa(6) 8. Gx ____________________ 9. Gx ˄ ~ Gx ___________________________ 10. Mx → (Gx ˄ ~ Gx) ___________________
11. ~ Mx _____________________ 12. (∃x)~ Mx _________________________