Logica Semana

DISEÑO INSTRUCCIONAL N° 8 ASIGNATURA

LOGICA

DOCENTE

WALTER OMAR GOICOCHEA VILLAVICENCIO

Semana N°8 (30 de setiembre al 06 de octubre) octubre) Propósito: Aplica los métodos decisorios decisorios para demostrar si la conclusión conclusión de un argumento se sigue lógicamente de las premisas. premisas. Tema 3: Propiedades lógicas de los cuantificadores 3.1. Reglas de Intercambio de cuantificadores

Tema 4: Métodos Decisorios 4.1. Reglas lógicas de introducción y eliminación de cuantificadores 4.2. Método Decisorios: Derivaciones 4.2.1. Prueba Directa. 4.2.2. Prueba Condicional. 4.2.3. Prueba por Reducción al absurdo

Actividades: -

Lee el tema 3 y 4 material autoformativo (pags. 70-77). 70-77). Observa las presentaciones presentaciones dinámicas dinámicas Practica con las actividades del manual autoformativo (versión (versión digital del aula virtual) virtual) pags.13-15 Realiza la AUTOEVALUACION AUTOEVALUACION de la Unidad Unidad (no entregable) entregable)

TAREA ACADEMICA II (UNIDAD IV) IV) .(Puntaje .(Puntaje máximo 20 puntos)

FECHA DE ENTREGA: Domingo 06 de octubre 

I. Formalice las siguientes proposiciones usando la LOGICA CUANTIFICACIONAL(10ptos) CUANTIFICACIONAL(10ptos) 1) Si muere su mascota, entonces está triste triste y llora. 2) Los caballeros son siempre siempre atentos. 3) Las picaduras de víbora algunas veces son mortales. mortales. 4) No se dijo dijo nada importante. 5) No todos los candidatos candidatos obtuvieron obtuvieron votos. 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 pla nteada. 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)] //:.     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) _____________________ 

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   Gx ____________________  9. Mx  (Gx   Gx) ___________________  10.  Mx _____________________  11.  Mx _________________________