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 _________________________