Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 690 vistas

    Logica

    Cargado por

    Gerson Romero
    Este documento presenta una tarea de lógica proposicional que incluye seis ejercicios. Los estudiantes deben identificar reglas de inferencia, añadir premisas para completar pruebas formales de validez, y construir pruebas formales para diferentes argumentos utilizando notación lógica proposicional. La tarea es parte de un curso de lógica proposicional en la Universidad Francisco Gavidia y debe ser completada individualmente en línea para el 5 de mayo de 2019.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Logica

    Cargado por

    Gerson Romero
    690 vistas3 páginas
    Este documento presenta una tarea de lógica proposicional que incluye seis ejercicios. Los estudiantes deben identificar reglas de inferencia, añadir premisas para completar pruebas formales de validez, y construir pruebas formales para diferentes argumentos utilizando notación lógica proposicional. La tarea es parte de un curso de lógica proposicional en la Universidad Francisco Gavidia y debe ser completada individualmente en línea para el 5 de mayo de 2019.

    Descripción original:

    Ejerciocio de Logica

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta una tarea de lógica proposicional que incluye seis ejercicios. Los estudiantes deben identificar reglas de inferencia, añadir premisas para completar pruebas formales de validez, y construir pruebas formales para diferentes argumentos utilizando notación lógica proposicional. La tarea es parte de un curso de lógica proposicional en la Universidad Francisco Gavidia y debe ser completada individualmente en línea para el 5 de mayo de 2019.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    690 vistas3 páginas

    Logica

    Cargado por

    Gerson Romero
    Este documento presenta una tarea de lógica proposicional que incluye seis ejercicios. Los estudiantes deben identificar reglas de inferencia, añadir premisas para completar pruebas formales de validez, y construir pruebas formales para diferentes argumentos utilizando notación lógica proposicional. La tarea es parte de un curso de lógica proposicional en la Universidad Francisco Gavidia y debe ser completada individualmente en línea para el 5 de mayo de 2019.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    Está en la página 1de 3

    UNIVERSIDAD FRANCISCO GAVIDIA

    FACULTAD DE INGENIERIA Y SISTEMAS


    TAREA 3-PARTE 2
    EJERCICIOS REGLAS DE INFERENCIA Y REEMPLAZO
    CICLO 01 - 2019
    Asignatura: Lógica Proposicional Horario: Virtual Grupo:
    Profesor: Ing. María Cristela Fuentes e-mail: [email protected] Aula: virtual
    Alumno:
    Apellidos Nombres Firma

    Código Carrera: Carne UFG: Fecha: Calificación:

    INDICACIÓN: Resolver los ejercicios del libro de texto Introducción a la Lógica de


    Irving Copi. Esta actividad se realizará de forma individual, por lo que cada estudiante
    contestará los ejercicios en el Link –Contestar Calificación P3 (5% de nota
    Calificación P3). Cierre de la actividad es el 5 de mayo de 2019.

    Sugerencia: Para realizar los ejercicios es importante que revise los ejemplos del
    contenido virtual, presentación Power Point y videos. Adelante a realizar cada uno de
    los ejercicios. Éxitos!

    I. Para cada uno de los siguientes argumentos, enunciar la regla de inferencia por la
    cual la conclusión se sigue de las premisas.

    Argumentos Reglas utilizadas


    ([I  (J K) · (J  I)

    [(I · J) K] · (J  I)

    (R v S) (R v S)

    (R · S)  (R v S)

    II. Cada uno de los siguientes argumentos es una prueba formal de validez del
    argumento indicado. Enunciar la “justificación” de cada línea que no sea una premisa.

    Argumentos Reglas utilizadas para justificar cada renglón de


    la prueba de validez (en color rojo)
    1. (M v N)  (O · P) 1. (M v N)  (O · P)
    2. O / M 2. O / M
    3. O v P De Renglón (2) Adición
    3. O v P 4. (O · P) De Renglón (3) Teorema de Morgan
    4. (O · P) 5. (M v N) De Renglón (1,4) Modus Tollens
    5. (M v N) 6. M · N De Renglón (5) Teorema de Morgan
    6. M · N 7. M De Renglón (6) Simplificación
    7. M
    Justificación
    1. (D · E)  F
    2. F v (G · H)
    3. D  E /  D  G

    4. (D  E) · (E  D)
    5. D  E
    6. D  (D · E)
    7. D  F
    8. (F v G) · (F v H)
    9. F v G
    10. F v G
    11. F  G
    12. D  G

    III. Para cada uno de los siguientes argumentos, añadir exactamente los dos enunciados
    que hacen falta a las premisas para producir una prueba formal de validez. Construir
    una prueba formal de validez para cada uno de los siguientes argumentos.

    Argumentos Reglas utilizadas para justificar los dos


    renglones agregados de la prueba de validez
    E /  (E v F) · (E v G) 1.E /  (E v F) · (E v G)
    2. E v (F.G) De Renglón (1), Adición
    3. (E v F) · (E v G) De renglón (2), Distribución

    Q  [R  (S  T)]
    Q  (Q · R) / Q  (S  T)

    IV. Para el argumento, añadir los tres enunciados que hacen falta a las premisas para
    poder producir una prueba formal de validez. Construir una prueba formal de validez
    del argumento.

    Argumentos Reglas utilizadas para justificar los tres


    renglones agregados de la prueba de validez
    (Z v A) v B
    A / Z v B
    V. Los ejercicios de esta serie corresponden a patrones frecuentes de inferencia
    que se hallan en pruebas más extensas de validez. La familiaridad con ellas
    será útil en el trabajo subsecuente. Construir una prueba formal de validez para
    cada uno de los siguientes argumentos.

    Argumentos Reglas que justifican la prueba de validez


    E (F G)
    F  (E  G)

    [(M · N) · O]  P
    Q  [(O · M) · N
    Q v P

    VI. Construir una prueba de validez para el siguiente argumento, usando la


    notación sugerida.

    Argumentos Reglas que justifican la prueba de validez


    Sólo puede tener muchos
    amigos si los respeta como
    individuos. Si los respeta como
    individuos, no puede esperar
    que se comporten todos de la
    misma manera. Él tiene
    muchos amigos. Luego, no
    espera que todos se comporten
    de la misma manera. (A, R, E)

    También podría gustarte